loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Redouane Bouchekir ; Saida Boukhedouma and Mohand Cherif Boukala

Affiliation: USTHB, Algeria

ISBN: 978-989-758-199-1

Keyword(s): Verification, IOWF Process, BPEL4WS, Probabilistic Automata, Model Checking, Compositional Verification, Assume-Guarantee Reasoning Rule.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Business Process Management ; e-Business ; Enterprise Engineering ; Enterprise Information Systems ; Formal Methods ; Knowledge Management and Information Sharing ; Knowledge-Based Systems ; Performance Analysis ; Risk Analysis ; Simulation and Modeling ; Simulation Tools and Platforms ; Stochastic Modeling and Simulation ; Symbolic Systems

Abstract: For many complex systems, it is important to verify formally their correctness; the aim is to guarantee the reliability and the correctness of such systems before their effective deployment. Several methods have been proposed to this effect using different formal tools such as Probabilistic Automata (PA). In this paper we focus on verification of service-based inter-organizational workflow (IOWF) processes which support collaboration and cooperation between WF processes attached to several partners, and specified using the business process execution language (BPEL4WS). Then, IOWF processes are translated to Probabilistic Automata (PA) models. More than verification support, PA provides a numerical evaluation of the IOWF process. We also propose the use of compositional verification to cope with the state space explosion problem. The IOWF behavior is checked against probabilistic safety properties. The verification and the analysis are performed in an automated way using the PRISM mode l checker and based on the assume-guarantee reasoning rule. (More)

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.234.227.202

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Bouchekir, R.; Boukhedouma, S. and Boukala, M. (2016). Automatic Compositional Verification of Probabilistic Safety Properties for Inter-organisationalWorkflow Processes.In Proceedings of the 6th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH, ISBN 978-989-758-199-1, pages 244-253. DOI: 10.5220/0005978602440253

@conference{simultech16,
author={Redouane Bouchekir. and Saida Boukhedouma. and Mohand Cherif Boukala.},
title={Automatic Compositional Verification of Probabilistic Safety Properties for Inter-organisationalWorkflow Processes},
booktitle={Proceedings of the 6th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,},
year={2016},
pages={244-253},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005978602440253},
isbn={978-989-758-199-1},
}

TY - CONF

JO - Proceedings of the 6th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,
TI - Automatic Compositional Verification of Probabilistic Safety Properties for Inter-organisationalWorkflow Processes
SN - 978-989-758-199-1
AU - Bouchekir, R.
AU - Boukhedouma, S.
AU - Boukala, M.
PY - 2016
SP - 244
EP - 253
DO - 10.5220/0005978602440253

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.