loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2007 31st Annual International Computer Software and Applications Conference
Using UML Activity Diagrams and Event B for Distributed and Parallel Applications
Beijing, China
July 24-July 27
ISBN: 0-7695-2870-8
ASCII Text
x 
 
Ahlem Ben Younes, Leila Jemni Ben Ayed, "Using UML Activity Diagrams and Event B for Distributed and Parallel Applications," Computer Software and Applications Conference, Annual International, vol. 1, pp. 163-170, 2007 31st Annual International Computer Software and Applications Conference, 2007.
 
 
BibTex
x
 
@article{ 10.1109/COMPSAC.2007.233,
author = {Ahlem Ben Younes and Leila Jemni Ben Ayed},
title = {Using UML Activity Diagrams and Event B for Distributed and Parallel Applications},
journal ={Computer Software and Applications Conference, Annual International},
volume = {1},
year = {2007},
issn = {0730-3157},
pages = {163-170},
doi = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.233},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Software and Applications Conference, Annual International
TI - Using UML Activity Diagrams and Event B for Distributed and Parallel Applications
SN - 0730-3157
SP163
EP170
A1 - Ahlem Ben Younes,
A1 - Leila Jemni Ben Ayed,
PY - 2007
KW - null
VL - 1
JA - Computer Software and Applications Conference, Annual International
ER -
 
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
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
Citation:
Ahlem Ben Younes, Leila Jemni Ben Ayed, "Using UML Activity Diagrams and Event B for Distributed and Parallel Applications," compsac, vol. 1, pp.163-170, 2007 31st Annual International Computer Software and Applications Conference, 2007
Usage of this product signifies your acceptance of the Terms of Use.