|3/2009 - 14|
A Fluent Calculus Approach to Automatic Web Service CompositionCHIFU, V. , SALOMIE, I.
|Click to see author's profile in SCOPUS, IEEE Xplore, Web of Science|
|Download PDF (800 KB) | Citation | Downloads: 1,190 | Views: 5,061|
web service domain ontology, fluent calculus, FLUX, web service, service composition
composition(8), services(7), logic(7), thielscher(6), semantic(6), service(5), reasoning(5), programming(5), sirin(4), cicekli(4)
Blue keywords are present in both the references section and the paper title.
About this article
Date of Publication: 2009-10-26
Volume 9, Issue 3, Year 2009, On page(s): 75 - 83
ISSN: 1582-7445, e-ISSN: 1844-7600
Digital Object Identifier: 10.4316/AECE.2009.03014
Web of Science Accession Number: 000271872000014
SCOPUS ID: 77954763537
Web service composition is mandatory when complex functional requirements cannot be satisfied by a single Web service. Because of the exponential growth of available Web services, their automatic discovery and composition are highly desirable tasks. This paper presents a new approach for automatic Web service composition based on the formalism of Fluent Calculus using semantic service descriptions. In our approach, the Web service composition process is viewed as an AI planning problem in the Fluent Calculus formalism. To semantically describe Web services, we have used a Web service domain ontology which is then translated into a Fluent Calculus knowledge base, necessary for the composition planning phase. For verifying the composed services, the Label Transition System Analyzer (LTSA) formalism is used. The paper also presents an experimental prototype for the Fluent Calculus based Web service composition and demonstrates its effectiveness with the help of an application scenario from the social event planning domain.
|References|||||Cited By «-- Click to see who has cited this paper|
| Aydin O., Cicekli, N. K, Cicekli, I., "Towards Automated Web Service Composition with the Abductive Event Calculus", Seattle, USA, Proceedings of Applications of Logic Programming in the Semantic Web and Semantic Web Services, Seattle, pp:103-1042006
 Aydin O., Cicekli, N.K., Cicekli I., "Automated Web Services Composition with the Event Calculus", The 8th International Workshop in Engineering Societies in the Agents World (ESAW07), Athens, 2007
[CrossRef] [SCOPUS Times Cited 16]
 Foster H., Uchitel S., Magee J. and Kramer, J., "WS-Engineer: A Tool for Model-Based Verification of Web Service Compositions and Choreography", in IEEE International Conference on Software Engineering, Shanghai, 2006
 McIlraith S. and Son T., "Adapting Golog for Composition of Semantic Web Services", The Eighth International Conference on Knowledge Representation and Reasoning 2002
 Rao J. and Su X, "A Survey of Automated Web Service Composition Methods", LNCS, Springer / Heidelberg, 2005
 Roman, D., Keller, U., et.all., "Web Service Modeling Ontology", Applied Ontology Journal, 2005
 Sirin E., Parsia B., Wu D., Hendler J., Nau D., 2004, "HTN planning for web service composition using SHOP2", Journal of Web Semantics, 1(4) 377-396
[CrossRef] [SCOPUS Times Cited 556]
 Sirin E, "Combining description logic reasoning with ai planning for composition of web services", PhD thesis, University of Maryland, 2006
 Sirin, E., Parsia, B., and Hendler, J., "Composition driven Filtering and Selection of Semantic Web Services", In AAAI Spring Symposium on Semantic Web Services, 2004
 Thielscher, M., "FLUX: A logic programming method for reasoning about agents", Theory and Practice of Logic Programming, Cambridge University Press (eds.), 2005
 Thielscher, M., "Introduction to the Fluent Calculus", Electronic Transactions on Artificial Intelligence, 1998
 Thielscher, M., "Programming of Reasoning and Planning Agents with FLUX", Proc. of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR2002), 2002
 Thielscher, M., "Handling Implication and Universal Quantification Constraints in FLUX", Proceedings of the 11th International Conference on Principles and Practice of Constraint Programming (CP11), 2005
 Thielscher, M., "The Fluent Calculus: A specification language for robots with sensors in nondeterministic, concurrent, and ramifying environments", Technical Report CL-2000-01, Artificial Intelligence Institute, 2000
 M. Thielscher, "Logic-based agents and the frame problem: A case for progression. First-Order Logic Revisited", Proc. of the Conf. First Order Logic 75 (FOL75). Hendricks et al. (eds.) 2004
 Wu, D., Parsia, B., Sirin, E., Hendler, J., and Nau, D., "Automating DAML-S web services composition using SHOP2", Proceedings of the 2nd International Semantic Web Conference (ISWC2003), pages 20-23, Sanibel Island, Florida, USA
Web of Science® Citations for all references: 0
SCOPUS® Citations for all references: 572 TCR
Web of Science® Average Citations per reference: 0
SCOPUS® Average Citations per reference: 29 ACR
TCR = Total Citations for References / ACR = Average Citations per Reference
We introduced in 2010 - for the first time in scientific publishing, the term "References Weight", as a quantitative indication of the quality ... Read more
Citations for references updated on 2018-08-15 02:26 in 31 seconds.
Note1: Web of Science® is a registered trademark of Clarivate Analytics.
Note2: SCOPUS® is a registered trademark of Elsevier B.V.
Disclaimer: All queries to the respective databases were made by using the DOI record of every reference (where available). Due to technical problems beyond our control, the information is not always accurate. Please use the CrossRef link to visit the respective publisher site.
Faculty of Electrical Engineering and Computer Science
Stefan cel Mare University of Suceava, Romania
All rights reserved: Advances in Electrical and Computer Engineering is a registered trademark of the Stefan cel Mare University of Suceava. No part of this publication may be reproduced, stored in a retrieval system, photocopied, recorded or archived, without the written permission from the Editor. When authors submit their papers for publication, they agree that the copyright for their article be transferred to the Faculty of Electrical Engineering and Computer Science, Stefan cel Mare University of Suceava, Romania, if and only if the articles are accepted for publication. The copyright covers the exclusive rights to reproduce and distribute the article, including reprints and translations.
Permission for other use: The copyright owner's consent does not extend to copying for general distribution, for promotion, for creating new works, or for resale. Specific written permission must be obtained from the Editor for such copying. Direct linking to files hosted on this website is strictly prohibited.
Disclaimer: Whilst every effort is made by the publishers and editorial board to see that no inaccurate or misleading data, opinions or statements appear in this journal, they wish to make it clear that all information and opinions formulated in the articles, as well as linguistic accuracy, are the sole responsibility of the author.