Formal modelling and discrete-time analysis of BPEL web services

ISSN： 1740-2123

Source： International Journal of Simulation and Process Modelling, Vol.4, Iss.3-4, 2009-03, pp. : 183-194

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Static inter-BPEL program slicing for web services

By Mao Chengying

International Journal of Simulation and Process Modelling, Vol. 7, Iss. 3, 2012-09 ,pp. : 204-216

Inderscience Publishers

Access to resources Recommend Favorite

Modelling web services for PLM distributed system

By Georgiev Iliya Ovtcharova Jivka Georgiev Ivo

International Journal of Product Lifecycle Management, Vol. 2, Iss. 1, 2007-03 ,pp. : 30-49

Inderscience Publishers

Access to resources Recommend Favorite

Modelling Web Services in the agent-oriented modelling language and environment CAMLE

By Zhu Hong Shan Lijun

International Journal of Simulation and Process Modelling, Vol. 3, Iss. 1-2, 2007-07 ,pp. : 26-44

Inderscience Publishers

Access to resources Recommend Favorite

Web services and DAM - The time has come …

By Liles Doug

Journal of Digital Asset Management, Vol. 6, Iss. 3, 2010-06 ,pp. : 147-152

Palgrave Macmillan Ltd

Access to resources Recommend Favorite

Real-time business process monitoring using formal concept analysis

By Kang Bokyoung Jung Jae-Yoon Cho Nam Wook Kang Suk-Ho

Industrial Management & Data Systems, Vol. 111, Iss. 5, 2011-05 ,pp. : 652-674

Emerald Group Publishing Ltd

Access to resources Recommend Favorite