Current solutions for web service composition

N Milanovic, M Malek - IEEE Internet Computing, 2004 - ieeexplore.ieee.org
Web service composition lets developers create applications on top of service-oriented
computing's native description, discovery, and communication capabilities. Such …

Automatic Composition of E-services That Export Their Behavior

D Berardi, D Calvanese, G De Giacomo… - … Computing-ICSOC 2003 …, 2003 - Springer
The main focus of this paper is on automatic e-Service composition. We start by developing
a framework in which the exported behavior of an e-Service is described in terms of its …

Automatic service composition based on behavioral descriptions

D Berardi, D Calvanese, G De Giacomo… - International Journal …, 2005 - World Scientific
This paper addresses the issue of automatic service composition. We first develop a
framework in which the exported behavior of a service is described in terms of a so-called …

基于Web Services 的服务合成技术研究综述

饶元, 冯博琴, 李尊朝 - 系统工程与电子技术, 2005 - cqvip.com
从分布式发展的角度分析了基于Web 服务的新一代分布式计算范式特征以及生命周期模型,
指出了Web 服务合成的概念, 特点和目标. 对服务合成的方式与分类以及Web …

Service composition issues in pervasive computing

J Bronsted, KM Hansen… - IEEE Pervasive …, 2009 - ieeexplore.ieee.org
Combining existing services to create new pervasive computing services involves special
design considerations, including context awareness, contingency management, device …

[图书][B] Deadlock resolution in computer-integrated systems

MC Zhou, MP Fanti - 2004 - books.google.com
Complex computer-integrated systems offer enormous benefits across a wide array of
applications, including automated production, transportation, concurrent software, and …

Coordinated forward error recovery for composite web services

V Issarny, F Tartanoglu… - … on Reliable Distributed …, 2003 - ieeexplore.ieee.org
This paper proposes a solution based on forward error recovery, oriented towards providing
dependability of composite Web services. While exploiting their possible support for fault …

Eager normal form bisimulation

S Lassen - 20th Annual IEEE Symposium on Logic in Computer …, 2005 - ieeexplore.ieee.org
This paper describes two new bisimulation equivalences for the pure untyped call-by-
value/spl lambda/-calculus, called enf bisimilarity and enf bisimilarity up to/spl eta/. They are …

Dependability in the Web services architecture

F Tartanoglu, V Issarny, A Romanovsky… - Architecting dependable …, 2003 - Springer
The Web services architecture is expected to play a prominent role in developing next
generation distributed systems. This chapter discusses how to build dependable systems …

A framework for business rule driven service composition

B Orriëns, J Yang, MP Papazoglou - … September 7-8, 2003. Proceedings 4, 2003 - Springer
One of the assumptions all the standards for web service composition (eg BPEL) make is
that the business process is pre-defined. Obviously this assumption does not hold if …