Distributed and Parallel Databases
Coordinating Business Transactions on the Web
IEEE Internet Computing
The P2P Approach to Interorganizational Workflows
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Guest Editors' Introduction: Model-Driven Development
IEEE Software
Current Solutions for Web Service Composition
IEEE Internet Computing
Contracting workflows and protocol patterns
BPM'03 Proceedings of the 2003 international conference on Business process management
Transforming collaborative business process models into web services choreography specifications
DEECS'06 Proceedings of the Second international conference on Data Engineering Issues in E-Commerce and Services
| Hi-index | 0.00 |
This paper proposes a model-based lifecycle for the development of web services, which is based on two kinds of models, collaboration models and service ones. After agreeing upon a collaboration model, which is a public specification, each party can work out a service model and then can turn it into a process written in an orchestration language such as BPEL. As the conceptual gap between a service model and its BPEL implementation is relevant, this paper is concerned with the automatic mapping of service models to BPEL processes, in line with model-based development. Moreover it discusses how to validate services with respect to collaboration models both at-design time and at run-time, and presents the bProgress software environment, which is made up of a number tools developed during this research.