English
Related papers

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

200 papers

The development of pervasive computing has put the light on a challenging problem: how to dynamically compose services in heterogeneous and highly changing environments? We propose a survey that defines the service composition as a sequence…

Software Engineering · Computer Science 2009-09-14 Noha Ibrahim , Frederic Le Mouel

Within the service-oriented computing domain, Web service composition is an effective realization to satisfy the rapidly changing requirements of business. Therefore, the research into Web service composition has unfolded broadly. Since…

Software Engineering · Computer Science 2013-02-12 Zheng Li , Liam O'Brien , Jacky Keung , Xiwei Xu

The growing proliferation of distributed information systems, allows organizations to offer their business processes to a worldwide audience through Web services. Semantic Web services have emerged as a means to achieve the vision of…

Software Engineering · Computer Science 2012-10-12 Keyvan Mohebbi , Suhaimi Ibrahim , Norbik Bashah Idris

Web service compositions are gaining attention to develop complex web systems by combination of existing services. Thus, there are many works that leverage the advantages of this approach. However, there are only few works that use web…

Software Engineering · Computer Science 2016-08-14 Jose Antonio Mateo , Valentın Valero , Gregorio Dıaz

The tasks of semantic web service (discovery, selection, composition, and execution) are supposed to enable seamless interoperation between systems, whereby human intervention is kept at a minimum. In the field of Web service description…

Artificial Intelligence · Computer Science 2013-10-29 Thabet Slimani

Semantic Web technologies offer the prospect of significantly reducing the amount of effort required to integrate existing enterprise functionality in support of new composite processes; whether within a given organization or across…

Software Engineering · Computer Science 2020-06-04 Jinghai Rao , Dimitar Dimitrov , Paul Hofmann , Norman Sadeh

Service composition has become commonplace nowadays, in large part due to the increased complexity of software and supporting networks. Composition can be of many types, for instance sequential, prioritising, non-deterministic. However, a…

Logic in Computer Science · Computer Science 2016-06-08 Mats Neovius , Luigia Petre , Kaisa Sere

In this paper we present a theoretical analysis of graph-based service composition in terms of its dependency with service discovery. Driven by this analysis we define a composition framework by means of integration with fine-grained I/O…

Artificial Intelligence · Computer Science 2015-02-11 Pablo Rodriguez-Mier , Carlos Pedrinaci , Manuel Lama , Manuel Mucientes

In order to deal efficiently with the exponential growth of the Web services landscape in composition life cycle activities, it is necessary to have a clear view of its main features. As for many situations where there is a lot of…

Software Engineering · Computer Science 2013-05-03 Chantal Cherifi , Jean-François Santucci

As increasingly more software services have been published onto the Internet, it remains a significant challenge to recommend suitable services to facilitate scientific workflow composition. This paper proposes a novel NLP-inspired approach…

Software Engineering · Computer Science 2022-05-25 Xihao Xie , Jia Zhang , Rahul Ramachandran , Tsengdar J. Lee , Seungwon Lee

We present a rigorous framework for the composition of Web Services within a higher order logic theorem prover. Our approach is based on the proofs-as-processes paradigm that enables inference rules of Classical Linear Logic (CLL) to be…

Logic in Computer Science · Computer Science 2011-08-12 Petros Papapanagiotou , Jacques D. Fleuriot

Increasingly, more software services have been published onto the Internet, making it a big challenge to recommend services in the process of a scientific workflow composition. In this paper, a novel context-aware approach is proposed to…

Software Engineering · Computer Science 2024-04-02 Xihao Xie , Jia Zhang , Rahul Ramachandran , Tsengdar J. Lee , Seungwon Lee

Service composition is an aggregate of services often leveraged to automate the enterprise business processes. While Service Oriented Architecture (SOA) has been a forefront of service composition, services can be realized as efficient…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-01-12 Pradeeban Kathiravelu , Tihana Galinac Grbac , Luís Veiga

Automatic Service Composition is a research direction aimed at facilitating the usage of atomic web services. Particularly, the goal is to build workflows of services that solve specific queries, which cannot be resolved by any single…

Software Engineering · Computer Science 2020-05-12 Paul Diac , Liana Ţucăr , Andrei Netedu

Web services are basic functions of a software system to support the concept of service-oriented architecture. They are often composed together to provide added values, known as web service composition. Researchers often employ Evolutionary…

Artificial Intelligence · Computer Science 2019-02-19 Chen Wang , Hui Ma , Gang Chen , Sven Hartmann

Modern enterprise computing systems integrate numerous subsystems to resolve a common task by yielding emergent behavior. A widespread approach is using services implemented with Web technologies like REST or OpenAPI, which offer an…

Software Engineering · Computer Science 2025-07-29 Robin D. Pesl

A web service is modeled here as a finite state machine. A composition problem for web services is to decide if a given web service can be constructed from a given set of web services; where the construction is understood as a simulation of…

Logic in Computer Science · Computer Science 2015-07-01 Anca Muscholl , Igor Walukiewicz

In the paper, combinatorial synthesis of structure for applied Web-based systems is described. The problem is considered as a combination of selected design alternatives for system parts/components into a resultant composite decision (i.e.,…

Software Engineering · Computer Science 2011-09-05 Mark Sh. Levin

Service-oriented computing has emerged as the new area to address software as a service. This paper proposes a model for component based development for service-oriented systems and have created best practice guidelines on software…

Software Engineering · Computer Science 2016-09-08 Muthu Ramachandran , T. R. Gopalakrsihnan Nair , R. Selvarani

Web services are widely used in many areas via callable APIs, however, data are not always available in this way. We always need to get some data from web pages whose structure is not in order. Many developers use web data extraction…

Databases · Computer Science 2019-10-18 Naibo Wang , Zhiling Luo , Xiya Lyu , Zitong Yang , Jianwei Yin