Filters








647 Hits in 3.9 sec

Fluent Calculus-Based Semantic Web Service Composition and Verification Using WSSL [chapter]

George Baryannis, Dimitris Plexousakis
2014 Lecture Notes in Computer Science  
We propose a composition and verification framework for Semantic Web Services specified using WSSL, a novel service specification language based on the fluent calculus, that addresses issues related to  ...  The framework exploits the unique features of WSSL, allowing, among others, for: compositions that take into account ramifications of services; determining the feasibility of a composition a priori; and  ...  Service Composition Planning Based on planning in the fluent calculus with FLUX (see Chap. 6 in [20] ), we define planning for service composition using WSSL. Definition 7.  ... 
doi:10.1007/978-3-319-06859-6_23 fatcat:svt2tlbelfg5vnluvhmfamsgxy

DISC: A Declarative Framework for Self-Healing Web Services Composition

Ehtesham Zahoor, Olivier Perrin, Claude Godart
2010 2010 IEEE International Conference on Web Services  
Web services composition design, verification and monitoring are active and widely studied research directions.  ...  The effect of run-time violations can also be calculated and a set of recovery actions can be taken, allowing for the self-healing Web services composition.  ...  In a typical Web services based setup, the emergency center works by contacting the Web services provided by different systems and a composition process is being thought of to handle the patients.  ... 
doi:10.1109/icws.2010.70 dblp:conf/icws/ZahoorPG10 fatcat:57n4ak4d2vbadgkadilhub47fy

DISC-SeT: Handling Temporal and Security Aspects in the Web Services Composition

Ehtesham Zahoor, Olivier Perrin, Claude Godart
2010 2010 Eighth IEEE European Conference on Web Services  
The proposed approach provides a flexible event calculus based composition design, that allows for modeling different temporal (response time, time-units and other) and security aspects (access control  ...  , confidentiality and others) for Web services with different synchronization modes.  ...  The proposed approach provides a flexible event calculus based composition design, that allows for modeling different aspects such as the temporal and security constraints for Web services with different  ... 
doi:10.1109/ecows.2010.18 dblp:conf/ecows/ZahoorPG10 fatcat:5hsofzt6znebnk24ann7bcefzi

WSSL: A Fluent Calculus-Based Language for Web Service Specifications [chapter]

George Baryannis, Dimitris Plexousakis
2013 Lecture Notes in Computer Science  
We propose WSSL, a novel specification language for services, based on the fluent calculus, that is expressly designed to address the aforementioned issues.  ...  In order to effectively discover and invoke a Web service, the provider must supply a complete specification of its behavior, with regard to its inputs, outputs, preconditions and effects.  ...  composition, by applying fluent calculus-based planning.  ... 
doi:10.1007/978-3-642-38709-8_17 fatcat:yoyr6hwp2fgutg22wumpbeitx4

Ontology-Based Emergency Management System in a Social Cloud

A Bhuvaneswari, G R Karpagam
2011 International Journal on Cloud Computing Services and Architecture  
The services are exposed as semantic web services, since the availability of machine-readable metadata (Ontology) will enable the access of these services more intelligently.  ...  The objective of this paper is to propose an Ontology-based Emergency Management System in a social cloud and demonstrate the same using emergency healthcare domain.  ...  In the case study, support for automation has been evidenced through Fluent Calculus based workflow generation.  ... 
doi:10.5121/ijccsa.2011.1302 fatcat:24d7w2h5dncc3ogv7yrhixq2au

Service Composition and Execution Plan Generation of Composite Semantic WEB Services Using Abductive Event Calculus

D. Paulraj, S. Swamynathan, Daniel Chandran, K. Balasubadra, M. Vigilson Prem
2015 Computational intelligence  
Web Service composition is indispensable as a single Web Service cannot satisfy the complex functional requirement of a user.  ...  The two key challenges of Semantic Web Service composition are the discovery of most relevant atomic services from the Composite Semantic Web Services and by no means we can assure the execution of the  ...  Salomie et al.(2008) , have used the fluent calculus for AI planning for the composition of Web Services.  ... 
doi:10.1111/coin.12080 fatcat:dbydgcxom5f3xav3avnwa4fmda

Web Services Feature Interaction Detection Based on Situation Calculus

Jiuyun Xu, Wengong Yu, Kun Chen, Stephan Reiff-Marganiec
2010 2010 6th World Congress on Services  
Two case studies show that it is effective for detecting feature interactions in composite Web services.  ...  Clearly Web service composition is a way of building services from independently designed components and hence is subject to the same problem.  ...  Based on these observations we are proposing an orthogonal method, a runtime method based on Situation Calculus to detect FI in the Web services area.  ... 
doi:10.1109/services.2010.27 dblp:conf/services/XuYCR10 fatcat:3xpmc22xszb7hke7ataplzzika

A monolithic approach to automated composition of semantic web services with the Event Calculus

Cagla Okutan, Nihan Kesim Cicekli
2010 Knowledge-Based Systems  
Use of Event Calculus for Semantic Web Service Composition Event Calculus is used in web service coordination [49, 50] , workflow composition based execution [51, 52] , workflow generation by planning  ...  They propose ontology-based framework for the automatic composition of Web services.  ... 
doi:10.1016/j.knosys.2010.02.006 fatcat:x7htpxuzr5bx5iqwhb5txqobfq

