UML activity diagram to event-B: A model transformation approach based on the institution theory.

Amine Achouri Leila Jemni Ben Ayed

Published in: IRI (2014)

Keyphrases

computational model
mathematical framework
specification language
metamodel
case study
probability distribution
theoretical framework
statistical model
experimental data
formal model
state machine
artificial intelligence
similarity measure
mathematical model
conceptual model
class diagram