Assuring Consistency of Business Process Models and Web Services Using Visual Contracts-Reference-Cited by-同舟云学术

Assuring Consistency of Business Process Models and Web Services Using Visual Contracts

Published:2008 Issue: Volume: Page:17-31
ISSN:0302-9743
Container-title:Applications of Graph Transformations with Industrial Relevance
language:
Short-container-title:

Author:

Engels Gregor,Güldali Baris,Soltenborn Christian,Wehrheim Heike

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-89020-1_2

Reference24 articles.

1. Newcomer, E., Lomow, G.: Understanding SOA with Web Services. Addison-Wesley, Reading (2004)

2. van der Aalst, W., Hofstede, A.: YAWL: Yet Another Workflow Language. Technical report, Queensland University of Technology, Brisbane (2002)

3. Keller, G., Nüttgens, M., Scheer, A.W.: Semantische Prozessmodellierung auf der Grundlage Ereignisgesteuerter Prozessketten (EPK). Technical Report 1989, Institut für Wirtschaftsinformatik, Universität des Saarlandes (1992)

4. Andrews, T., et al.: Business Process Execution Language for Web Services version 1.1 (2003)

5. Dumas, M., Hofstede, A.: UML Activity Diagrams as a Workflow Specification Language. In: UML 2001: Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools, London, UK, pp. 76–90. Springer, Heidelberg (2001)

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

1. Fault Localization in Service Compositions;Formal Aspects of Component Software;2017

2. A Short Survey on Using Software Error Localization for Service Compositions;Service-Oriented and Cloud Computing;2016

3. Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking;Electronic Proceedings in Theoretical Computer Science;2014-04-02

4. Normalizing Heterogeneous Service Description Models with Generated QVT Transformations;Modelling Foundations and Applications;2014

5. Bounded Model Checking of Graph Transformation Systems via SMT Solving;Formal Techniques for Distributed Systems;2013