Filters








20,238 Hits in 10.4 sec

Verifiable and Resource-Aware Component Model for IoT Devices

Arthur Gatouillat, Youakim Badr
2017 Proceedings of the 9th International Conference on Management of Digital EcoSystems - MEDES '17  
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

Hongming Cai, Yizhi Gu, Athanasios V. Vasilakos, Boyi Xu, Jun Zhou
2018 IEEE Transactions on Cloud Computing  
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

Aram AlSedrani, Ameur Touir
2016 International Journal on Web Service Computing  
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

Vikas Agarwal, Koustuv Dasgupta, Neeran Karnik, Arun Kumar, Ashish Kundu, Sumit Mittal, Biplav Srivastava
2005 Proceedings of the 14th international conference on World Wide Web - WWW '05  
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

Min Choi, Young-Sik Jeong, Jong Hyuk Park
2013 International Journal of Distributed Sensor Networks  
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

Vikas Agarwal, Girish Chafle, Koustuv Dasgupta, Neeran Karnik, Arun Kumar, Sumit Mittal, Biplav Srivastava
2005 Journal of Web Semantics  
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

Vikas Agarwal, Girish Chafle, Koustuv Dasgupta, Neeran Karnik, Arun Kumar, Sumit Mittal, Biplav Srivastava
2005 Social Science Research Network  
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

Jinghai Rao, Peep Küngas, Mihhail Matskin
2006 Information Systems  
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

Eran Toch, Iris Reinhartz-Berger, Dov Dori
2011 Journal of Web Semantics  
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

Eran Toch, Iris Reinhartz-Berger, Dov Dori
2011 Social Science Research Network  
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

Dumitru Roman, Jacek Kopecký, Tomas Vitvar, John Domingue, Dieter Fensel
2015 Journal of Web Semantics  
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]

Andrei Netedu, Sabin C. Buraga, Paul Diac, Liana Ţucăr
2019 Advances in Intelligent Networking and Collaborative Systems  
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

Dumitru Roman, Jacek Kopecky, Tomas Vitvar, John Domingu, Dieter Fensel
2015 Social Science Research Network  
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]

Haruhiko Takada, Incheon Paik
2010 Lecture Notes in Computer Science  
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

Srividya Kona, Ajay Bansal, M. Brian Blake, Gopal Gupta
2008 2008 IEEE International Conference on Web Services  
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