Filters








23,625 Hits in 6.4 sec

Toward the Composition of Semantic Web Services [chapter]

Jinghai Rao, Xiaomeng Su
2004 Lecture Notes in Computer Science  
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

J. Amudhavel, U. Prabhu, P. Inbavalli, N. Moganarangan, V. Ravishankar, R. Baskaran, P. Dhavachelvan
2016 Indian Journal of Science and Technology  
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

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

Logic-based Web services composition: from service description to process model

Jinghai Rao, Peep Kungas, Mihhail Matskin
2004 Proceedings. IEEE International Conference on Web Services, 2004.  
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

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

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

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

Yahia Chabane, François Hantry, Mohand-Saïd Hacid
2011 Studies in Computational Intelligence  
[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

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

Lara Kallab, Michael Mrissa, Richard Chbeir, Pierre Bourreau
2017 Lecture Notes in Computer Science  
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

Angel Lagares Lemos, Florian Daniel, Boualem Benatallah
2015 ACM Computing Surveys  
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

Khalid Mansour
2019 International Journal of Advanced Trends in Computer Science and Engineering  
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

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.  ...  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

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.  ...  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

Gopal N. Rai, G.R. Gangadharan
2015 Procedia Computer Science  
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