[SB15] On quantitative Analysis of Time Open Workflow Nets and Parametric Extension

Conférence Internationale avec comité de lecture : The 9th International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, September 2015, Vol. 1431, pp.97-10, Series CEUR Workshop Proceedings, Bucharest, Romania,

Auteurs: Z. Sbai , K. Barkaoui

Mots clés: Time Open Workflow Nets , quantitative Analysis

Résumé: Collaborative systems design is today a complex process especially where constraints such as tasks delays or resources handling have to be considered. In addition to a well constructed model of a workflow system, a prior and rigorous verification phase is important to ensure a correct execution of the system. In this direction, we are interested in this paper by the modeling and the analysis of interacting processes in particular those constrained by timing delays. First, we present the Time open Workflow nets (ToWF-nets) which stand for a sub-class of Petri nets dedicated to model any business process which interact with other partners via interface places in order to meet a common goal. Then, after recalling the semantics of ToWFnets, we investigate in presenting our recent results in quantitative verification of properties related to the correct communication of various ToWF-nets. We show how to make a TCTL based model checking of the studied properties. Finally, we extend our analysis approach of ToWF-nets to cover concurrent processes leading thus to propose a parametric verification of ToWF-nets.

Commentaires: http://ceur-ws.org/Vol-1431/

BibTeX

@inproceedings {
	SB15,
	title	=	"{On quantitative Analysis of Time Open Workflow Nets and Parametric Extension}",
	author	=	" Z. Sbai and K. Barkaoui ",
	booktitle	=	"{ The 9th International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015}",
	year	=	2015,
	month	=	"September",
	series	=	"CEUR Workshop Proceedings",
	volume	=	1431,
	pages	=	"97-10",
	address	=	"Bucharest, Romania",
	note	=	"{http://ceur-ws.org/Vol-1431/}",
}