Component-Based Information Systems Development Tool Supporting the SYNTHESIS Design Method
ADBIS '98 Proceedings of the Second East European Symposium on Advances in Databases and Information Systems
Compositional Specification Calculus for Information Systems Development
ADBIS '99 Proceedings of the Third East European Conference on Advances in Databases and Information Systems
Semantic Matching of Web Services Capabilities
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Importing the Semantic Web in UDDI
CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web
A software framework for matchmaking based on semantic web technology
WWW '03 Proceedings of the 12th international conference on World Wide Web
Filtering and Selecting Semantic Web Services with Interactive Composition Techniques
IEEE Intelligent Systems
Bringing semantics to web services: the OWL-S approach
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
Combinatorial optimization in system configuration design
Automation and Remote Control
Hi-index | 0.00 |
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composition, verification, monitoring and recovery of services for the realization of complex processes. Most existing works addressing this issue are based on the Ontology Web Language for Services (OWL-S) and founded on description logic. Because the discovery and composition tasks are designed to be fully automatic, the solutions are limited to the realization of rather simple processes. To overcome this deficiency, this paper proposes an approach in which service capability descriptions are based on full first order predicate logic and enable an interactive discovery and composition of services for the realization of complex processes. The proposed approach is well suited when automatic service discovery does not constitute an absolute requirement and the discovery can be done interactively (semi-automatically) with human expert intervention. Such applications are, for instance, often met in e-science. The proposed approach is an extension and adaptation of the compositional information systems development (CISD) method based on the SYNTHESIS language and previously proposed by some of the authors. The resulting method offers a canonical extensible object model with its formal automatic semantic interpretation in the Abstract Machine Notation (AMN) as well as reasoning capabilities applying AMN interactively to the discovery and composition of web services.