loading...
Role Activity Diagrams as Finite State Processes
Ljubljana, Slovenia October 13-October 14
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISPDC.2003.1267638Second International Symposium on Par ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Costin Badica, Amelia Badica, Valentin Litoiu, "Role Activity Diagrams as Finite State Processes," Parallel and Distributed Computing, International Symposium on, pp. 15, Second International Symposium on Parallel and Distributed Computing, 2003.
 
 
BibTex
x
 
@article{ 10.1109/ISPDC.2003.1267638,
author = {Costin Badica and Amelia Badica and Valentin Litoiu},
title = {Role Activity Diagrams as Finite State Processes},
journal ={Parallel and Distributed Computing, International Symposium on},
volume = {0},
year = {2003},
isbn = {0-7695-2069-3 },
pages = {15},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISPDC.2003.1267638},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Parallel and Distributed Computing, International Symposium on
TI - Role Activity Diagrams as Finite State Processes
SN - 0-7695-2069-3
SP
EP
A1 - Costin Badica,
A1 - Amelia Badica,
A1 - Valentin Litoiu,
PY - 2003
KW - null
VL - 0
JA - Parallel and Distributed Computing, International Symposium on
ER -
 
Costin Badica, University of Craiova, Romania
Amelia Badica, University of Craiova, Romania
Valentin Litoiu, University of Craiova, Romania
Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuitive meaning, mainly addressed to the business management community and low-level foundational notations, with a detailed and formal semantics, mainly addressed to the computer science community. Role activity diagrams are a popular high-level visual notation for capturing the dynamics and role structure of an organization. This paper establishes that role activity diagrams have a formal semantics as well and thus making them suitable to formal verification. The result is obtained by mapping of a role activity diagram model to a process algebra model. Process algebras are mathematical languages for the specification and understanding of concurrent and cooperating computational processes.
Citation:
Costin Badica, Amelia Badica, Valentin Litoiu, "Role Activity Diagrams as Finite State Processes," ispdc, pp.15, Second International Symposium on Parallel and Distributed Computing, 2003
Usage of this product signifies your acceptance of the Terms of Use.