Towards automated web service composition with fluent calculus and domain ontologies

Proceedings of the 10th International Conference on Information Integration and Web-based Applications and Services, iiWAS 2008

Volumn , Issue , 2008, Pages 201-207

  Salomie, Loan ^a   Chifu, Viorica R ^a   Harsa, Ioana ^a   Gherga, Marius ^a  

^a TECHNICAL UNIVERSITY OF CLUJ NAPOCA   (Romania)

Author keywords

Fluent calculus; Fluent calculus based planning; Ontologies; Web service composition

Indexed keywords

APPLICATION SCENARIO; AUTOMATED WEB SERVICE COMPOSITION; DOMAIN ONTOLOGIES; EXPERIMENTAL PROTOTYPE; EXPONENTIAL GROWTH; FLUENT CALCULUS; FLUENT CALCULUS BASED PLANNING; FUNCTIONAL REQUIREMENT; KNOWLEDGE BASE; NEW APPROACHES; PLANNING PHASE; PLANNING PROBLEM; SEMANTIC SERVICE; SOCIAL EVENTS; TRANSITION SYSTEM; WEB SERVICE COMPOSITION; WEB SERVICE DISCOVERY;

CALCULATIONS; COMPUTATIONAL FLUID DYNAMICS; INFORMATION RETRIEVAL; KNOWLEDGE BASED SYSTEMS; ONTOLOGY;

WEB SERVICES;

EID: 70349114126     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1497308.1497348     Document Type: Conference Paper

References (13)

1. Aydin O., Cicekli, N. K, Cicekli, I.: Towards Automated Web Service Composition with the Abductive Event Calculus, Seattle, USA, 2006.
2. Aydin O., Cicekli, N.K., Cicekli I.: Automated Web Services Composition with the Event Calculus. In: The 8th International Workshop in Engineering Societies in the Agents World (ESAW07), Athens, 2007.
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. Foster H., Uchitel S., Magee J., and Kramer J.: Leveraging Eclipse for Integrated Model-Based Engineering of Web Service Compositions, in ETX2005 Workshop at OOPSLA05, San Diego, CA, 2005.
5. McIlraith S. and Son T.: Adapting Golog for Composition of Semantic Web Services. In: The Eighth International Conference on Knowledge Representation and Reasoning (KR2002), Touluse, 2002.
6. Rao J. and Su X: A Survey of Automated Web Service Composition Methods, LNCS, Springer/Heidelberg, 2005.
7. Roman, D., Keller, U., et.all.: Web Service Modeling Ontology, Applied Ontology Journal, 2005.
8. Sirin, E., et al.: Template-based Composition of Semantic Web Services. In: AAAI Fall Symposium on Agents and Semantic Web, Technical Report, Virginia, 2005.
9. Thielscher, M.: FLUX: A logic programming method for reasoning about agents. In: Theory and Practice of Logic Programming, Cambridge University Press (eds.), 2005.
10. Thielscher, M.: Introduction to the fluent calculus, In: Electronic Transactions on Artificial Intelligence, 1998.
11. Thielscher, M.: Programming of Reasoning and Planning Agents with FLUX, In: Proc. of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR2002), 2002.
12. 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.
13. Thielscher, M.: The fluent calculus: A specification language for robots with sensors in nondeterministic, concurrent, and ramifying environments, In: Technical Report CL-2000-01, Artificial Intelligence Institute, 2000