Click to open the HelpDesk interface
AECE - Front page banner



JCR Impact Factor: 0.595
JCR 5-Year IF: 0.661
Issues per year: 4
Current issue: Nov 2017
Next issue: Feb 2018
Avg review time: 106 days


Stefan cel Mare
University of Suceava
Faculty of Electrical Engineering and
Computer Science
13, Universitatii Street
Suceava - 720229

Print ISSN: 1582-7445
Online ISSN: 1844-7600
WorldCat: 643243560
doi: 10.4316/AECE


1,849,325 unique visits
Since November 1, 2009

No robots online now


SCImago Journal & Country Rank

SEARCH ENGINES - Google Pagerank


Anycast DNS Hosting

 Volume 17 (2017)
     »   Issue 4 / 2017
     »   Issue 3 / 2017
     »   Issue 2 / 2017
     »   Issue 1 / 2017
 Volume 16 (2016)
     »   Issue 4 / 2016
     »   Issue 3 / 2016
     »   Issue 2 / 2016
     »   Issue 1 / 2016
 Volume 15 (2015)
     »   Issue 4 / 2015
     »   Issue 3 / 2015
     »   Issue 2 / 2015
     »   Issue 1 / 2015
 Volume 14 (2014)
     »   Issue 4 / 2014
     »   Issue 3 / 2014
     »   Issue 2 / 2014
     »   Issue 1 / 2014
  View all issues  


Wind Speed Prediction with Wavelet Time Series Based on Lorenz Disturbance, ZHANG, Y., WANG, P., CHENG, P., LEI, S.
Issue 3/2017



Thomson Reuters published the Journal Citations Report for 2016. The JCR Impact Factor of Advances in Electrical and Computer Engineering is 0.595, and the JCR 5-Year Impact Factor is 0.661.

We have the confirmation Advances in Electrical and Computer Engineering will be included in the EBSCO database.

We have the confirmation Advances in Electrical and Computer Engineering will be included in the Gale database.

Read More »


  3/2009 - 14

A Fluent Calculus Approach to Automatic Web Service Composition

CHIFU, V. See more information about CHIFU, V. on SCOPUS See more information about CHIFU, V. on IEEExplore See more information about CHIFU, V. on Web of Science, SALOMIE, I. See more information about SALOMIE, I. on SCOPUS See more information about SALOMIE, I. on SCOPUS See more information about SALOMIE, I. on Web of Science
Click to see author's profile on See more information about the author on SCOPUS SCOPUS, See more information about the author on IEEE Xplore IEEE Xplore, See more information about the author on Web of Science Web of Science

Download PDF pdficon (800 KB) | Citation | Downloads: 1,181 | Views: 4,793

Author keywords
web service domain ontology, fluent calculus, FLUX, web service, service composition

References keywords
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

Quick view
Full text preview
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

[1] 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

[2] 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 14]

[3] 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

[4] McIlraith S. and Son T., "Adapting Golog for Composition of Semantic Web Services", The Eighth International Conference on Knowledge Representation and Reasoning 2002

[5] Rao J. and Su X, "A Survey of Automated Web Service Composition Methods", LNCS, Springer / Heidelberg, 2005

[6] Roman, D., Keller, U., et.all., "Web Service Modeling Ontology", Applied Ontology Journal, 2005

[7] 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 545]

[8] Sirin E, "Combining description logic reasoning with ai planning for composition of web services", PhD thesis, University of Maryland, 2006

[9] 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

[10] Thielscher, M., "FLUX: A logic programming method for reasoning about agents", Theory and Practice of Logic Programming, Cambridge University Press (eds.), 2005

[11] Thielscher, M., "Introduction to the Fluent Calculus", Electronic Transactions on Artificial Intelligence, 1998

[12] 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

[13] 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

[14] 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

[15] 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

[16] 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




References Weight

Web of Science® Citations for all references: 0
SCOPUS® Citations for all references: 559 TCR

Web of Science® Average Citations per reference: 0
SCOPUS® Average Citations per reference: 28 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-02-16 20:48 in 21 seconds.

Note1: Web of Science® is a registered trademark of Thomson Reuters.
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.

Copyright ©2001-2018
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.

Website loading speed and performance optimization powered by: