TY - GEN
T1 - System model-based definition of modeling language semantics
AU - Grönniger, Hans
AU - Ringert, Jan Oliver
AU - Rumpe, Bernhard
PY - 2009
Y1 - 2009
N2 - In this paper, we present an approach to define the semantics for object-oriented modeling languages. One important property of this semantics is to support underspecified and incomplete models. To this end, semantics is given as predicates over elements of the semantic domain. This domain is called the system model which is a general declarative characterization of object systems. The system model is very detailed since it captures various relevant structural, behavioral, and interaction aspects. This allows us to re-use the system model as a domain for various kinds of object-oriented modeling languages. As a major consequence, the integration of language semantics is straight-forward. The whole approach is supported by tools that do not constrain the semantics definition's expressiveness and flexibility while making it machine-checkable.
AB - In this paper, we present an approach to define the semantics for object-oriented modeling languages. One important property of this semantics is to support underspecified and incomplete models. To this end, semantics is given as predicates over elements of the semantic domain. This domain is called the system model which is a general declarative characterization of object systems. The system model is very detailed since it captures various relevant structural, behavioral, and interaction aspects. This allows us to re-use the system model as a domain for various kinds of object-oriented modeling languages. As a major consequence, the integration of language semantics is straight-forward. The whole approach is supported by tools that do not constrain the semantics definition's expressiveness and flexibility while making it machine-checkable.
UR - http://www.scopus.com/inward/record.url?scp=70349327708&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-02138-1_10
DO - 10.1007/978-3-642-02138-1_10
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:70349327708
SN - 3642021379
SN - 9783642021374
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 152
EP - 166
BT - Formal Techniques for Distributed Systems - Joint 11th IFIP WG 6.1 International Conference, FMOODS 2009 and 29th IFIP WG 6.1 International Conference, FORTE 2009, Proceedings
T2 - 11th International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009 and 29th International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2009
Y2 - 9 June 2009 through 12 June 2009
ER -