Results 1 - 10 of 454

Contract-directed synthesis of simple orchestrators

by Luca Padovani , 2008
"... Abstract. The availability of repositories of Web service descriptions enables interesting forms of dynamic Web service discovery, such as searching for Web services exposing a specified behavior – or contract. This calls for a formal notion of contract equivalence satisfying two contrasting goals: ..."
Abstract - Cited by 8 (4 self) - Add to MetaCart
to synthesize orchestrators out of Web services contracts. 1

Real-time Web Services Orchestration and Choreography

by Kawtar Benghazi, Manuel Noguera, Carlos Rodríguez-domínguez, Ana Belén, José Luis Garrido
"... Abstract. Real-Time issues are not usually considered when describing and composing web services. However, modern web services are usually involvedinthe software implementation oftime-constrained business processes [1]. The satisfaction of time constraints is crucial in order to ensure the validity ..."
Abstract - Add to MetaCart
consistency of the web services. In this paper, we present a formal approach for real-time service orchestration and choreography. In this regard, we use UML-RT as a visual and user-friendly notation in order to model services and their interactions, Timed CSP as an underlying formal grounding to enable

Monotonicity in Service Orchestrations ⋆

by Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar
"... Abstract. Web Service orchestrations are compositions of different Web Services to form a new service. The services called during the orchestration guarantee a given Quality of Service (QoS) to the orchestrator, usually in the form of contracts. These contracts can then be used by the orchestrator t ..."
Abstract - Cited by 7 (6 self) - Add to MetaCart
Abstract. Web Service orchestrations are compositions of different Web Services to form a new service. The services called during the orchestration guarantee a given Quality of Service (QoS) to the orchestrator, usually in the form of contracts. These contracts can then be used by the orchestrator

Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations

by Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard - IEEE Trans. on Services Computing , 2008
"... Abstract—Service level agreements (SLAs), or contracts, have an important role in Web services. These contracts define the obligations and rights between the provider of a Web service and its client, with respect to the function and the Quality of Service (QoS). For composite services like orchestra ..."
Abstract - Cited by 46 (17 self) - Add to MetaCart
orchestrations, such contracts are deduced by a process called QoS contract composition, based on contracts established between the orchestration and the called Web services. These contracts are typically stated in the form of hard guarantees (e.g., response time always less than 5 msec). Using hard bounds

Synthesis of Orchestrators from Service Choreographies

by Stephen Mcilvenna, Marlon Dumas, Moe Th, Ar Wynn
"... Interaction topologies in service-oriented systems are usually classified into two styles: choreographies and orchestrations. In a choreography, services interact in a peer-to-peer manner and no service plays a privileged role. In contrast, interactions in an orchestration occur between one particul ..."
Abstract - Cited by 3 (0 self) - Add to MetaCart
Interaction topologies in service-oriented systems are usually classified into two styles: choreographies and orchestrations. In a choreography, services interact in a peer-to-peer manner and no service plays a privileged role. In contrast, interactions in an orchestration occur between one

Secure Service Orchestration

by Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino , 2007
"... We present a framework for designing and composing services in a secure manner. Services can enforce security policies locally, and can invoke other services in a “call-by-contract” fashion. This mechanism offers a significant set of opportunities, each driving secure ways to compose services. We di ..."
Abstract - Cited by 13 (7 self) - Add to MetaCart
We present a framework for designing and composing services in a secure manner. Services can enforce security policies locally, and can invoke other services in a “call-by-contract” fashion. This mechanism offers a significant set of opportunities, each driving secure ways to compose services. We

Orchestration Services for Distributed Multimedia Synchronisation

by Andrew Campbell, Geoff Coulson, Francisco García, David Hutchison - in High Performance Networking, IV , 1992
"... Rapid developments in networking technology over the past few years have lead to the emergence of distributed applications which incorporate continuous media data types such as digital video and audio. Such applications have stringent real-time synchronisation requirements which have been documented ..."
Abstract - Cited by 5 (0 self) - Add to MetaCart
Rapid developments in networking technology over the past few years have lead to the emergence of distributed applications which incorporate continuous media data types such as digital video and audio. Such applications have stringent real-time synchronisation requirements which have been

An Orchestrated Execution Environment for Hybrid Services

by Ford Bessler, Joachim Zeiss, Rene Gabner, Julia Gross, Kapsch Carriercom - Kommunikation in Verteilten Systemen (KiVS , 2007
"... Abstract. Influenced by the success of web service technologies for the development and deployment of IT services, the telecommunications R&D community starts adapting and building similar service delivery platforms, trying to manage the hard constraints of telco domains, such as: existence of h ..."
Abstract - Cited by 2 (1 self) - Add to MetaCart
of heterogeneous protocols, extensive use of asynchronous communications and real-time delivery requirements. In this work we present a detailed analysis of an enhanced JAIN/SLEE architecture in which a workflow engine has been seamlessly integrated, being capable to orchestrate service entities from both telecom

Stable Distributed, Real-Time Scheduling Of Flexible Manufacturing / Assembly / Disassembly Systems

by J. Perkins, P. R. Kumar - IEEE Transactions on Automatic Control , 1989
"... We consider general exible manufacturing/assembly/disassembly systems with the following features: (i) there are several part types, each with given processing time requirements at a specied sequence of machines; (ii) each part-type needs to be produced at a prespecied rate; (iii) parts may incur va ..."
Abstract - Cited by 62 (11 self) - Add to MetaCart
-29-85-K0094, and in part by the Joint Services Electronics Program under Contract No. N000...

Real-Time in Multimedia: Opportunistic Scheduling or Quality of Service Contracts?

by Pierre G. Jansen, Paul Sijben - ISMM Conf. on Distributed Multimedia Systems and Applications , 1994
"... We refer to a multimedia environment, consisting of workstations and servers connected by a network dealing with video and audio streams. These streams require Real-Time (RT) handling. Fortunately the requirements are not so demanding as those in Hard Real Time (HRT) systems. Therefore resources are ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
We refer to a multimedia environment, consisting of workstations and servers connected by a network dealing with video and audio streams. These streams require Real-Time (RT) handling. Fortunately the requirements are not so demanding as those in Hard Real Time (HRT) systems. Therefore resources
Results 1 - 10 of 454