Alexander Hirnschall

Learn More
At the CAiSE conference in Heidelberg in 1999, Wasim Sadiq and Maria Orlowska presented an algorithm to verify workflow graphs [19]. The algorithm uses a set of reduction rules to detect structural conflicts. This paper shows that the set of reduction rules presented in [19] is not complete and proposes an alternative algorithm. The algorithm translates(More)
In this paper, we present the architecture of XRL/Flower. XRL/Flower is a software tool, which benefits from the fact that it is based on both XML and Petri nets. Standard XML tools can be deployed to parse, check, and handle XRL documents. The Petri-net representation allows for a straightforward and succinct implementation of the workflow engine. XRL(More)
The design of active object-oriented databases includes modeling the structure of objects in the form of attributes and relationships, the passive behavior of objects in the form of operations, and the active behavior of objects in the form of business rules. Business rules state which prede ned situations have to be detected by monitoring calendar time and(More)
  • 1