Published Articles >> Table of Contents >> Abstract

31st Annual International Computer Software and Applications Conference - Vol. 1- (COMPSAC 2007)   pp. 163-170
Using UML Activity Diagrams and Event B for Distributed and Parallel Applications
Ahlem Ben Younes, Research Unit of Technologies of Information and Communication (UTIC)- ESSTT-Tunisia
Leila Jemni Ben Ayed, Research Unit of Technologies of Information and Communication (UTIC)- ESSTT-Tunisia

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.233
Send link to a friend

Abstract
This paper presents a specification and verification technique for distributed and parallel applications using formal and semi-formal methods. The proposed technique uses UML and Event B. The design is initially expressed graphically with UML, then translated into Event B and verified using the B powerful support tools. In this paper, we focus on the translation of activity diagrams into Event B, in order to verify workflow properties of distributed and parallel applications with the B prover. We present translation rules of activity diagrams into Event B, and relation between hierarchical decomposition of activities in UML activity diagrams and the refinement in Event B
Back to Top Additional Information
Citation:  Ahlem Ben Younes, Leila Jemni Ben Ayed, "Using UML Activity Diagrams and Event B for Distributed and Parallel Applications," compsac, pp. 163-170,  31st Annual International Computer Software and Applications Conference - Vol. 1- (COMPSAC 2007),  2007