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.
CITATION STYLE
Holtappels, S., Striewe, M., & Goedicke, M. (2016). From essence to theory oriented software engineering. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9587, pp. 43–50). Springer Verlag. https://doi.org/10.1007/978-3-662-49192-8_4
Mendeley helps you to discover research relevant for your work.