A Meta-model Transformation from UML Activity Diagrams to Event-B Models.

Ahlem Ben Younes Yousra Bendaly Hlaoui Leila Jemni Ben Ayed

Published in: COMPSAC Workshops (2014)

Keyphrases

metamodel
transformation rules
uml activity diagrams
life cycle
development process
model driven
data model
probabilistic model
learning objects
software systems
design patterns
modeling language
uml profile
real world