Formal model of mobile BPEL4WS process

Author： Ishikawa Fuyuki   Tahara Yasuyuki   Yoshioka Nobukazu   Honiden Shinichi  

Publisher： Inderscience Publishers

ISSN： 1741-8763

Source： International Journal of Business Process Integration and Management, Vol.1, Iss.3, 2006-09, pp. : 192-209

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

BPEL4WS unit testing: framework and implementation

By Li Zhong Jie   Sun Wei   Du Bin  

International Journal of Business Process Integration and Management, Vol. 3, Iss. 2, 2008-10 ,pp. : 131-143

Inderscience Publishers

Access to resources Recommend Favorite

Interface theory-based formalisation and verification of orchestration in BPEL4WS

By Chen Zhenbang   Wang Ji   Dong Wei   Qi Zhichang  

International Journal of Business Process Integration and Management, Vol. 2, Iss. 4, 2008-04 ,pp. : 262-281

Inderscience Publishers

Access to resources Recommend Favorite

Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis

By Amme Wolfram   Martens Axel   Moser Simon  

International Journal of Business Process Integration and Management, Vol. 4, Iss. 1, 2009-07 ,pp. : 47-59

Inderscience Publishers

Access to resources Recommend Favorite

The project-specific Formal System Model

By White Diana   Fortune Joyce  

International Journal of Managing Projects in Business, Vol. 2, Iss. 1, 2009-01 ,pp. : 36-52

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Formal strategic planning: The key to effective business process management?

By O'Regan Nicholas   Ghobadian Abby  

Business Process Management Journal, Vol. 8, Iss. 5, 2002-12 ,pp. : 416-429

Emerald Group Publishing Ltd

Access to resources Recommend Favorite