The formal semantics of programming languages: an introduction
The formal semantics of programming languages: an introduction
The UML as a formal modeling notation
Computer Standards & Interfaces - Special issue on semantics in specifications
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Object-Oriented Verification Based on Record Subtyping in Higher-Order Logic
Proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics
Towards a Precise Semantics for Object-Oriented Modeling Techniques
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Encoding Natural Semantics in Coq
AMAST '95 Proceedings of the 4th International Conference on Algebraic Methodology and Software Technology
Java Bytecode Verification: Algorithms and Formalizations
Journal of Automated Reasoning
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
Compositional specification of behavioral semantics
Proceedings of the conference on Design, automation and test in Europe
A Heterogeneous Approach to UML Semantics
Concurrency, Graphs and Models
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Modelling the Operational Semantics of Domain-Specific Modelling Languages
Generative and Transformational Techniques in Software Engineering II
Formal Semantics of Programming Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Isabelle/HOL: a proof assistant for higher-order logic
Isabelle/HOL: a proof assistant for higher-order logic
An algebraic semantics for MOF
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Semantic anchoring with model transformations
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Variability within Modeling Language Definitions
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Towards a semantics of activity diagrams with semantic variation points
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
CD2Alloy: class diagrams analysis using alloy revisited
Proceedings of the 14th international conference on Model driven engineering languages and systems
Reasoning about metamodeling with formal specifications and automatic proofs
Proceedings of the 14th international conference on Model driven engineering languages and systems
Hi-index | 0.00 |
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.