Filters








34,167 Hits in 7.0 sec

Composition of Web Services: From Qualitative to Quantitative Timed Properties [chapter]

Nawal Guermouche, Claude Godart
2013 Web Services Foundations  
Apart from these qualitative properties, quantitative properties such as time related features are a crucial setting to consider.  ...  In this chapter, we present a formal composition and verification approach which considers quantitative timed properties assigned to qualitative properties.  ...  In this chapter, we focus on the Web service composition synthesis problem where we consider qualitative properties associated with quantitative properties.  ... 
doi:10.1007/978-1-4614-7518-7_16 fatcat:or62i4qnure4zlhbsikw3bkeeu

Web Services Analysis: Making Use of Web Service Composition and Annotation [chapter]

Peep Küngas, Mihhail Matskin
2006 Lecture Notes in Computer Science  
While automated annotation allows to extract Web service semantics from existing WSDL documents, automated composition uses this semantics for integrating applications.  ...  At the same time, progress in automated composition has resulted in several methods for automating Web services orchestration.  ...  The authors would additionally like to thank X-Road project members for their support during the case study and anonymous referees for their comments.  ... 
doi:10.1007/11836025_48 fatcat:wazvkr3yabeyfov63ibobasviq

Reputation-Based Composition of Social Web Services

Alessandro Celestini, Gianpiero Costantino, Rocco De Nicola, Zakaria Maamar, Fabio Martinelli, Marinella Petrocchi, Francesco Tiezzi
2014 2014 IEEE 28th International Conference on Advanced Information Networking and Applications  
of service of the compositions, with respect to randomly selecting SWSs.  ...  Social Web Services (SWSs) constitute a novel paradigm of serviceoriented computing, where Web services, just like humans, sign up in social networks that guarantee, e.g., better service discovery for  ...  In general, two main kinds of analysis can be performed over systems, quantitative or qualitative. In qualitative analysis it is verified whether a certain event will occur.  ... 
doi:10.1109/aina.2014.90 dblp:conf/aina/CelestiniCNMMPT14 fatcat:eb5gmu5pmjce5e2ucukk62mynm

Model Aware Execution of Composite Web Services

Karolina Zurowska, Ralph Deters
2009 2009 IEEE International Conference on Services Computing  
A very interesting aspect of WSs is their composeability. WSs can be easily aggregated into complex workflows, called Composite Web Services (CWSs).  ...  These compositions of services enable further reuse and in this way new, even more complex, systems are built.  ...  of Composite Web Services (CWSs).  ... 
doi:10.1109/scc.2009.63 dblp:conf/IEEEscc/ZurowskaD09 fatcat:z55tp2d2vncfbhom3s7sfewphe

Humans, semantic services and similarity: A user study of semantic Web services matching and composition

Eran Toch, Iris Reinhartz-Berger, Dov Dori
2011 Journal of Web Semantics  
In this study we have experimented with 127 users to define and evaluate a model for service similarity in the context of semantic Web services.  ...  Inferring similarity between Web services is a fundamental construct for service matching and composition.  ...  Acknowledgments The authors gratefully acknowledge the contribution of the Israel Ministry of Science for the Eshkol grant.  ... 
doi:10.1016/j.websem.2010.10.002 fatcat:otx3soa6vjevpot2vrgyo7hiwe

Automatic Composition of Heterogeneous Models Based on Semantic Web Services

Hui Huang, Ligang He, Xueguang Chen, Minghui Yu, Zhiwu Wang
2013 International journal of parallel programming  
This paper aims to address the problem of heterogeneous model composition by employing the techniques based on semantic web services and artificial intelligence planning.  ...  Those methods are inadequate for the heterogeneous models, since a heterogeneous model may have different types of input and output data that are represented in either qualitative or quantitative manner  ...  Section 3 proposes the representation of qualitative and quantitative models, respectively. Section 4 presents the composition of model services.  ... 
doi:10.1007/s10766-013-0279-0 fatcat:75pyhppefrbq7pkx47fjagr23a

Simulation, verification and automated composition of web services

Srini Narayanan, Sheila A. McIlraith
2002 Proceedings of the eleventh international conference on World Wide Web - WWW '02  
Our objective is to enable markup and automated reasoning technology to describe, simulate, compose, test, and verify compositions of Web services.  ...  We also provide an analysis of the complexity of these tasks under different restrictions to the DAML-S composite services we can describe.  ...  ACKNOWLEDGEMENTS We would like to acknowledge our colleagues in the DAML Services Coalition for development of the DAML-S ontology.  ... 
doi:10.1145/511446.511457 dblp:conf/www/NarayananM02 fatcat:lzakv4xkj5br3fgk446fypx2nq

Simulation, verification and automated composition of web services

Srini Narayanan, Sheila A. McIlraith
2002 Proceedings of the eleventh international conference on World Wide Web - WWW '02  
Our objective is to enable markup and automated reasoning technology to describe, simulate, compose, test, and verify compositions of Web services.  ...  We also provide an analysis of the complexity of these tasks under different restrictions to the DAML-S composite services we can describe.  ...  ACKNOWLEDGEMENTS We would like to acknowledge our colleagues in the DAML Services Coalition for development of the DAML-S ontology.  ... 
doi:10.1145/511455.511457 fatcat:34ut2ixd7red3gh3l67b7bkytq

