Citation to this article as recorded by
Li Yongxiang, Yao Xifan, Xu Xiangmin, Jin Hong 2014. Formal Verification of Cloud Manufacturing Service Composition and BPEL Codes Generation Based on Extended Process Calculus Inform. Technol. J., 13: 1779-1785. CrossRef |
Citation to this article as recorded by
Cloud manufacturing service composition and formal verification
based on extended process calculus Advances in Mechanical Engineering Vol. 10, Issue 6, 168781401878128, 2018 |
State Based Static and Dynamic Formal Analysis of UML State
Diagrams Journal of Software Engineering and Applications Vol. 05, Issue 07, 483, 2012 |
How to cite this article
Xiuguo Zhang and Hongbo Liu, 2011. Formal Verification for CCML Based Web Service Composition. Information Technology Journal, 10: 1692-1700.
DOI: 10.3923/itj.2011.1692.1700
URL: https://scialert.net/abstract/?doi=itj.2011.1692.1700
DOI: 10.3923/itj.2011.1692.1700
URL: https://scialert.net/abstract/?doi=itj.2011.1692.1700