Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Web Services: Been There, Done That?
IEEE Intelligent Systems
Quality driven web services composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
A service creation environment based on end to end composition of Web services
WWW '05 Proceedings of the 14th international conference on World Wide Web
Detecting and resolving semantic pathologies in UML sequence diagrams
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Lucx: lucid enriched with context
Lucx: lucid enriched with context
Specification and verification of trustworthy component-based real-time reactive systems
Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
TADL - An Architecture Description Language for Trustworthy Component-Based Systems
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
A lightweight formal framework for service-oriented applications design
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
An architecture for developing context-aware systems
MRC'05 Proceedings of the Second international conference on Modeling and Retrieval of Context
A taxonomy of trust oriented approaches for services computing
Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services
Hi-index | 0.00 |
Currently there are many service providers on the Web. Industry recognizes that from Web services many different business applications can be quickly created. A Web services composition tool can automate this process. The challenge lies in the creation of an automatic service composition facility which will tap into the potential of Web services, interact with the consumer in getting their business policies, and ensure that the behavior of Web services do not violate business policies while achieving the stated goals of the consumer. In this paper we discuss the architecture specific to this issue, as an add-on to a trustworthy service-oriented architecture. We provide an abstract view of the service creation facility and its environment, and propose suitable formal notations and formal analysis in the construction of this automated facility.