AN UML ACTIVITIES DIAGRAMS TRANSLATION INTO EVENT B SUPPORTING THE SPECIFICATION AND THE VERIFICATION OF WORKFLOW APPLICATION MODELS - From UML Activities Diagrams to Event B
Keyword(s):
2014 ◽
Vol 3
(2)
◽
pp. 51-62
◽