Retracted: Towards Formal Verification of Web Service Composition [chapter]

Mohsen Rouached, Olivier Perrin, Claude Godart
2006 Lecture Notes in Computer Science  
We assume Web services that are coordinated by a composition process expressed in WSBPEL and we use Event Calculus to specify the properties and requirements to be monitored.  ...  Current Web services composition proposals, such as BPML, WS-BPEL, WSCI, and OWL-S, provide solutions for describing the control and data flows in Web service composition.  ...  It takes as input the specification of the Web service composition as a set of coordinated web services in WSBPEL and produces as output the behavioral specification of this composition in Event Calculus  ... 
doi:10.1007/11841760_18 fatcat:5tqzcgcojzddpcwxh3dbfms4wu

Towards Formal Verification of Web Service Composition [chapter]

Mohsen Rouached, Olivier Perrin, Claude Godart
2006 Lecture Notes in Computer Science  
We assume Web services that are coordinated by a composition process expressed in WSBPEL and we use Event Calculus to specify the properties and requirements to be monitored.  ...  Current Web services composition proposals, such as BPML, WS-BPEL, WSCI, and OWL-S, provide solutions for describing the control and data flows in Web service composition.  ...  It takes as input the specification of the Web service composition as a set of coordinated web services in WSBPEL and produces as output the behavioral specification of this composition in Event Calculus  ... 
doi:10.1007/11841760_43 fatcat:3wzjfwqoivhf5j7olulryg66d4

Exception Handling in Pervasive Service Composition Using Normative Agents

J. Octavio Gutiérrez-García, Félix F. Ramos Corchado
2011 Journal of Web Engineering  
The contributions of this work are: 1) Proposing a normative agent-based service composition method capable of handling exceptions in open pervasive systems. 2) Using the Web as the underlying infrastructure  ...  where pervasive services provided by either smart devices or web services can coexist and interact with each other. 3) Providing a modular and hierarchical agent coordination method based on virtual organizations  ...  OUTPUT: An obligation-based service composition. A web service S could represent another VO that can compose the services of its members.  ... 
dblp:journals/jwe/Gutierrez-GarciaC11 fatcat:47puz76dffeitoilee24m2jnbq

Web Service Mining and Verification of Properties: An Approach Based on Event Calculus [chapter]

Mohsen Rouached, Walid Gaaloul, Wil M. P. van der Aalst, Sami Bhiri, Claude Godart
2006 Lecture Notes in Computer Science  
The work described in this paper is a contribution to these issues for Web services based process applications.  ...  Our work attempts to apply Web service log-based analysis and process mining techniques in order to provide semantical knowledge about the context of and the reasons for discrepancies between process models  ...  It takes as input the specification of the Web service composition as a set of coordinated web services in WSBPEL and produces as output the behavioral specification of this composition in Event Calculus  ... 
doi:10.1007/11914853_25 fatcat:camgpxnalbdsbpflvcrsjp7ghm

An Event-Based Reasoning Approach to Web Services Monitoring

Ehtesham Zahoor, Olivier Perrin, Claude Godart
2011 2011 IEEE International Conference on Web Services  
In this paper, we propose an event-based framework that allows to specify and reason about the monitoring properties during composition process execution.  ...  In addition, as the approach builds upon an event-based declarative framework called DISC, it results in an integrated approach as both composition design and monitoring framework are event-based.  ...  Then, as the Web services are autonomous and only expose their interfaces, composition process is based on design level service contracts and the actual execution of composition process may result in the  ... 
doi:10.1109/icws.2011.97 dblp:conf/icws/ZahoorPG11 fatcat:o2o664o2rfdrdilcwcp7tbugpy

An Integrated Declarative Approach to Web Services Composition and Monitoring [chapter]

Ehtesham Zahoor, Olivier Perrin, Claude Godart
2009 Lecture Notes in Computer Science  
In this paper we propose a constraint based declarative approach for Web services composition and monitoring problem.  ...  composition as a result of run-time violations, such as service failure or response time delays.  ...  The composition process can also be regarded as a AI planning problem assuming that each Web service can be specified by its preconditions and effects (using situation calculus [5, 8] , rule-based planning  ... 
doi:10.1007/978-3-642-04409-0_28 fatcat:poj7vs4qfbhqbl6jpvssjywspi

Securing Web Service Compositions: Formalizing Authorization Policies Using Event Calculus [chapter]

Mohsen Rouached, Claude Godart
2006 Lecture Notes in Computer Science  
We address one particular issue -that of authorization within a Web services composition.  ...  In particular, we propose a dynamic authorization model which allows for complex authorization policies whilst ensuring trust and privacy between the components services.  ...  In this paper, we propose to use a formalism based on the Event Calculus (EC) [5] to specify authorization policies Web services compositions.  ... 
doi:10.1007/11948148_37 fatcat:3qn6tdybajfulc2kml4ccswto4
« Previous Showing results 1 — 15 out of 647 results