Thursday, 21 April 2005, 14:00
Cybernetica Bldg (Akadeemia tee 21), room B101
Abstract: We are going to discuss 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.