Checking concurrent behavior in UML/OCL models.

Nils Przigoda Christoph Hilken Robert Wille Jan Peleska Rolf Drechsler

Published in: MoDELS (2015)

Keyphrases

metamodel
data model
uml class diagrams
class diagrams
software systems
modeling language
databases
artificial intelligence
experimental data
model driven
conceptual models