A formal approach to finding inconsistencies in a metamodel.

Hao Wu Marie Farrell

Published in: Softw. Syst. Model. (2021)

Keyphrases

metamodel
modeling language
development process
black box
data model
uml profile
life cycle
reference model
software systems
design patterns
model driven
transformation rules
multi agent
integrity constraints
development processes
model driven architecture