Compositional Specification of Behavioral Semantics for Domain-Specific Modeling Languages.
Kai ChenJoseph PorterJanos SztipanovitsSandeep NeemaPublished in: Int. J. Semantic Comput. (2009)
Keyphrases
- modeling language
- domain specific
- formal semantics
- control flow
- language constructs
- constraint language
- operational semantics
- formal language
- metamodel
- specification language
- formal methods
- general purpose
- data flow
- conceptual model
- formal specification
- business process modeling
- declarative language
- query language
- high level
- software design
- databases
- life cycle
- domain experts
- real world