Citation to this article as recorded by
A path detecting method to analyze the interactive compatibility
of service processes based on WS-BPEL Concurrency and Computation: Practice and Experience |
How to cite this article
Hu Qiang , 2014. A Logic Petri Net Method to Analyze the Well-structured Property of WS-BPEL. Journal of Software Engineering, 8: 314-320.
DOI: 10.3923/jse.2014.314.320
URL: https://scialert.net/abstract/?doi=jse.2014.314.320
DOI: 10.3923/jse.2014.314.320
URL: https://scialert.net/abstract/?doi=jse.2014.314.320