Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets
作者： Kamel Barkaoui , Hanifa Boucheneb , Awatef Hicheur
DOI: 10.1007/978-3-642-01364-5_2
关键词:
摘要: We present, in this paper, the Time Recursive ECATNets (T-RECATNets) formalism for modelling and analysis of time-constrained reconfigurable workflows, which are preponderant field Web services. In a second step, we propose method building specific state class graph terms rewrite logic. Therefore, one can verify some properties with respect to time constraints using model checking techniques.
springer.com
sci-hub.st 参考文章(23)
Kamel Barkaoui, Awatef Hicheur, Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets Business Process Management Workshops. pp. 232- 244 ,(2008) , 10.1007/978-3-540-78238-4_24
Lectures on Concurrency and Petri Nets Springer Berlin Heidelberg. ,(2004) , 10.1007/B98282
Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Nested nets for adaptive systems applications and theory of petri nets. ,vol. 4024, pp. 241- 260 ,(2006) , 10.1007/11767589_14
Mohamed Bettaz, Mourad Maouche, How to Specify Non-Determinism and True Concurrency with Algebraic Term Nets workshop on specification of abstract data types joint with compass workshop on recent trends in data type specification. pp. 164- 180 ,(1991) , 10.1007/3-540-56379-2_39
W. M. P. van der Aalst, M. Adams, A. H. M. ter Hofstede, M. Pesic, H. Schonenberg, Flexibility as a Service Database Systems for Advanced Applications. ,vol. 5667, pp. 319- 333 ,(2009) , 10.1007/978-3-642-04205-8_27
Irina A. Lomazova, Modeling dynamic objects in distributed systems with nested Petri nets Fundamenta Informaticae. ,vol. 51, pp. 121- 133 ,(2002)
Hanifa Boucheneb, Kamel Barkaoui, Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs formal modeling and analysis of timed systems. pp. 265- 279 ,(2008) , 10.1007/978-3-540-85778-5_19
Donald Sannella, Andrzej Tarlecki, Extended ML: Past, Present, and Future Annales Des Télécommunications. pp. 297- 322 ,(1990) , 10.1007/3-540-54496-8_16
Serge Haddad, Denis Poitrenaud, Recursive Petri nets: Theory and application to discrete event systems Acta Informatica. ,vol. 44, pp. 463- 508 ,(2007) , 10.1007/S00236-007-0055-Y
Roberto Bruni, José Meseguer, Semantic foundations for generalized rewrite theories Theoretical Computer Science. ,vol. 360, pp. 386- 414 ,(2006) , 10.1016/J.TCS.2006.04.012