Reference : A Lightweight Approach for Defining the Formal Semantics of a Modeling Language
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/2827
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language
English
Kelsen, Pierre mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Ma, Qin mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
2008
ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MODELS 2008)
Springer Berlin / Heidelberg
Lecture Notes in Computer Science 5301
690-704
Yes
No
International
ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MODELS 2008)
2008
Toulouse
France
[en] To define the formal semantics of a modeling language, one normally starts from the abstract syntax and then defines the static semantics and dynamic semantics. Having a formal semantics is important for reasoning about the language but also for building tools for the language. In this paper we propose a novel approach for this task based on the Alloy language. With the help of a concrete example language, we contrast this approach with traditional methods based on formal languages, type checking, meta-modeling and operational semantics. Although both Alloy and traditional techniques yield a formal semantics of the language, the Alloy-based approach has two key advantages: a uniform notation, and immediate automatic analyzability using the Alloy analyzer. Together with the simplicity of Alloy, our approach offers the prospect of making formal definitions easier, hopefully paving the way for a wider adoption of formal techniques in the definition of modeling languages.
http://hdl.handle.net/10993/2827
5301

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
SubmitFinal.pdfAuthor postprint2.3 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.