English
Related papers

Related papers: A Rewriting Logic Approach for Automatic Compositi…

200 papers

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

The use of web services has dominated software industry. Existing technologies of web services are extended to give value added customized services to customers through composition. Automated web service composition is a very challenging…

Other Computer Science · Computer Science 2010-03-09 Farhan Hassan Khan , Saba Bashir , M. Younus Javed , Aihab Khan , Malik Sikandar Hayat Khiyal

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

Rewriting logic is both a flexible semantic framework within which widely different concurrent systems can be naturally specified and a logical framework in which widely different logics can be specified. Maude programs are exactly rewrite…

Logic in Computer Science · Computer Science 2019-10-21 Francisco Durán , Steven Eker , Santiago Escobar , Narciso Martí-Oliet , José Meseguer , Rubén Rubio , Carolyn Talcott

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

Automated service composition as the process of creating new software in an automated fashion has been studied in many different ways over the last decade. However, the impact of automated service composition has been rather small as its…

Software Engineering · Computer Science 2018-09-05 Felix Mohr , Marcel Wever , Eyke Hüllermeier

Efficient service composition in real time while providing necessary Quality of Service (QoS) guarantees has been a challenging research problem with ever growing complexity. Several heuristic based approaches with diverse proposals for…

Software Engineering · Computer Science 2018-06-29 Soumi Chattopadhyay , Ansuman Banerjee

The number of publicly available Web services (WS) is continuously growing, and in parallel, we are witnessing a rapid development in semantic-related web technologies. The intersection of the semantic web and WS allows the development of…

Social and Information Networks · Computer Science 2015-02-04 Chantal Cherifi , Vincent Labatut , Jean-François Santucci

Despite numerous efforts by various developers, web service composition is still a difficult problem to tackle. Lot of progressive research has been made on the development of suitable standards. These researches help to alleviate and…

Software Engineering · Computer Science 2012-10-04 Bacem Wali , Bernard Gibaud

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

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

Web Service Composition creates new composite Web Services from the collection of existing ones to be composed further and embodies the added values and potential usages of Web Services. Web Service Composition includes two aspects: Web…

Software Engineering · Computer Science 2013-12-04 Yong Wang

The analysis of cyber-physical systems (CPS) is challenging due to the large state space and the continuous changes occurring in their constituent parts. Design practices favor modularity to help reducing this complexity. In a previous…

Logic in Computer Science · Computer Science 2022-08-03 Benjamin Lion , Farhad Arbab , Carolyn Talcott

A Web Service Management System (WSMS) can be well-thought-out as a consistent and a secure way of managing the web services. Web Service has become a quintessential part of the web world, managing and sharing the resources of the business…

Databases · Computer Science 2012-07-30 Debajyoti Mukhopadhyay , Dhaval Chandarana , Rutvi Dave , Sharyu Page , Shikha Gupta

The semantic information regulates the expressiveness of a web service. State-of-the-art approaches in web services research have used the semantics of a web service for different purposes, mainly for service discovery, composition,…

Artificial Intelligence · Computer Science 2019-03-21 Soumi Chattopadhyay , Ansuman Banerjee

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

Current approaches for service composition (assemblies of atomic services) require developers to use: (a) domain-specific semantics to formalize services that restrict the vocabulary for their descriptions, and (b) translation mechanisms…

Software Engineering · Computer Science 2019-08-07 Oscar J. Romero , Ankit Dangi , Sushma A. Akoju

Composing Web services is a convenient means of dealing with complex requests. However, the number of Web services on the Internet is increasing. This explains the growing interest in composing Web services automatically. Nevertheless, the…

Networking and Internet Architecture · Computer Science 2010-04-20 Fatima-Zahra Belouadha , Hajar Omrana , Ounsa Roudies

In this work we propose a new approach for semantic web matching to improve the performance of Web Service replacement. Because in automatic systems we should ensure the self-healing, self-configuration, self-optimization and…

Information Retrieval · Computer Science 2021-07-14 Kamran Zamanifar , Golsa Heidari , Naser Nematbakhsh , Farhad Mardookhi

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