A Tool for a Formal Pattern Modeling Language.
Soon-Kyeong KimDavid A. CarringtonPublished in: ICFEM (2006)
Keyphrases
- modeling language
- design rationale
- metamodel
- formal methods
- unified modeling language
- formal semantics
- business process modeling
- pattern matching
- uml profile
- declarative language
- code generation
- cooperative
- databases
- black box
- software systems
- object oriented
- learning process
- language constructs
- constraint language
- e learning
- information systems
- artificial intelligence