Communicating sequential processes
Communicating sequential processes
Extensional equivalence for transition systems
Acta Informatica
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
Communication and Concurrency
Information and Computation
Component adaptation through flexible subservicing
Science of Computer Programming - Special issue on security issues in coordination models, languages, and systems
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Behavioral adaptation of component compositions based on process algebra encodings
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
A theory of contracts for web services
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
CONCUR '07 Proceedings of the 18th international conference on Concurrency Theory
Structured communication-centred programming for web services
ESOP'07 Proceedings of the 16th European conference on Programming
A theory for strong service compliance
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Contract based multi-party service composition
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Towards a unifying theory for choreography conformance and contract compliance
SC'07 Proceedings of the 6th international conference on Software composition
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
Choreography and orchestration conformance for system design
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
A basic contract language for web services
ESOP'06 Proceedings of the 15th European conference on Programming Languages and Systems
Contract-Driven Implementation of Choreographies
Trustworthy Global Computing
Calculi for Service-Oriented Computing
Formal Methods for Web Services
Contract-Based Discovery and Composition of Web Services
Formal Methods for Web Services
Planning and verifying service composition
Journal of Computer Security - 18th IEEE Computer Security Foundations Symposium (CSF 18)
Science of Computer Programming
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
A theory of design-by-contract for distributed multiparty interactions
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Theoretical Computer Science
Modeling behavioral RESTful web service interfaces in UML
Proceedings of the 2011 ACM Symposium on Applied Computing
Fair subtyping for multi-party session types
COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
Designing level 3 behavioral RESTful web service interfaces
ACM SIGAPP Applied Computing Review
Advanced mechanisms for service composition, query and discovery
Rigorous software engineering for service-oriented systems
Model checking adaptive multilevel service compositions
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
An interface theory for service-oriented design
Theoretical Computer Science
Hi-index | 0.00 |
In the context of Service Oriented Computing, contracts are descriptions of the observable message-passing behavior of services. Contracts have been already successfully exploited to solve the problem of client/service composition. Inspired by current orchestration languages, we consider services where the choice to perform an output may not depend on the environment. Under this assumption, we propose a new theory of contracts which also addresses 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 must testing pre-order (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 subcontracts.