Algebraic Semantics of OCL-Constrained Metamodel Specifications.
Artur BoronatJosé MeseguerPublished in: TOOLS (47) (2009)
Keyphrases
- metamodel
- transformation rules
- modeling language
- constraint language
- life cycle
- data model
- specification language
- development process
- formal semantics
- model driven
- operational semantics
- software systems
- black box
- reference model
- uml profile
- design patterns
- formal specification
- algebraic structure
- cooperative
- machine learning
- process model
- software development
- open source
- platform independent
- information systems
- model driven architecture
- uml class diagrams