From ESSENCE to Theory Oriented Software Engineering

  • Sebastian Holtappels
  • Michael Striewe
  • Michael Goedicke
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9587)


The Essence standard combines a kernel and a modelling language for software engineering. It defines dynamic semantics of Essence by a mixture of formal and informal means. This paper presents a uniform formalization of the dynamic semantics based on a graph grammar and discusses various applications of this grammar. It is shown that solid formal foundation is useful for research towards theory oriented software engineering.


Software Engineering Graph Transformation Project State Graph Grammar Formal Reasoning 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Software Engineering Metamodel for Development Methodologies (ISO/IEC 24744)Google Scholar
  2. 2.
    Omg Meta Object Facility (April 2014)Google Scholar
  3. 3.
    Essence - Kernel and Language for Software Engineering Methods (September 2015)Google Scholar
  4. 4.
    Bardohl, R., Taentzer, G., Minas, M., Schürr, A.: Application of Graph Transformation to Visual Languages, pp. 105–180. World Scientific, London (1999)Google Scholar
  5. 5.
    Baresi, L., Heckel, R.: Tutorial introduction to graph transformation: A software engineering perspective. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 402–429. Springer, Heidelberg (2002)Google Scholar
  6. 6.
    Blostein, D., Schürr, A.: Computing with graphs and graph transformations. Softw.-Pract. Experience 29(3), 197–217 (1999)CrossRefGoogle Scholar
  7. 7.
    Bottoni, P., Taentzer, G., Schürr, A.: Efficient parsing of visual languages based on critical pair analysis and contextual layered graph transformation. In: 2000 IEEE International Symposium on Visual Languages (VL 2000), pp. 59–60 (2000)Google Scholar
  8. 8.
    Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., Löwe, M.: Algebraic Approaches to Graph Transformation. Part I: Basic Concepts and Double Pushout Approach, pp. 163–245. World Scientific, London (1997)Google Scholar
  9. 9.
    Ehrig, H., Löwe, M.: Compugraph. Computing by graph transformation. Final report. Technical report, ESPRIT Basic Research Working Group No. 3299, Berlin (1992)Google Scholar
  10. 10.
    Elvester, B., Benguria, G., Ilieva, S.: A comparison of the essence 1.0 and SPEM 2.0 specifications for software engineering methods. In: Proceedings of the Third Workshop on Process-Based Approaches for Model-Driven Engineering (PMDE 2013)Google Scholar
  11. 11.
    Engels, G., Hausmann, J.H., Heckel, R., Sauer, S.: Dynamic meta modeling: a graphical approach to the operational semantics of behavioral diagrams in uml. In: Evans, A., Caskurlu, B., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, pp. 323–337. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  12. 12.
    Henderson-Sellers, B., Gonzalez-Perez, C.: The rationale of powertype-based metamodelling to underpin software development methodologies. In: Proceedings of the 2nd Asia-Pacific Conference on Conceptual Modelling - vol. 43, APCCM 2005, pp. 7–16 (2005)Google Scholar
  13. 13.
    Holtappels, S.: Eine formale Beschreibung der dynamischen Semantik von ESSENCE. Master’s thesis, Universität Duisburg-Essen (2014)Google Scholar
  14. 14.
    Jacobson, I., Ng, P.-W., McMahon, P.E., Spence, I., Lidman, S.: The Essence of Software Engineering: Applying the SEMAT Kernel. Addison-Wesley Professional, Reading (2013)Google Scholar
  15. 15.
    Kuske, S.: A formal semantics of UML state machines based on structured graph transformation. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 241–256. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  16. 16.
    Maggiolo-Schettini, A., Peron, A.: A graph rewriting framework for Statecharts semantics. In: Cuny, J., Ehrig, H., Engels, G., Rozenberg, G. (eds.) Graph Grammars and Their Application to Computer Science. LNCS, vol. 1073, pp. 107–121. Springer, Heidelberg (1996)CrossRefGoogle Scholar
  17. 17.
    Schwaber, K., Sutherland, J.: The scrum guide. the definitive guide to scrum: the rules of the game (2013)Google Scholar
  18. 18.
    Software and Systems Process Engineering Metamodel Specification (SPEM) Version 2.0, Document formal/2008-04-01 (April 2008).
  19. 19.
    Toffetti, G., Pezzè, M.: Graph transformations and software engineering: success stories and lost chances. J. Vis. Lang. Comput. 24(3), 207–217 (2013)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2016

Authors and Affiliations

  • Sebastian Holtappels
    • 1
  • Michael Striewe
    • 1
  • Michael Goedicke
    • 1
  1. 1.University of Duisburg-EssenEssenGermany

Personalised recommendations