Embedding process models in object-oriented program code

Bälz, Moritz; Goedicke, Michael

doi:10.1145/1555852.1555859

Cited by 8 publications

(4 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…by means of calculations A slightly different approach to application monitoring is presented in [1]. The authors show how state machine logic can be embedded in object-oriented code.…”

Section: Approaches Utilizing Models At Runtimementioning

confidence: 99%

See 1 more Smart Citation

Meta-modeling Runtime Models

Lehmann

Blumendorf

Trollmann

et al. 2011

Models in Software Engineering

View full text Add to dashboard Cite

Abstract. Runtime models enable the implementation of highly adaptive applications but also require a rethinking in the way we approach models. Metamodels of runtime models must be supplemented with additional runtime concepts that have an impact on the way how runtime models are built and reflected in the underlying runtime architectures. The goal of this work is the generalization of common concepts found in different approaches utilizing runtime models and the provision of a basis for their meta-modeling. After analyzing recent works dealing with runtime models, we present a metamodeling process for runtime models. Based on a meta-metamodel it guides the creation of metamodels combining design time and runtime concepts.

show abstract

“…by means of calculations A slightly different approach to application monitoring is presented in [1]. The authors show how state machine logic can be embedded in object-oriented code.…”

Section: Approaches Utilizing Models At Runtimementioning

confidence: 99%

“…On the other end, when runtime models are used for debugging and monitoring of applications (e.g. [1]), the descriptive character dominates.…”

Section: Generalizing Runtime Modelsmentioning

confidence: 99%

Meta-modeling Runtime Models

Lehmann

Blumendorf

Trollmann

et al. 2011

Models in Software Engineering

View full text Add to dashboard Cite

show abstract

“…Embedded models (Balz et al, 2008;Balz et al, 2009) build on these concepts to relate program code fragments to abstract models like state machines. When an appropriate program code pattern is defined, different abstraction levels are maintained in the same program code.…”

Section: Embedded State Machinesmentioning

confidence: 99%

“…This is a problem widely acknowledged in numerous approaches of model-driven software development (MDSD). In this context, the concept of embedded models (Balz et al, 2008;Goedicke et al, 2009) was proposed that connects models and programming languages by representing the model syntax in static program code structures. We now want to use this approach for teaching purposes, too.…”

Section: Introductionmentioning

confidence: 99%

Teaching Programming With Formal Models in Greenfoot

Bälz¹,

Goedicke²

2010

Proceedings of the 2nd International Conference on Computer Supported Education

View full text Add to dashboard Cite

Formal methods for software development are subject to teaching in computer science as a matter of course. However, it is difficult to relate the theories to the practical matter of program code creation. The reason for this is the complexity of model-driven software development approaches which would be needed to derive executable applications from formal models, but are usually not in the focus of the courses. We propose to teach formal methods by using "embedded models", i.e. program code patterns that represent the semantics of formal methods inside arbitrary object-oriented programs. The approach is realized within the Greenfoot graphical simulation enginge. With this approach the technical barrier to the practical use of formal methods is lowered, so that students can easily experiment with such models in a game-oriented environment.

show abstract