Should future variability modeling languages express constraints in OCL?
Don S. BatoryPublished in: SPLC (B) (2019)
Keyphrases
- modeling language
- constraint language
- metamodel
- uml diagrams
- integrity constraints
- business process modeling
- real world
- unified modeling language
- declarative language
- constraint programming
- control flow
- automatically generate
- model driven architecture
- black box
- constraint satisfaction
- object oriented
- case study
- artificial intelligence