A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
Filters
Toward the Composition of Semantic Web Services
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. ...
Linear logic(LL)[2], as a resource conscious logic, enables us to define the attributes of web services formally (in particular, qualitative and quantitative value of non-functional attributes). ...
It argues that Linear Logic, combined with semantic reasoning for relaxation of service matching (choosing), offers a potentially more efficient and flexible approach to the successful composition of web ...
doi:10.1007/978-3-540-24680-0_122
fatcat:insnj5q76rdl3edvdoatasluna
Survey and Analysis of Web Service Composition Strategies: A State of Art Performance Study
2016
Indian Journal of Science and Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Background/Objectives: To analyze the functions and merits of web service composition and provide services to many number of users at a time. ...
Applications/Improvements: When solving the web service composition problem, composing a sequence of web services is converted into finding a chain of actions. ...
Web services are of two classes namely REST-complaint web services and Arbitrary web services. REST-complaint web services focuses on the stateless operations. ...
doi:10.17485/ijst/2016/v9i11/89265
fatcat:tmrsyk7epraeffkhrzrfdtsw2u
Verifiable and Resource-Aware Component Model for IoT Devices
2017
Proceedings of the 9th International Conference on Management of Digital EcoSystems - MEDES '17
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In this paper, we introduce a smart object component-based model to build complex smart objects by composition mechanisms in a similar way to Web service compositions. ...
Moreover, we propose a formal specification based on the intuitive multiplicative segment of intuitionistic linear logic not only to express consumable resources but also to automate composition from logical ...
Zhao used intuitionistic linear logic in the more restrictive context of RESTful web service composition [18, 19] , and other contributions related to linear-logic based web-service composition were proposed ...
doi:10.1145/3167020.3167056
dblp:conf/medes/GatouillatB17
fatcat:ztql3esus5hqbcpuyfns6sfkia
Logic-based Web services composition: from service description to process model
2004
Proceedings. IEEE International Conference on Web Services, 2004.
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. ...
We use a process calculus to present the composite service formally. The process calculus is attached to the LL inference rules in the style of type theory. ...
The authors also would like to thank anonymous reviewers for their constructive comments" ...
doi:10.1109/icws.2004.1314769
dblp:conf/icws/RaoKM04
fatcat:m7pqickywfdcxophmlhqhunb3m
Web Service Composition Processes: A Comparative Study
2016
International Journal on Web Service Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The composition process includes, in general, the searching for existing services in a specific domain, and selecting the appropriate service, then coordinating composition flow and invoking services. ...
Over the past years, the problem of web service composition has been studied intensively by researchers. ...
ACKNOWLEDGMENTS This research has been supported by the Computer Science Dept. of the College of Computer and Information Sciences at King Saud University. ...
doi:10.5121/ijwsc.2016.7101
fatcat:iliffsg2czfrrefbk3k2bm3gzi
WSMO-Lite and hRESTS: Lightweight semantic annotations for Web services and RESTful APIs
2015
Journal of Web Semantics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
To demonstrate the feasibility and versatility of this approach, the article presents common algorithms for Web service discovery and composition adapted to WSMO-Lite. ...
Building on SAWSDL, this article presents WSMO-Lite, a lightweight ontology of Web service semantics that distinguishes four semantic aspects of services: function, behavior, information model, and nonfunctional ...
Karthik Gomadam of the Kno.e.sis Center for his contributions to the microformat hRESTS; James Scicluna of STI Innsbruck for his help in adapting their Web service composition and ranking approaches to ...
doi:10.1016/j.websem.2014.11.006
fatcat:shyzhkzdcreqtp3xncef77bcbe
WSMO-Lite and HRESTS: Lightweight Semantic Annotations for Web Services and Restful APIs
2015
Social Science Research Network
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
To demonstrate the feasibility and versatility of this approach, the article presents common algorithms for Web service discovery and composition adapted to WSMO-Lite. ...
Building on SAWSDL, this article presents WSMO-Lite, a lightweight ontology of Web service semantics that distinguishes four semantic aspects of services: function, behavior, information model, and nonfunctional ...
Karthik Gomadam of the Kno.e.sis Center for his contributions to the microformat hRESTS; James Scicluna of STI Innsbruck for his help in adapting their Web service composition and ranking approaches to ...
doi:10.2139/ssrn.3199180
fatcat:ncvjrypaavh33encjmqbblxtem
Querying and Splitting Techniques for SBA: A Model Checking Based Approach
[chapter]
2011
Studies in Computational Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
[16] propose a model for the analysis of a BPEL composition of web services. Composition of web services is seen as a pattern of conversations between a set of peers. ...
One major advantage of the fragmentation of the compositions of web services is that it allows a grouping according to the feature on a web service composition. ...
doi:10.1007/978-3-642-22732-5_10
fatcat:ww6xcqca2nehlkrxw64vcxxjbm
Model-Driven Development Patterns for Mobile Services in Cloud of Things
2018
IEEE Transactions on Cloud Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
However, traditional servic e composition or mashup are somewhat unavailable due to complex relations and heterogeneous deployed environments. ...
Firstly, a meta-model covering both multi-view business elements and service components are provided for models transformation. ...
And our approach provide a RESTful API and related data source so as to provide an easy access manner for web-based applications. ...
doi:10.1109/tcc.2016.2526007
fatcat:ynbla76ulra6dddolubipvfhda
Using Colored Petri Nets for Verifying RESTful Service Composition
[chapter]
2017
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
In this paper, we present a formal approach based on Colored Petri Nets (CPNs) to verify RESTful service composition. ...
Building RESTful service composition has received much interest to satisfy complex user requirements. However, verifying the correctness of a composition remains a tedious task. ...
The authors acknowledge that the development work is carried out in a complementary manner with SIBEX: a French project funded by the Energy Transition Institute INEF 4. ...
doi:10.1007/978-3-319-69462-7_32
fatcat:qc6ekpvh6fgktkce4zwknc4gbu
Web Service Composition
2015
ACM Computing Surveys
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This framework is necessary to enable effective exploration, understanding, assessing, comparing, and selecting service composition models, languages, techniques, platforms, and tools. ...
A consolidated analysis framework that advances the fundamental understanding of Web service composition building blocks in terms of concepts, models, languages, productivity support techniques, and tools ...
The first approaches reduced the problem to Proportional Dynamic Logic (PDL) [Berardi et al. 2005 ], more recent approaches applied Linear Time Logic (LTL) [Piterman et al. 2006 ] and simulation [Berardi ...
doi:10.1145/2831270
fatcat:7guhotzxiffnxnygbwdufogr4q
Trends of Web Service Composition
2019
International Journal of Advanced Trends in Computer Science and Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Web service composition is about maximizing the benefits of different Web services by composing a certain number of Web services to deliver a fully end-to-end service. ...
The bottom-up composition is often called Web service mining. Web service mining is a new trend that aims at discovering useful and interesting compositions of existing Web services. ...
Moreover, [28] proposes a method for automatic composition of semantic Web services using Linear Logic theorem proving. ...
doi:10.30534/ijatcse/2019/134862019
fatcat:hy7j3egzsrfzbdwizkr6e4337i
Composition of Semantic Web services using Linear Logic theorem proving
2006
Information Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. ...
LL, as a resource conscious logic, enables us to define attributes of Web services formally (including parameters, states and non-functional attributes). ...
Conclusion In this paper we describe an approach to automatic Semantic Web service composition. ...
doi:10.1016/j.is.2005.02.005
fatcat:667jej7ykjgrjdqgmzyef5svw4
Improving Performance through REST Open API Grouping for Wireless Sensor Network
2013
International Journal of Distributed Sensor Networks
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
First, the web service composition results in reducing energy consumption and communication latency by composing two or more REST web services into one. ...
In this research, we focus on designing the concept of MapReduce like approach through the web service grouping of several web services into one. ...
Other previous composition approaches were exploited to synthesize program code from linear logic or first-order logic [1, 2] . ...
doi:10.1155/2013/958241
fatcat:sisoktjfibelzlf47zp2brd7w4
Set Partition and Trace Based Verification of Web Service Composition
2015
Procedia Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Interaction among composite Web services may cause concurrency related issues. In this paper, we present a formal model for reasoning and verifying Web services composition at design level. ...
We arrange these subsets to form a Web services set partition graph and transform to a set of interacting traces. ...
Related work Foster et al. 4 present a model-based verification approach to verify Web service composition. ...
doi:10.1016/j.procs.2015.05.081
fatcat:hnjbm54ufzgifbd3hvbw26fjiy
« Previous
Showing results 1 — 15 out of 23,625 results