Results 1 - 10 of 355

Service-oriented computing

by Michael P. Papazoglou, Paolo Traverso, Schahram Dustdar, Frank Leymann - Communications of the ACM , 2003
"... Service-Oriented Computing (SOC) is a new computing paradigm that utilizes services as the basic constructs to support the development of rapid, low-cost and easy composition of distributed applications even in heterogeneous environments. The visionary promise of Service-Oriented Computing is a worl ..."
Abstract - Cited by 306 (10 self) - Add to MetaCart
Service-Oriented Computing (SOC) is a new computing paradigm that utilizes services as the basic constructs to support the development of rapid, low-cost and easy composition of distributed applications even in heterogeneous environments. The visionary promise of Service-Oriented Computing is a

Automatic Composition of e-Services that Export their Behavior

by Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella - IN 1ST INTL. CONFERENCE ON SERVICE ORIENTED COMPUTING , 2003
"... 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 possible executions (execution trees). Then we specialize the framework to the case in which such exported behavior (i. ..."
Abstract - Cited by 180 (22 self) - Add to MetaCart
of our knowledge, our work is the first attempt to provide an algorithm for the automatic synthesis of e-Service composition, that is both proved to be correct, and has an associated computational complexity characterization.

HTN Planning for Web Service Composition Using SHOP2

by Evren Sirin, Bijan Parsia, Dan Wu, James Hendler, Dana Nau , 2004
"... Automated composition of Web Services can be achieved by using AI planning techniques. Hierarchical Task Network (HTN) planning is especially well-suited for this task. In this paper, we describe how HTN planning system SHOP2 can be used with OWL-S Web Service descriptions. We provide a sound and co ..."
Abstract - Cited by 191 (3 self) - Add to MetaCart
Automated composition of Web Services can be achieved by using AI planning techniques. Hierarchical Task Network (HTN) planning is especially well-suited for this task. In this paper, we describe how HTN planning system SHOP2 can be used with OWL-S Web Service descriptions. We provide a sound

Constraint Driven Web Service Composition in METEOR-S

by Rohit Aggarwal, Kunal Verma, John Miller, William Milnor - Proceedings of the 2004 IEEE International Conference on Services Computing (SCC 2004 , 2004
"... Creating Web processes using Web service technology gives us the opportunity for selecting new services which best suit our need at the moment. Doing this automatically would require us to quantify our criteria for selection. In addition, there are challenging issues of correctness and optimality. W ..."
Abstract - Cited by 113 (10 self) - Add to MetaCart
Creating Web processes using Web service technology gives us the opportunity for selecting new services which best suit our need at the moment. Doing this automatically would require us to quantify our criteria for selection. In addition, there are challenging issues of correctness and optimality

SERVICE-ORIENTED COMPUTING: A Research Roadmap

by Michael P. Papazoglou, Paolo Traverso, Schahram Dustdar, Frank Leymann , 2008
"... Service-Oriented Computing (SOC) is a new computing paradigm that utilizes services as the basic constructs to support the development of rapid, low-cost and easy composition of distributed applications even in heterogeneous environments. The promise of Service-Oriented Computing is a world of coope ..."
Abstract - Cited by 137 (9 self) - Add to MetaCart
Service-Oriented Computing (SOC) is a new computing paradigm that utilizes services as the basic constructs to support the development of rapid, low-cost and easy composition of distributed applications even in heterogeneous environments. The promise of Service-Oriented Computing is a world

Automated synthesis of composite services with correctness guarantee

by Ting Deng, See Profile, Ting Deng, Jinpeng Huai, Xianxian Li, Zongxia Du, Huipeng Guo - In Proc. of the 18th Int. Conf. on World Wide Web , 2009
"... Automated synthesis of composite services with correctness guarantee. ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
Automated synthesis of composite services with correctness guarantee.

Abstract VERIFYING CORRECTNESS OF WEB SERVICE COMPOSITION

by unknown authors
"... We evaluate current efforts for Web service orchestration and composition. Most approaches reduce composition to programming the flow of partner services, according to the specified goal. We show an alternative approach to Web service composition, where partners are modeled as state machines and com ..."
Abstract - Add to MetaCart
We evaluate current efforts for Web service orchestration and composition. Most approaches reduce composition to programming the flow of partner services, according to the specified goal. We show an alternative approach to Web service composition, where partners are modeled as state machines

Verifying correctness of Web services choreography

by Melliti Tarek
"... This paper is about Web services used in distributed, inter-organizational business cooperation (choreography). In this application scenario, we have a multipart functional convention between all the involved Web services (called partners) in order to reach the purpose of the choreography. In such a ..."
Abstract - Cited by 6 (0 self) - Add to MetaCart
This paper is about Web services used in distributed, inter-organizational business cooperation (choreography). In this application scenario, we have a multipart functional convention between all the involved Web services (called partners) in order to reach the purpose of the choreography

Contract-based Web Service Composition Framework with Correctness Guarantees

by Nikola Milanovic - In Proceedings of the 2nd International Service Availability Forum (ISAS , 2005
"... Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model based on two isomorphic machines (formal notation). Composition operators (patterns) are used to perform composition which i ..."
Abstract - Cited by 5 (3 self) - Add to MetaCart
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model based on two isomorphic machines (formal notation). Composition operators (patterns) are used to perform composition which

Automatic Composition of e-Services

by Daniela Berardi , Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella , 2003
"... 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 possible executions (execution trees). Then we specialize the framework to the case in which such exported behavior (i ..."
Abstract - Cited by 4 (2 self) - Add to MetaCart
exists. To the best of our knowledge, our work is the first attempt to provide an algorithm for the automatic synthesis of e-Service composition, that is both proved to be correct, and has an associated computational complexity characterization.
Results 1 - 10 of 355