Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
Agent-oriented technology in support of e-business
Communications of the ACM
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
The P2P Approach to Interorganizational Workflows
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?
Information Technology and Management
Extending the compatibility notion for abstract WS-BPEL processes
Proceedings of the 17th international conference on World Wide Web
Process-Aware Information Systems: Lessons to Be Learned from Process Mining
Transactions on Petri Nets and Other Models of Concurrency II
Does My Service Have Partners?
Transactions on Petri Nets and Other Models of Concurrency II
Deciding Substitutability of Services with Operating Guidelines
Transactions on Petri Nets and Other Models of Concurrency II
Contract Compliance and Choreography Conformance in the Presence of Message Queues
Web Services and Formal Methods
Proof Techniques for Adapter Generation
Web Services and Formal Methods
Deciding service composition and substitutability using extended operating guidelines
Data & Knowledge Engineering
Service Interaction: Patterns, Formalization, and Analysis
Formal Methods for Web Services
Compatibility and Conformance of Role-Based Interaction Components in MAS
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Specification and verification of harmonized business-process collaborations
Information Systems Frontiers
Expert Systems with Applications: An International Journal
Constructing replaceable services using operating guidelines and maximal controllers
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
An artifact-centric view-based approach to modeling inter-organizational business processes
WISE'11 Proceedings of the 12th international conference on Web information system engineering
Perceived consistency between process models
Information Systems
Synthesising implicit contracts
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
Hi-index | 0.00 |
Service orientation is a means for integrating across diverse systems. Each resource, whether an application, system, or trading partner, can be accessed as a service. The resulting architecture, often referred to as SOA, has been an important enabler for interorganizational processes. Apart from technological issues that need to be addressed, it is important that all parties involved in such processes agree on the "rules of engagement". Therefore, we propose to use a contract that specifies the composition of the public views of all participating parties. Each party may then implement its part of the contract such that the implementation (i.e., the private view) accords with the contract. In this paper, we define a suitable notion of accordance inspired by the asynchronous nature of services. Moreover, we present several transformation rules for incrementally building a private view such that accordance with the contract is guaranteed by construction. These rules include adding internal tasks as well as the reordering of messages and are therefore much more powerful than existing correctness-preserving transformation rules.