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.
Filters
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
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
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.
For the purpose of building cloud-enabled mobile applications in a configurable and adaptive way, Model-Driven Development Patterns based on semantic reasoning mechanism are provided towards CoT application ...
Then, based on formal representation of models, three patterns from different tiers of Model-View-Controller (MVC) framework are used to transform business models into service component system so as to ...
Comparison and Discussion On construction of cloud-enabled applications based on existing resources, service composition and lightweight mashup are two typical methods. ...
doi:10.1109/tcc.2016.2526007
fatcat:ynbla76ulra6dddolubipvfhda
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.
Over the past years, the problem of web service composition has been studied intensively by researchers. ...
Service composition is the process of constructing new services by combining several existing ones. It considered as one of the complex challenges in distributed and dynamic environment. ...
The authors utilize the linear logic theorem to compose automatically semantic services. The web services in this work are presented by extra logical axioms and proofs in linear logic. ...
doi:10.5121/ijwsc.2016.7101
fatcat:iliffsg2czfrrefbk3k2bm3gzi
A service creation environment based on end to end composition of Web services
2005
Proceedings of the 14th international conference on World Wide Web - WWW '05
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.
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. ...
Academia has propounded the AI approach of formally representing web service capabilities in ontologies, and reasoning about their composition using goal-oriented inferencing techniques from planning. ...
This can take place at two levels -web service types and web service instances. At the logical composition stage, the composition process typically involves reasoning procedures. ...
doi:10.1145/1060745.1060768
dblp:conf/www/AgarwalDKKKMS05
fatcat:xrjrddwmi5hqdhcrdwciy6mcda
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. ...
We propose two methods: REST API grouping and REST API caching. ...
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
Synthy: A system for end to end composition of web services
2005
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.
The proposed solution is based on a novel two-staged composition approach that addresses the information modeling aspects of web services, provides support for contextual information while composing services ...
However, current solutions based on business web services (using WSDL, BPEL, SOAP etc.) or semantic web services (using ontologies, goal-directed reasoning etc.) are both piecemeal and insufficient. ...
Logical Composition The literature on composing services based on annotations (semantically organized in ontologies or otherwise) has taken two paths. ...
doi:10.1016/j.websem.2005.09.002
fatcat:663mfo646zgzrelrmssllkrs3y
Synthy: A System for End to End Composition of Web Services
2005
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 2017; you can also visit the original URL.
The file type is application/pdf.
The proposed solution is based on a novel two-staged composition approach that addresses the information modeling aspects of web services, provides support for contextual information while composing services ...
However, current solutions based on business web services (using WSDL, BPEL, SOAP etc.) or semantic web services (using ontologies, goal-directed reasoning etc.) are both piecemeal and insufficient. ...
Logical Composition The literature on composing services based on annotations (semantically organized in ontologies or otherwise) has taken two paths. ...
doi:10.2139/ssrn.3199263
fatcat:kxf7dlkl6narxowt7q6hkye3ny
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. ...
The method uses a Semantic Web service language (DAML-S) for external presentation of Web services, while, internally, the services are presented by extralogical axioms and proofs in LL. ...
Firstly, we present a method for automated Web service composition which is based on the proof search in a fragment of propositional Linear Logic (LL) [14] . ...
doi:10.1016/j.is.2005.02.005
fatcat:667jej7ykjgrjdqgmzyef5svw4
Humans, semantic services and similarity: A user study of semantic Web services matching and composition
2011
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 2013; you can also visit the original URL.
The file type is application/pdf.
Inferring similarity between Web services is a fundamental construct for service matching and composition. ...
We define a similarity model, based on our empirical findings and prove that the similarity model, expressed by a distance metric, is complete and that it closely predicts humans' perceptions of service ...
Logic-based approaches Logic-based approaches in service retrieval are based on reasoning over the semantic descriptions of Web services to match queries and service properties. ...
doi:10.1016/j.websem.2010.10.002
fatcat:otx3soa6vjevpot2vrgyo7hiwe
Humans, Semantic Services and Similarity: A User Study of Semantic Web Services Matching and Composition
2011
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 2013; you can also visit the original URL.
The file type is application/pdf.
Inferring similarity between Web services is a fundamental construct for service matching and composition. ...
We define a similarity model, based on our empirical findings and prove that the similarity model, expressed by a distance metric, is complete and that it closely predicts humans' perceptions of service ...
Logic-based approaches Logic-based approaches in service retrieval are based on reasoning over the semantic descriptions of Web services to match queries and service properties. ...
doi:10.2139/ssrn.3199503
fatcat:7mpy4pz7ojbu3em5u22qbhltye
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.
documentation of RESTful services, enabling combining RESTful services with WSDL-based ones in a single semantic framework. ...
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
A Web Service Composition Method Based on OpenAPI Semantic Annotations
[chapter]
2019
Advances in Intelligent Networking and Collaborative 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 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2020 pre-print arXiv:2005.02628v1 fatcat:s2t2nlettbgkvbmoysddyop6qy
Additionally, the composition algorithm is practically used on descriptions of Web services implemented by REST APIs expressed by OpenAPI specifications. ...
Automatic Web service composition is a research direction aimed to improve the process of aggregating multiple Web services to create some new, specific functionality. ...
We are aware that the proposed method presents several shortcomings -e.g., lack of support regarding service metadata such as quality of service, various restrictions, work and data-flows, and others. ...
doi:10.1007/978-3-030-34986-8_25
fatcat:opnajgme3jcwdm3oymln5a7hba
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.
documentation of RESTful services, enabling combining RESTful services with WSDL-based ones in a single semantic framework. ...
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
Transformation of Intermediate Nonfunctional Properties for Automatic Service Composition
[chapter]
2010
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 2020; you can also visit the original URL.
The file type is application/pdf.
Web services and their automatic composition are in the mainstream of the evolution of new value-added services. ...
The identification of the binding information is based on domain ontologies for services. Evaluation in our algorithm according to characteristics of NFPs is shown. ...
WSML was proposed for modeling Web services (functionality and non-functionality), ontologies, and related aspects based on WSMO, together with the formal grounding of the language based on logical formalisms ...
doi:10.1007/978-3-642-16132-2_21
fatcat:rrlqbicljngfvk3hxtersw6hiy
Generalized Semantics-Based Service Composition
2008
2008 IEEE International Conference on Web Services
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 2014; you can also visit the original URL.
The file type is application/pdf.
Our general method takes as input (i) a repository, R, of semantic descriptions of Web services, (ii) a semantic description, Q, of the service that is desired, and produces a composite service consisting ...
The automatic composition techniques need to be semantics-based rather than syntax-based, since only semantics can accurately capture the task a service performs. ...
Additionally, our method generates most general compositions based on (conditional) directed acyclic graphs. ...
doi:10.1109/icws.2008.118
dblp:conf/icws/KonaBBG08
fatcat:vyszofjcvjapxasah57omg7bd4
« Previous
Showing results 1 — 15 out of 20,238 results