1,045 research outputs found
From Orchestration to Choreography through Contract Automata
We study the relations between a contract automata and an interaction model.
In the former model, distributed services are abstracted away as automata -
oblivious of their partners - that coordinate with each other through an
orchestrator. The interaction model relies on channel-based asynchronous
communication and choreography to coordinate distributed services.
We define a notion of strong agreement on the contract model, exhibit a
natural mapping from the contract model to the interaction model, and give
conditions to ensure that strong agreement corresponds to well-formed
choreography.Comment: In Proceedings ICE 2014, arXiv:1410.701
E.: From orchestration to choreography through Contract Automata
We study the relations between a contract automata and an interaction model. In the former model, distributed services are abstracted away as automata -oblivious of their partners -that coordinate with each other through an orchestrator. The interaction model relies on channel-based asynchronous communication and choreography to coordinate distributed services. We define a notion of strong agreement on the contract model, exhibit a natural mapping from the contract model to the interaction model, and give conditions to ensure that strong agreement corresponds to well-formed choreography
Analysis and Verification of Service Interaction Protocols - A Brief Survey
Modeling and analysis of interactions among services is a crucial issue in
Service-Oriented Computing. Composing Web services is a complicated task which
requires techniques and tools to verify that the new system will behave
correctly. In this paper, we first overview some formal models proposed in the
literature to describe services. Second, we give a brief survey of verification
techniques that can be used to analyse services and their interaction. Last, we
focus on the realizability and conformance of choreographies.Comment: In Proceedings TAV-WEB 2010, arXiv:1009.330
Orchestrated Session Compliance
We investigate the notion of orchestrated compliance for client/server
interactions in the context of session contracts. Devising the notion of
orchestrator in such a context makes it possible to have orchestrators with
unbounded buffering capabilities and at the same time to guarantee any message
from the client to be eventually delivered by the orchestrator to the server,
while preventing the server from sending messages which are kept indefinitely
inside the orchestrator. The compliance relation is shown to be decidable by
means of 1) a procedure synthesising the orchestrators, if any, making a client
compliant with a server, and 2) a procedure for deciding whether an
orchestrator behaves in a proper way as mentioned before.Comment: In Proceedings ICE 2015, arXiv:1508.0459
Research Challenges in Orchestration Synthesis
Contract automata allow to formally define the behaviour of service contracts
in terms of service offers and requests, some of which are moreover optional
and some of which are necessary. A composition of contracts is said to be in
agreement if all service requests are matched by corresponding offers. Whenever
a composition of contracts is not in agreement, it can be refined to reach an
agreement using the orchestration synthesis algorithm. This algorithm is a
variant of the synthesis algorithm used in supervisory control theory and it is
based on the fact that optional transitions are controllable, whereas necessary
transitions are at most semi-controllable and cannot always be controlled. In
fact, the resulting orchestration is such that as much of the behaviour in
agreement is maintained. In this paper, we discuss recent developments of the
orchestration synthesis algorithm for contract automata. Notably, we present a
refined notion of semi-controllability and compare it with the original notion
by means of examples. We then discuss the current limits of the orchestration
synthesis algorithm and identify a number of research challenges together with
a research roadmap.Comment: In Proceedings ICE 2023, arXiv:2308.0892
Partially distributed coordination with Reo and constraint automata
Algorithms and the Foundations of Software technolog
Automata for specifying and orchestrating service contracts
An approach to the formal description of service contracts is presented in
terms of automata. We focus on the basic property of guaranteeing that in the
multi-party composition of principals each of them gets his requests satisfied,
so that the overall composition reaches its goal. Depending on whether requests
are satisfied synchronously or asynchronously, we construct an orchestrator
that at static time either yields composed services enjoying the required
properties or detects the principals responsible for possible violations. To do
that in the asynchronous case we resort to Linear Programming techniques. We
also relate our automata with two logically based methods for specifying
contracts
On interoperability and conformance assessment in service composition
The process of composing a service from other services typically involves multiple models. These models may represent the service from distinct perspectives, e.g., to model the different roles of systems involved in the service, and at distinct abstraction levels, e.g., to model the serviceās capability, interface or the orchestration that implements the service. The consistency among these models needs to be maintained in order to guarantee the correctness of the composition process. Two types of consistency relations are distinguished: interoperability, which concerns the ability of different roles to interoperate, and conformance, which concerns the correct implementation of an abstract model by a more concrete model. This paper discusses the need for and use of techniques to assess interoperability and conformance in a service composition process. The paper shows how these consistency relations can be described and analysed using concepts from the COSMO framework. Examples are presented to illustrate how interoperability and conformance can be assessed
A conceptual architecture for semantic web services development and deployment
Several extensions of the Web Services Framework (WSF) have been proposed. The combination with Semantic Web technologies introduces a notion of semantics, which can enhance scalability through automation. Service composition to processes is an equally important issue. Ontology technology ā the core of the Semantic Web ā can be the central building block of an extension endeavour. We present a conceptual architecture for ontology-based Web service development and deployment. The development of service-based software systems within the WSF is gaining increasing importance. We show how ontologies can integrate models, languages, infrastructure, and activities within this architecture to support reuse and composition of semantic Web services
- ā¦