Logical Instruments for Dynamic Web Service Composition
2005 (English)In: ISWS '05: Proceedings of the 2005 International Symposium on Web Services and Applications, CSREA Press, 2005, 87-93 p.Conference paper (Refereed)
This paper discusses the means available in linear and intuitionistic logic for exact logical representation of software features for dynamic web service composition. Besides logical means for representation of data dependencies and implicit linking of services, also usage of pre-programmed control structures, alternative outcome of services, exception handling, hierarchical data structures, usage of resources and representing changes of environment are briefly considered. The goal is to describe possibilities of choice of logical instruments to a designer of a dynamic web service composition system.
Place, publisher, year, edition, pages
CSREA Press, 2005. 87-93 p.
web services, composition logic, service composition
Computer and Information Science
IdentifiersURN: urn:nbn:se:kth:diva-81350ISI: 000236447500013ScopusID: 2-s2.0-60749099443OAI: oai:DiVA.org:kth-81350DiVA: diva2:497352
International Symposium on Web Services and Applications. Las Vegas, NV. JUN 27-30, 2005
QC 201202292012-02-102012-02-102012-02-29Bibliographically approved