UPPAAL—a tool suite for automatic verification of real-time systems
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Concurrent and Real Time Systems: The CSP Approach
Concurrent and Real Time Systems: The CSP Approach
Design and Verification of Distributed Recovery Blocks with CSP
Formal Methods in System Design
From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods
EDOC '02 Proceedings of the 6th International Enterprise Distributed Object Computing Conference
TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Digitisation and Full Abstraction for Dense-Time Model Checking
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
B2b Integration: A Practical Guide to Collaborative E-Commerce
B2b Integration: A Practical Guide to Collaborative E-Commerce
The impact of common e-business interfaces
Communications of the ACM - Mobile computing opportunities and challenges
Workflow Management: Models, Methods, and Systems
Workflow Management: Models, Methods, and Systems
Current Solutions for Web Service Composition
IEEE Internet Computing
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
Tool Support for Model-Based Engineering of Web Service Compositions
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Interaction Protocols as Design Abstractions for Business Processes
IEEE Transactions on Software Engineering
Editorial: web services and process management: a union of convenience or a new area of research?
Decision Support Systems - Special issue: Web services and process management
Developing web services choreography standards: the case of REST vs. SOAP
Decision Support Systems - Special issue: Web services and process management
A web services-enabled marketplace architecture for negotiation process management
Decision Support Systems - Special issue: Web services and process management
Model-Based Analysis of Obligations in Web Service Choreography
AICT-ICIW '06 Proceedings of the Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services
What drives market transactions in B2B exchanges?
Communications of the ACM - Supporting exploratory search
YAWL: yet another workflow language
Information Systems
Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services
ECOWS '06 Proceedings of the European Conference on Web Services
Composition of executable business process models by combining business rules and process flows
Expert Systems with Applications: An International Journal
Modelling and model checking suspendible business processes via statechart diagrams and CSP
Science of Computer Programming
Empowering collaborative commerce with Web services enabled business process management systems
Decision Support Systems
Harmonise: A Step Toward an Interoperable E-Tourism Marketplace
International Journal of Electronic Commerce
Systematic Approaches for Designing B2B Applications
International Journal of Electronic Commerce
Framework for Semantic Web Process Composition
International Journal of Electronic Commerce
A formal modeling platform for composing web services
Expert Systems with Applications: An International Journal
A Model-Driven Approach to Service Orchestration
SCC '08 Proceedings of the 2008 IEEE International Conference on Services Computing - Volume 2
An ontology, intelligent agent-based framework for the provision of semantic web services
Expert Systems with Applications: An International Journal
International Journal of Electronic Commerce
A Formal Basis for Cross-Checking ebXML BPSS Choreography and Web Service Orchestration
APSCC '08 Proceedings of the 2008 IEEE Asia-Pacific Services Computing Conference
On the functional quality of service (FQoS) to discover and compose interoperable web services
Expert Systems with Applications: An International Journal
Distributed Orchestration Versus Choreography: The FOCAS Approach
ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
A Petri Nets based functional validation for services composition
Expert Systems with Applications: An International Journal
Information and Management
B2B Integration: Concepts and Architecture
B2B Integration: Concepts and Architecture
A priori conformance verification for guaranteeing interoperability in open environments
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
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
Translating standard process models to BPEL
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Towards the formal model and verification of web service choreography description language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Standards for web service choreography and orchestration: status and perspectives
BPM'05 Proceedings of the Third international conference on Business Process Management
Symbolic model checking composite Web services using operational and control behaviors
Expert Systems with Applications: An International Journal
Agent-based game-theoretic model for collaborative web services: Decision making analysis
Expert Systems with Applications: An International Journal
Behavioral modeling and formal verification of a resource discovery approach in Grid computing
Expert Systems with Applications: An International Journal
Hi-index | 12.06 |
Web services have emerged as the building blocks of a service-oriented architecture that supports not only enterprise application integration (EAI) and business process management (BPM) within an organization but also B2B collaboration based on business process integration. The web services choreography approach to B2B process integration allows business partners to orchestrate their own web services privately, while conforming with an agreed specification of the common ordering conditions and constraints under which messages are exchanged among partners' web services. In this approach, choreography conformance is an essential requirement for the successful implementation of collaborative processes. A formal approach to web services composition and conformance verification based on WS-CDL and WS-BPEL is presented. This approach involves model checking as an automated means of verifying choreography conformance. The main contributions include a precise notion of choreography conformance on which verification is based as well as support for the complementary use of visual modeling (e.g. UML) and standard WS-^* notations in composition.