Systematic design of web service transactions

The development of composite Web services is still not as simple as the original vision indicated. Currently, the designer of a composite service needs to consider many different design aspects at once. In this paper, we propose a modeling methodology based on UML which separates between the four concerns of structure, transactions, workflow, and security, each of which can be modeled by different experts. We have developed a proof-of-concept tool that is able to extract information from the model and transform it into a computer-read able format.