In: Proceedings of the International Conference on Software Engineering Advances, pages 1-45. 2006.
Abstract: 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.
Back to the Petri Nets Bibliography