Role activity diagrams as finite state processes

Authors:
Costin Bădică;Amelia Bădică;Valentin Liţoiu
Affiliations:
University of Craiova, Faculty of Automation, Computers and Electronics, Software Engineering Department, Craiova, Romania;University of Craiova, Faculty of Economics, Business Information Systems Department, Craiova, Romania;University of Craiova, Faculty of Economics, Business Information Systems Department, Craiova, Romania
Venue:
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
Year:
2003

Citing 12
Cited 2

Communicating sequential processes

Communicating sequential processes
A compositional approach to performance modelling

A compositional approach to performance modelling
The Unified Modeling Language user guide

The Unified Modeling Language user guide
Concurrency: state models & Java programs

Concurrency: state models & Java programs
Modal and temporal properties of processes

Modal and temporal properties of processes
Communication and Concurrency

Communication and Concurrency
Process algebras for systems diagnosis

Artificial Intelligence
Model Checking for Managers

Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Verification of Business Processes for a Correspondence Handling Center Using CCS

EUROVAV '99 Collected papers from the 5th European Symposium on Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice
Activity Graphs and Processes

IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
The Process Interchange Format and Framework

The Knowledge Engineering Review
Modelling Engineering Design Processes With Role Activity Diagrams

Journal of Integrated Design & Process Science

Formal Modeling of Agent-Based English Auctions Using Finite State Process Algebra

KES-AMSTA '07 Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
FSP and FLTL framework for specification and verification of middle-agents

International Journal of Applied Mathematics and Computer Science - Semantic Knowledge Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.