Paper Info
Title
Multi-way Semantic Specification of Domain-Specific Modeling Languages
Abstract
Increased emphasis on the use of model-based design methods, particularly for developing Cyber-Physical Systems (CPS), has created challenges in the area of developing domain-specific modeling languages (DSML). To meet the increased demand for DSMLs, rapid development tools and techniques are needed. While tools such as the Generic Modeling Environment (GME) for the specification of the syntactic structure of DSMLs are well established, proper techniques for the specification of semantics and methods for integrating the semantic specifications with the language design tool suite remain interesting challenges. Current efforts in semantic specification of DSMLs focus solely on operational semantics. In this paper we show how the specification of multiple types of semantics can bring added benefit. We also emphasize the use of FORMULA, a formal modeling and analysis language, and show how it can be used to specify the semantics of a DSML in a way that integrates with DSML development tools. As a case study, we consider the operational and denotational semantics of a Statecharts-like language and show that the two semantic specifications can be used for complementary applications.
Year
DOI
Venue
2013
10.1109/ECBS.2013.29
Engineering of Computer Based Systems
Keywords
Field
DocType
formal modeling,denotational semantics,multi-way semantic specification,domain-specific modeling languages,dsml development tool,language design tool suite,domain-specific modeling language,analysis language,operational semantics,semantic specification,model-based design method,statecharts-like language,semantics,cyber physical system,data models,unified modeling language,gears,formal specification
Specification language,Operational semantics,Programming language,Domain-specific modeling,Computer science,Computational semantics,Denotational semantics,Action semantics,Formal specification,Language Of Temporal Ordering Specification
Conference
ISBN
Citations 
PageRank 
978-0-7695-4991-0
1
0.36
References 
Authors
11
5
Name
Order
Citations
PageRank
David Lindecker1141.78
Gabor Simko2427.06
Istvan Madari371.94
Tihamer Levendovszky423327.58
Janos Sztipanovits51478165.28