Interaction Soundness for Service Orchestrations-Reference-Cited by-同舟云学术

Interaction Soundness for Service Orchestrations

Published:2006 Issue: Volume: Page:302-313
ISSN:0302-9743
Container-title:Service-Oriented Computing – ICSOC 2007
language:
Short-container-title:

Author:

Puhlmann Frank,Weske Mathias

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11948148_25

Reference17 articles.

1. Burbeck, S.: The Tao of E-Business Services (2000) available at, http://www-128.ibm.com/developerworks/library/ws-tao/

2. Lecture Notes in Computer Science;W. Aalst,2003

3. Lecture Notes in Computer Science;F. Puhlmann,2006

4. Overdick, H., Puhlmann, F., Weske, M.: Towards a Formal Model for Agile Service Discovery and Integration. In: Verma, K., Sheth, A., Zaremba, M., Bussler, C. (eds.) Proceedings of the International Workshop on Dynamic Web Processes (DWP 2005). IBM technical report RC23822, Amsterdam (2005)

5. Puhlmann, F.: Why do we actually need the Pi-Calculus for Business Process Management? In: Abramowicz, W., Mayr, H. (eds.) 9th International Conference on Business Information Systems (BIS 2006), Bonn, Gesellschaft für Informatik. LNI, vol. P-85, pp. 77–89 (2006)

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Dealing with change in process choreographies: Design and implementation of propagation algorithms;Information Systems;2015-04

2. Formal Based Correctness Check for ePASS-IoS 1.1 Process Models with Integrated User Support for Error Correcting;Lecture Notes in Business Information Processing;2014

3. Reflections on a Decade of Interorganizational Workflow Research;Seminal Contributions to Information Systems Engineering;2013

4. Analyzing Business Process Architectures;Notes on Numerical Fluid Mechanics and Multidisciplinary Design;2013

5. Verification of workflow nets with transition conditions;Journal of Zhejiang University SCIENCE C;2012-07