Compatibility and inheritance in software architectures
Science of Computer Programming
Distributed and Parallel Databases
Consistency between Executable and Abstract Processes
EEE '05 Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05) on e-Technology, e-Commerce and e-Service
Web Services Platform Architecture: SOAP, WSDL, WS-Policy, WS-Addressing, WS-BPEL, WS-Reliable Messaging and More
Enterprise SOA: Service-Oriented Architecture Best Practices (The Coad Series)
Enterprise SOA: Service-Oriented Architecture Best Practices (The Coad Series)
Service Interaction Modeling: Bridging Global and Local Views
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
From RosettaNet PIPs to BPEL processes: A three level approach for business protocols
Data & Knowledge Engineering
Enterprise Service Bus
Extending the compatibility notion for abstract WS-BPEL processes
Proceedings of the 17th international conference on World Wide Web
WSDL 2.0 Message Exchange Patterns: Limitations and Opportunities
ICIW '08 Proceedings of the 2008 Third International Conference on Internet and Web Applications and Services
Extending BPELlight for Expressing Multi-Partner Message Exchange Patterns
EDOC '08 Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference
Instance Isolation Analysis for Service-Oriented Architectures
SCC '08 Proceedings of the 2008 IEEE International Conference on Services Computing - Volume 1
Behavioral consistency for B2B process integration
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
BPEL for semantic web services (BPEL4SWS)
OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I
Constraint-based workflow models: change made easy
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
The conceptualization of a configurable multi-party multi-message request-reply conversation
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Analyzing BPEL4Chor: verification and participant synthesis
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
BPM'07 Proceedings of the 5th international conference on Business process management
Interaction modeling using BPMN
BPM'07 Proceedings of the 2007 international conference on Business process management
Interaction soundness for service orchestrations
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
UN/CEFACT'S modeling methodology (UMM): a UML profile for b2b e-commerce
CoMoGIS'06 Proceedings of the 2006 international conference on Advances in Conceptual Modeling: theory and practice
From inter-organizational workflows to process execution: generating BPEL from WS-CDL
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Enterprise business process management: architecture, technology and standards
BPM'06 Proceedings of the 4th international conference on Business Process Management
The (service) bus: services penetrate everyday life
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Translating standard process models to BPEL
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Analyzing web service based business processes
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Workflow-Based coordination and cooperation in a service world
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Let's dance: a language for service behavior modeling
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
The Influence of an External Transaction on a BPEL Scope
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
The measurement of perceived ontological deficiencies of conceptual modeling grammars
Data & Knowledge Engineering
Cross-organizational process monitoring based on service choreographies
Proceedings of the 2010 ACM Symposium on Applied Computing
Translating shared state based ebXML BPSS models to WS-BPEL
International Journal of Business Intelligence and Data Mining
Extending choreography spheres to improve simulations
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
Apprehensive QoS monitoring of Service choreographies
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Model-driven approach to enterprise interoperability at the technical service level
Computers in Industry
Hi-index | 0.00 |
Interacting services play a key role to realize business process integration among different business partners by means of electronic message exchange. In order to provide seamless integration of these services, the messages exchanged as well as their dependencies must be well-defined. Service choreographies are a means to describe the allowed conversations. This article presents a requirements framework for service choreography languages, along which existing choreography languages are assessed. The requirements framework provides the basis for introducing the language BPEL4Chor, which extends the industry standard WS-BPEL with choreography-specific concepts. A validation is provided and integration with executable service orchestrations is discussed.