Fluent calculus-based Web service composition — From OWL-S to fluent calculus

Chifu, Viorica Rozina; Salomie, Ioan; Chifu, Emil St.

doi:10.1109/iccp.2008.4648368

Cited by 9 publications

(4 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Each service will have n number of alternate services in a registry. After obtaining the required translations, Planner () algorithm in Figure 9 generates a plan automatically by employing forward chaining strategy (Chifu et al, 2008). The initial state is a set of user inputs.…”

Section: Case Studymentioning

confidence: 99%

See 1 more Smart Citation

AI planning-based semantic web service composition

Karpagam

Bhuvaneswari

2011

IJICA

View full text Add to dashboard Cite

Semantic web service composition constitutes the phases namely specification, matchmaking, planning, validation, discovery and execution. As web service composition is categorised as an AI planning problem, the objective of this paper is to propose a fluent calculus approach for the planning phase of the semantic web service composition. Among various methods to solve the AI planning problem, logic programming has been identified as the most appropriate candidate to handle the runtime behaviours of web services. FLUX has been used for representing constraints in fluent calculus formalism. Label transition system analyser (LTSA) formalisms are used to validate the plans generated using FLUX. An e-shopping domain is considered as a case study.

show abstract

Section: Case Studymentioning

confidence: 99%

“…Fluent calculus (Thielscher, 1999(Thielscher, , 2001Chifu et al, 2008) has four sorts: fluents, states, actions and situations. A fluent is an atomic component that describes a variable state.…”

Section: Introductionmentioning

confidence: 99%

AI planning-based semantic web service composition

Karpagam

Bhuvaneswari

2011

IJICA

View full text Add to dashboard Cite

show abstract

“…This approach analyzes and checks the web service's transactional behavior consistency at design time and report recovery mechanisms deviations after runtime. Chifu et al () have described how the planning capabilities of the fluent calculus can be used to automatically generate the web service composition. The concept between OWL‐S process ontology and the fluent calculus is identified, and an algorithm is used to translate OWL‐S service descriptions into an equivalent fluent calculus service specification.…”

Section: Related Workmentioning

confidence: 99%

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

Paulraj

Swamynathan

Chandran

et al. 2015

Computational Intelligence

View full text Add to dashboard Cite

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 the most relevant atomic services from the composite semantic web services and by no means we can assure the execution of the composed atomic services in a proper order. In this work, these two challenges are addressed, and a novel architecture is proposed for atomic service discovery, composition and automatic plan generation for the proper execution of its candidate services. The proposed architecture takes the advantage of abductive event calculus that uses abductive theorem prover to generate a plan for the proper order of execution of the atomic services. The research has found that the plan generated by the proposed architecture is sound and complete.

show abstract

“…A large amount of research has been reported about the AI planning related Web service composition. These works apply techniques ranging from Situation Calculus [7], Automata Theory [8], Rule-based Planning [9], Query Planning [11], Theorem Proving [12], Petri Nets [13], to Model Checking [14]. Generally, these techniques convert the problems of composition into generating execution workflows using the respectively dedicated expression.…”

Section: Ai Planning Techniquesmentioning

confidence: 99%

Effort-Oriented Classification Matrix of Web Service Composition

O’Brien

Keung

et al. 2010

2010 Fifth International Conference on Internet and Web Applications and Services

View full text Add to dashboard Cite

Within the service-oriented computing domain, Web service composition is an effective realization to satisfy the rapidly changing requirements of business. Therefore, the research into Web service composition has unfolded broadly. Since examining all of the related work in this area becomes a mission next to impossible, the classification of composition approaches can be used to facilitate multiple research tasks. However, the current attempts to classify Web service composition do not have clear objectives. Furthermore, the contexts and technologies of composition approaches are confused in the existing classifications. This paper proposes an effort-oriented classification matrix for Web service composition, which distinguishes between the context and technology dimension. The context dimension is aimed at analyzing the environment influence on the effort of Web service composition, while the technology dimension focuses on the technique influence on the effort. Consequently, besides the traditional classification benefits, this matrix can be used to build the basis of cost estimation for Web service composition in future research.Comment: 6 pages, Proceedings of the 5th International Conference on Internet and Web Applications and Services (ICIW 2010), pp. 357-362, Barcelona, Spain, May 9-15, 201

show abstract

Fluent calculus-based Web service composition — From OWL-S to fluent calculus

Cited by 9 publications

References 5 publications

AI planning-based semantic web service composition

AI planning-based semantic web service composition

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

Effort-Oriented Classification Matrix of Web Service Composition

Contact Info

Product

Resources

About