For the most recent entries see the Petri Nets Newsletter.

On Describing, Analyzing, and Executing Complex Behavior of Services.

Roman, Dumitru; Toma, Ioan; Fensel, Dieter

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography