Conversation Support for Business Process Integration

Conversation protocols: a formalism for specification and verification of reactive electronic services

Theoretical Computer Science - Implementation and application of automata

Design for verification for asynchronously communicating Web services

WWW '05 Proceedings of the 14th international conference on World Wide Web

A model-driven approach to industrializing discovery processes in pharmaceutical research

IBM Systems Journal

Tools for composite web services: a short overview

ACM SIGMOD Record

Analyzing Conversations of Web Services

IEEE Internet Computing

Verification of communicating data-driven web services

Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems

Process-centric engineering web services in a distributed and collaborative environment

Computers and Industrial Engineering - Special issue: Logistics and supply chain management

Guided interaction: A mechanism to enable ad hoc service interaction

Information Systems Frontiers

Algorithms Based on Pattern Analysis for Verification and Adapter Creation for Business Process Composition

OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:

A scenario-based verification technique to assess the compatibility of collaborative business processes

Data & Knowledge Engineering

Handling transactional business services

Proceedings of the 15th Conference on Pattern Languages of Programs

Coordinating web-service enabled business transactions with contracts

CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering

Conversation protocols: a formalism for specification and verification of reactive electronic services

CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata

Towards a theory of web service choreographies

WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods

Analyzing web service choreography specifications using colored Petri nets

DESRIST'11 Proceedings of the 6th international conference on Service-oriented perspectives in design science research

Towards a unified model for web services composition

ASIAN'05 Proceedings of the 10th Asian Computing Science conference on Advances in computer science: data management on the web

A framework for the development and execution of horizontal protocols in open BPM systems

BPM'06 Proceedings of the 4th international conference on Business Process Management

Controversy Corner: Automatic execution of business process models: Exploiting the benefits of Model-driven Engineering approaches

Journal of Systems and Software

Academic and industrial research: do their approaches differ in adding semantics to web services?

SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition

Designing under the influence of speech acts: a strategy for composing enterprise integration solutions

ER'06 Proceedings of the 25th international conference on Conceptual Modeling

Guided interaction: a language and method for incremental revelation of software interfaces for Ad Hoc interaction

BPM'05 Proceedings of the Third international conference on Business Process Management

DENEB: a platform for the development and execution of interoperable dynamic Web processes

Concurrency and Computation: Practice & Experience

Optimal Adapter Creation for Process Composition in Synchronous vs. Asynchronous Communication

ACM Transactions on Management Information Systems (TMIS)

Declarative choreographies for artifacts

ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing