A Petri net semantic for BPEL4WS – validation and application
作者： Karsten Schmidt , Christian Stahl
DOI:
关键词:
摘要: We translated a small business process into recently defined Petri net semantic. Then we used the tool LoLA for validating semantic as well proving relevant properties of particular process.
hu-berlin.de参考文章(5)
Karsten Schmidt, Automated Generation of a Progress Measure for the Sweep-Line Method tools and algorithms for construction and analysis of systems. pp. 192- 204 ,(2004) , 10.1007/978-3-540-24730-2_17
Frank Leymann, Dieter Roller, Production Workflow: Concepts and Techniques ,(1999)
Karsten Schmidt, LoLA A Low Level Analyser Lecture Notes in Computer Science. pp. 465- 474 ,(2000) , 10.1007/3-540-44988-4_27
Karsten Schmidt, How to calculate symmetries of Petri nets Acta Informatica. ,vol. 36, pp. 545- 590 ,(2000) , 10.1007/S002360050002
FC Tony Andrews, Hitesh Dholakia, Yaron Goland, Johannes Klein, Frank Leymann, Kevin Liu, Dieter Roller, Doug Smith, Satish Thatte, Ivana Trickovic, Sanjiva Weerawarana, Business Process Execution Language for Web Services Version 1.1 ,(2003)