A service creation environment based on end to end composition of Web services

Vikas Agarwal, Koustuv Dasgupta, Neeran Karnik, Arun Kumar, Ashish Kundu, Sumit Mittal, Biplav Srivastava
2005 Proceedings of the 14th international conference on World Wide Web - WWW '05  
A web services composition tool can help automate the process, from creating business process functionality, to developing executable workflows, to deploying them on an execution environment.  ...  We present the first integrated work in composing web services end to end from specification to deployment by synergistically combining the strengths of the above approaches.  ...  Logical composition of web services can be cast as a planning problem by using the description of web services as actions, and forming initial and goal states from the specification of the service to be  ... 
doi:10.1145/1060745.1060768 dblp:conf/www/AgarwalDKKKMS05 fatcat:xrjrddwmi5hqdhcrdwciy6mcda

A Survey of Automated Web Service Composition Methods [chapter]

Jinghai Rao, Xiaomeng Su
2005 Lecture Notes in Computer Science  
This paper gives an overview of recent research efforts of automatic Web service composition both from the workflow and AI planning research community.  ...  In today's Web, Web services are created and updated on the fly. It's already beyond the human ability to analysis them and generate the composition plan manually.  ...  Linear Logic, as a resource conscious logic, enables people to define attributes of Web services formally (including qualitative and quantitative values of non-functional attributes).  ... 
doi:10.1007/978-3-540-30581-1_5 fatcat:oxj7vrdcinckrlqgqw7chb6ime

Automata-Based Verification of Security Requirements of Composite Web Services

Hongyu Sun, Samik Basu, Vasant Honavar, Robyn Lutz
2010 2010 IEEE 21st International Symposium on Software Reliability Engineering  
With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for effective approaches to  ...  We also show how the approach can be used to verify whether a composite service satisfies any desired set of NFRs that can be expressed in the form of hard constraints of a quantitative nature.  ...  ACKNOWLEDGMENT This research is supported by NSF grants 0541163, 0702758 and 0916275, the latter with funds from the American Recovery and Reinvestment Act of 2009.  ... 
doi:10.1109/issre.2010.20 dblp:conf/issre/SunBHL10 fatcat:ognsoinkife4tauzdtxt2houq4

Composition of Semantic Web services using Linear Logic theorem proving

Jinghai Rao, Peep Küngas, Mihhail Matskin
2006 Information Systems  
We use a process calculus to present the process model of the composite service formally. The process calculus is attached to the LL inference rules in the style of type theory.  ...  This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving.  ...  Qualitative Constraints are qualitative attributes which specify requirements to execution of a Web service. For example, some services may response only to some authorized calls.  ... 
doi:10.1016/j.is.2005.02.005 fatcat:667jej7ykjgrjdqgmzyef5svw4

Efficient QoS management for QoS-aware web service composition

Shangguang Wang, Xilu Zhu, Fangchun Yang
2014 International Journal of Web and Grid Services  
Besides, by querying the managed QoS, we propose a QoS-aware web service composition via a particle swarm optimisation algorithm to perform fast web service composition.  ...  In the approach, we classify web services according to theirs similarity and then design a QoS tree to manage the QoS the classified web services.  ...  Different from the qualitative description which often uses OWL-S, the quantitative description's advantage is institutive, and the cost of storage is relatively small.  ... 
doi:10.1504/ijwgs.2014.058763 fatcat:brb7ex3dureurms7esoyp6j7hq

Web Service Discovery and Composition for Virtual Enterprises

Jürgen Dorn, Peter Hrastnik, Albert Rainer
2007 International Journal of Web Services Research  
The composition of processes from Web services is implemented with methods from AI-planning.  ...  A business process may be composed from a set of Web services, deployed itself as Web service and executed in the framework.  ...  The authors would like to thank also the organizers of the Web service contests M.B. Blake, W.K. Cheung, K.C. Tsui, and A. Wombacher for providing services and problem instances as input data.  ... 
doi:10.4018/jwsr.2007010102 fatcat:bawc4q3bhbfujjxdqat3lbid4m

Issues about the Adoption of Formal Methods for Dependable Composition of Web Services [article]

Manuel Mazzara, Michele Ciavotta
2013 arXiv   pre-print
The aim of this work is to individuate the proper questions on the adoption of formal methods for dependable composition of Web Services, not necessarily to find the optimal answers.  ...  Web Services provide interoperable mechanisms for describing, locating and invoking services over the Internet; composition further enables to build complex services out of simpler ones for complex B2B  ...  For some of the ideas discussed here we have also to thank Cosimo Laneve, and Gianluigi Zavattaro among the others.  ... 
arXiv:1311.2535v1 fatcat:yko65m62nzgjdehpbqperntkxe
« Previous Showing results 1 — 15 out of 34,167 results