Skip to main content
SpringerLink
Log in

From ESSENCE to Theory Oriented Software Engineering

  • Conference paper
  • First Online:
Book cover SOFSEM 2016: Theory and Practice of Computer Science (SOFSEM 2016)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 9587))

  • 986 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    http://www.semat.org/.

References

  1. Software Engineering Metamodel for Development Methodologies (ISO/IEC 24744)

    Google Scholar 

  2. Omg Meta Object Facility (April 2014)

    Google Scholar 

  3. Essence - Kernel and Language for Software Engineering Methods (September 2015)

    Google Scholar 

  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. 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. Blostein, D., Schürr, A.: Computing with graphs and graph transformations. Softw.-Pract. Experience 29(3), 197–217 (1999)

    Article  Google Scholar 

  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. 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. 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. 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. 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)

    Chapter  Google Scholar 

  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. Holtappels, S.: Eine formale Beschreibung der dynamischen Semantik von ESSENCE. Master’s thesis, Universität Duisburg-Essen (2014)

    Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  17. Schwaber, K., Sutherland, J.: The scrum guide. the definitive guide to scrum: the rules of the game (2013)

    Google Scholar 

  18. Software and Systems Process Engineering Metamodel Specification (SPEM) Version 2.0, Document formal/2008-04-01 (April 2008). http://www.omg.org/spec/SPEM/2.0/

  19. Toffetti, G., Pezzè, M.: Graph transformations and software engineering: success stories and lost chances. J. Vis. Lang. Comput. 24(3), 207–217 (2013)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Duisburg-Essen, Essen, Germany

    Sebastian Holtappels, Michael Striewe & Michael Goedicke

Authors
  1. Sebastian Holtappels
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Striewe
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Michael Goedicke
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Sebastian Holtappels .

Editor information

Editors and Affiliations

  1. University of Latvia, Riga, Latvia

    Rūsiņš Mārtiņš Freivalds

  2. University of Paderborn, Paderborn, Germany

    Gregor Engels

  3. University of Genoa, Genoa, Italy

    Barbara Catania

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Holtappels, S., Striewe, M., Goedicke, M. (2016). From ESSENCE to Theory Oriented Software Engineering. In: Freivalds, R., Engels, G., Catania, B. (eds) SOFSEM 2016: Theory and Practice of Computer Science. SOFSEM 2016. Lecture Notes in Computer Science(), vol 9587. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-49192-8_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-49192-8_4

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-49191-1

  • Online ISBN: 978-3-662-49192-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation