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 , programming language , unified modeling language , formalism (music) , activity diagram , applications of uml , theoretical computer science , natural language processing , software , art , musical , visual arts
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom