Click to open the HelpDesk interface
AECE - Front page banner



JCR Impact Factor: 0.699
JCR 5-Year IF: 0.674
Issues per year: 4
Current issue: Feb 2019
Next issue: May 2019
Avg review time: 83 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


2,234,839 unique visits
Since November 1, 2009

Robots online now


SCImago Journal & Country Rank

SEARCH ENGINES - Google Pagerank


Anycast DNS Hosting

 Volume 19 (2019)
     »   Issue 1 / 2019
 Volume 18 (2018)
     »   Issue 4 / 2018
     »   Issue 3 / 2018
     »   Issue 2 / 2018
     »   Issue 1 / 2018
 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
  View all issues  


Clarivate Analytics published the InCites Journal Citations Report for 2017. The JCR Impact Factor of Advances in Electrical and Computer Engineering is 0.699, and the JCR 5-Year Impact Factor is 0.674.

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.

With new technologies, such as mobile communications, internet of things, and wide applications of social media, organizations generate a huge volume of data, much faster than several years ago. Big data, characterized by high volume, diversity and velocity, increasingly drives decision making and is changing the landscape of business intelligence, from governments to private organizations, from communities to individuals. Big data analytics that discover insights from evidences has a high demand for computing efficiency, knowledge discovery, problem solving, and event prediction. We dedicate a special section of Issue 4/2017 to Big Data. Prospective authors are asked to make the submissions for this section no later than the 31st of May 2017, placing "BigData - " before the paper title in OpenConf.

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 in 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,223 | Views: 5,417

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

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

[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: 585 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 2019-05-18 15:20 in 27 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.

Copyright ©2001-2019
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: