Embedding process models in object-oriented program code

Authors:
Moritz Balz;Michael Goedicke
Affiliations:
University of Duisburg-Essen, Essen, Germany;University of Duisburg-Essen, Essen, Germany
Venue:
Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture
Year:
2009

Citing 10
Cited 1

Model Checking Programs

Automated Software Engineering
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))

Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
Model-driven development: the good, the bad, and the ugly

IBM Systems Journal - Model-driven software development
A rational approach to model-driven development

IBM Systems Journal - Model-driven software development
Model Driven Engineering Languages and Systems: 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings (Lecture Notes in Computer Science)

Model Driven Engineering Languages and Systems: 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings (Lecture Notes in Computer Science)
Verification of object-oriented software: The KeY approach

Verification of object-oriented software: The KeY approach
Introspective model-driven development

EWSA'06 Proceedings of the Third European conference on Software Architecture
Using smalltalk as a reflective executable meta-language

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Framework-Specific modeling languages with round-trip engineering

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Modeling turnpike frontend system: a model-driven development framework leveraging UML metamodeling and attribute-oriented programming

MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems

Managing non-functional uncertainty via model-driven adaptivity

Proceedings of the 2013 International Conference on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Process modeling has usually a strong connection with run time platforms that allow dynamic configuration and adjustment. While this is reasonable for the operation of large applications, it is of no help in cases when program code is to be engineered, documented or verified with respect to process models. We propose a design pattern for process models that allows to embed complete model semantics in object-oriented program code fragments. The program code can thus be validated and executed with respect to process model semantics and design tools.