Open AccessTowards A Semantic for UML Activity Diagram Based on Institution Theory for it's Transformation to Event-B Model
Author(s) -
Aymen Achouri
Publication year - 2014
Publication title -
computer science and information technology ( cs and it )
Language(s) - English
Resource type - Conference proceedings
DOI - 10.5121/csit.2014.4211
Subject(s) - computer science , unified modeling language , institution , class diagram , programming language , event (particle physics) , transformation (genetics) , activity diagram , sociology , software , social science , biochemistry , chemistry , physics , quantum mechanics , gene