English
Related papers

Related papers: A Survey on Formal Methods for Web Service Composi…

200 papers

Service-oriented wireless sensor network(WSN) has been recently proposed as an architecture to rapidly develop applications in WSNs. In WSNs, a query task may require a set of services and may be carried out repetitively with a given…

Networking and Internet Architecture · Computer Science 2012-02-16 Xiumin Wang , Jianping Wang , Zeyu Zheng , Yinlong Xu , Mei Yang

Software design patterns present general code solutions to common software design problems. Modern software systems rely heavily on containers for running their constituent service components. Yet, despite the prevalence of ready-to-use…

Software Engineering · Computer Science 2024-05-09 Kalvin Eng , Abram Hindle , Eleni Stroulia

Web services are playing an important role in e-business and e-commerce applications. As web service applications are interoperable and can work on any platform, large scale distributed systems can be developed easily using web services.…

Information Retrieval · Computer Science 2012-06-26 Debajyoti Mukhopadhyay , Archana Chougule

The field of Web services is an important paradigm in distributed application development. Currently, many businesses are seeking to convert their applications into web services because of its ability to promote inter-operability among…

Software Engineering · Computer Science 2013-04-08 A Anji Reddy , S Sowmya Kamath

Automatic service composition in mobile and pervasive computing faces many challenges due to the complex nature of the environment. Common approaches address service composition from optimization perspectives which are not feasible in…

Software Engineering · Computer Science 2019-08-07 Oscar J. Romero

We propose a novel framework to bootstrap the reputation of on-demand service compositions. On-demand compositions are usually context-aware and have little or no direct consumer feedback. The reputation bootstrapping of single or atomic…

Artificial Intelligence · Computer Science 2021-06-01 Sajib Mistry , Athman Bouguettaya

Every Model of High-Level Computation (MHC) has an underlying composition mechanism for combining simple computing devices into more complex ones. Composition can be done by (explicitly or implicitly) defining control flow, data flow or any…

Logic in Computer Science · Computer Science 2026-05-22 Damian Arellanes

In the context of security protocol parallel composition, where messages belonging to different protocols can intersect each other, we introduce a new paradigm: term-based composition (i.e. the composition of message components also known…

Cryptography and Security · Computer Science 2016-11-18 Bela Genge , Piroska Haller , Ovidiu Ratoi , Iosif Ignat

Rewriting logic is naturally concurrent: several subterms of the state term can be rewritten simultaneously. But state terms are global, which makes compositionality difficult to achieve. Compositionality here means being able to decompose…

Logic in Computer Science · Computer Science 2020-01-31 Óscar Martín , Alberto Verdejo , Narciso Martí-Oliet

The aim of this review paper is to bring into light a potential area i.e., web services supply chains for research by analyzing the existing state of art in this. It is observed from the review process that there seems to be much less work…

Systems and Control · Computer Science 2012-04-06 V. Krithika , Dr. Arshinder Kaur , Dr. K. Chandra Sekaran

Automatic service composition in mobile and pervasive computing faces many challenges due to the complex and highly dynamic nature of the environment. Common approaches consider service composition as a decision problem whose solution is…

Software Engineering · Computer Science 2019-08-07 Oscar J. Romero

We propose a set of compositional design patterns to describe a large variety of systems that combine statistical techniques from machine learning with symbolic techniques from knowledge representation. As in other areas of computer science…

Artificial Intelligence · Computer Science 2019-05-30 Frank van Harmelen , Annette ten Teije

With the explosive growth of the number of services published over the Internet, it is difficult to select satisfactory web services among the candidate web services which provide similar functionalities. Quality of Service (QoS) is…

Software Engineering · Computer Science 2012-04-09 Molood Makhlughian , Seyyed Mohsen Hashemi , Yousef Rastegari , Emad Pejman

Web services allow communication between heterogeneous systems in a distributed environment. Their enormous success and their increased use led to the fact that thousands of Web services are present on the Internet. This significant number…

Artificial Intelligence · Computer Science 2015-01-27 T. Rachad , J. Boutahar , S. El ghazi

The number of web services increased vastly in the last years. Various providers offer web services with the same functionality, so for web service consumers it is getting more complicated to select the web service, which best fits their…

Software Engineering · Computer Science 2009-06-23 Dessislava Petrova-Antonova , Sylvia Ilieva

With the spread of services related to cloud environment, it is tiresome and time consuming for users to look for the appropriate service that meet with their needs. Therefore, finding a valid and reliable service is essential. However, in…

Software Engineering · Computer Science 2015-01-08 Nouha Khédiri , Montaceur Zaghdoud

Swarm protocols are a recently introduced formalism for specifying, implementing, and verifying peer-to-peer systems called swarms. A swarm consists of distributed agents called machines that communicate by asynchronous event propagation.…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-04-20 Florian Furbach , Lucas Clorius , Roland Kuhn , Hernán Melgratti , Alceste Scalas , Emilio Tuosto

In this paper we present a hybrid approach for automatic composition of Web services that generates semantic input-output based compositions with optimal end-to-end QoS, minimizing the number of services of the resulting composition. The…

Artificial Intelligence · Computer Science 2015-09-22 Pablo Rodriguez-Mier , Manuel Mucientes , Manuel Lama

With the advent of newly introduced programming models like Feature-Oriented Programming (FOP), we feel that it will be more flexible to include the new service invocation function into the service providing server as a Feature Module for…

Software Engineering · Computer Science 2012-08-21 Vishnuvardhan Mannava , T. Ramesh

This paper proposes a novel framework for representing community know-how on the Semantic Web. Procedural knowledge generated by web communities typically takes the form of natural language instructions or videos and is largely…

Artificial Intelligence · Computer Science 2014-11-03 Paolo Pareti , Ewan Klein , Adam Barker
‹ Prev 1 3 4 5 6 7 10 Next ›