Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude.
José Eduardo RiveraEsther GuerraJuan de LaraAntonio VallecilloPublished in: SLE (2008)
Keyphrases
- modeling language
- formal semantics
- control flow
- constraint language
- metamodel
- data driven
- operational semantics
- semantically relevant
- declarative language
- multiple inheritance
- business process modeling
- language constructs
- databases
- formal methods
- formal specification
- rule base
- semantic information
- expert systems
- high level
- real world