Semantics of programming languages: structures and techniques
Semantics of programming languages: structures and techniques
A UML statecharts semantics with message-passing
Proceedings of the 2002 ACM symposium on Applied computing
Computer
Moses - a tool suite for visual modeling of discrete-event systems
HCC '01 Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01)
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
Toward a semantic anchoring infrastructure for domain-specific modeling languages
Proceedings of the 5th ACM international conference on Embedded software
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
ATL: a QVT-like transformation language
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Compositional specification of behavioral semantics
Proceedings of the conference on Design, automation and test in Europe
2nd UML 2 semantics symposium: formal semantics for UML
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Human comprehensible and machine processable specifications of operational semantics
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
Tutorial: the ASM method for system design and analysis. a tutorial introduction
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Weaving executability into object-oriented meta-languages
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
KM3: a DSL for metamodel specification
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Weaving executability into UML class models at PIM level
Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture
Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
An ASM-based executable formal model of service-oriented component interactions and orchestration
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
A model-driven process for engineering a toolset for a formal method
Software—Practice & Experience
An executable semantics of the systemc UML profile
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Defining and verifying behaviour of domain specific language with fUML
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications
Hi-index | 0.00 |
In the model-based development context, metamodel-based languages are increasingly being defined and adopted either for general purposes or for specific domains of interest. However, meta-languages such as the MOF (Meta Object Facility)--combined with the OCL (Object Constraint Language) for expressing constraints--used to specify metamodels focus on structural and static semantics but have no built-in support for specifying behavioral semantics. This paper introduces a formal semantic framework for the definition of the semantics of metamodel-based languages. Using metamodelling principles, we propose several techniques, some based on the translational approach while others based on the weaving approach, all showing how the Abstract State Machine formal method can be integrated with current metamodel engineering environments to endow language metamodels with precise and executable semantics.We exemplify the use of our semantic framework by applying the proposed techniques to the OMG metamodelling framework for the behaviour specification of the Finite State Machines provided in terms of a metamodel.