What is a “good” encoding of guarded choice?
Information and Computation - Special issue on EXPRESS 1997
Structured communication-centred programming for web services
ESOP'07 Proceedings of the 16th European conference on Programming
Choreography and orchestration: a synergic approach for system design
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
A formal account of contracts for web services
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
A basic contract language for web services
ESOP'06 Proceedings of the 15th European conference on Programming Languages and Systems
Extending the compatibility notion for abstract WS-BPEL processes
Proceedings of the 17th international conference on World Wide Web
Service Discovery and Negotiation With COWS
Electronic Notes in Theoretical Computer Science (ENTCS)
A Foundational Theory of Contracts for Multi-party Service Composition
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Deciding Substitutability of Services with Operating Guidelines
Transactions on Petri Nets and Other Models of Concurrency II
Contract-Driven Implementation of Choreographies
Trustworthy Global Computing
Contract Compliance and Choreography Conformance in the Presence of Message Queues
Web Services and Formal Methods
Deciding service composition and substitutability using extended operating guidelines
Data & Knowledge Engineering
A theory of contracts for strong service compliance
Mathematical Structures in Computer Science
Choice, interoperability, and conformance in interaction protocols and service choreographies
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Service Interaction: Patterns, Formalization, and Analysis
Formal Methods for Web Services
Contract-Based Discovery and Composition of Web Services
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
Contracts for Mobile Processes
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
A theory for strong service compliance
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Two notions of sub-behaviour for session-based client/server systems
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Specification and verification of harmonized business-process collaborations
Information Systems Frontiers
Compliance preorders for web services
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
Constructing replaceable services using operating guidelines and maximal controllers
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Soundness-preserving refinements of service compositions
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Safe distribution of declarative processes
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Behavioural contracts with request-response operations
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
Guaranteeing Weak Termination in Service Discovery
Fundamenta Informaticae - Application of Concurrency to System Design, the Eighth Special Issue
Declarative modelling and safe distribution of healthcare workflows
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
A Foundational Theory of Contracts for Multi-party Service Composition
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Behavioural contracts with request-response operations
Science of Computer Programming
Synthesising implicit contracts
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
| Hi-index | 0.00 |
In the context of Service Oriented Computing, contracts are descriptions of the observable behaviour of services. Contracts have been already successfully exploited to solve the problem of client/service composition. In this paper we consider services where the choice to perform an output may not depend on the environment and we revisit the theory of contracts in order to tackle the problem of composition of multiple services (not only one client with one service). Moreover, we relate our theory of contracts with the theory of testing preorder (interpreted as a subcontract relation) and we show that a compliant group of contracts is still compliant if every contract is replaced by one of its subcontract.