On Describing, Analyzing, and Executing Complex Behavior of Services

This paper gives a high level overview of a framework for describing, analyzing, and executing complex behavior of services in the context of Service Oriented Computing. Having as a starting point the commonly used patterns in workflow specifications, we propose an extension to incorporate temporal constraints, and a way to root them on a logic for transaction composition (Concurrent Transaction Logic) and on a methodology for modelling systems (Abstract State Machines). We motivate our choices and explain the potential benefits of our framework. Finally, we propose concrete steps for future research in this area.