van der Aalst, W. & Basten, T. (2002), `Inheritance of Workflows: An Approach to Tackling Problems Related to Change', Theoretical Computer Science 270(1-2), 125--203.  Home/Search   Document Details and Download   Summary   Related Articles   Check

No context found.

van der Aalst, W. & Basten, T. (2002), `Inheritance of Workflows: An Approach to Tackling Problems Related to Change', Theoretical Computer Science 270(1-2), 125--203.

No context found.

van der Aalst, W. M. P. and Basten, T. Inheritance of workflows: an approach to tackling problems related to change. Theoret. Comp. Sci., to appear.

No context found.

W.M.P. van der Aalst and T. Basten. Inheritance of Workflows: An Approach to Tackling Problems Related to Change. Theoretical Computer Science, 270(1-2):125--203, 2002.

No context found.

W.M.P. van der Aalst, T. Basten, Inheritance of Workflows: An Approach to Tackling Problems Related to Change, Theoretical Computer Science, 270(1-2) (2002) 125-203.

No context found.

W.M.P. van der Aalst and T. Basten. Inheritance of Workflows: An Approach to Tackling Problems Related to Change. Theoretical Computer Science, 270(1-2):125--203, 2002.

No context found.

W.M.P. van der Aalst and T. Basten, Inheritance of workflows: An approach to tackling problems related to change, Theoretical Computer Science 270(1--2) (2002) 125--200.

....example: How to make sure that the local implementation of a workflow does not create all kinds of anomalies over organizational borders To solve these problems we propose the P2P (Public ToPrivate) approach which is based on projection inheritance. Projection inheritance has been defined in [7, 14, 15] and uses encapsulation as a mechanism to establish subclass8 superclass relationships. In contrast to many other notions of inheritance, it primarily addresses the dynamic behavior rather than data types or method signatures. The P2P approach consists of three steps. In the first step, the ....

....the notations, techniques, and theoretical results used in this paper. Unfortunately the proofs are quite complex and require a lot of preliminaries. The paper builds on Petri nets [43, 44] sound WF nets [1] branching bisimilarity [25] projection inheritance [14] and GCD LCM of processes [6, 7]. The corresponding concepts are all introduced in Section 2. Readers familiar with these concepts can pass over selected parts of this section. Section 3 introduces the framework used to model interorganizational workflows. The P2P approach is described in Section 4. Section 5 demonstrates that ....

[Article contains additional citation context not shown here]

W.M.P. van der Aalst and T. Basten. Inheritance of Workflows: An Approach to Tackling Problems Related to Change. Theoretical Computer Science, 270(1-2):125--203, 2002.

....programming language supports inheritance with respect to the static structure of a class (i.e. the interface consisting of attributes and methods) Since workflow management aims at supporting business processes, these results are not very useful in this context. However, the work presented in [4, 6, 13, 14] deals with inheritance of dynamic behavior in a comprehensive manner. This work is based on a particular class of Petri nets: the so called sound workflow nets defined in [1] This class of Petri nets corresponds to workflow processes without deadlocks, livelocks, and other anomalies. Other ....

....to the workflow designer or the designer has to program code to benefit from the object oriented features provided by the host language. Nevertheless, we think that inheritance is a very useful concept for workflow management. Therefore, we advocate the use of the inheritance notions presented in [4, 6, 13, 14] for the four workflow related problems already mentioned in the abstract: 1. How to deal with the dynamic change problem (Avoiding consistency problems when migrating cases from one process to another. 2. How to deal with the management information problem (Providing aggregate management ....

[Article contains additional citation context not shown here]

W.M.P. van der Aalst and T. Basten. Inheritance of Workflows: An Approach to Tackling Problems Related to Change. Theoretical Computer Science, 270(1-2):125--203, 2002.

....of the objects of its superclass. Clearly, this is not sufficient to realize the full potential of inheritance [8, 14, 22, 23] Therefore, our ultimate quest is to extend each diagram type of UML with suitable notions of inheritance. For this purpose we use theoretical results presented in [1 3, 5, 6] as a stepping stone. These results provide four notions of behavioral inheritance, inheritance preserving transformation rules, transfer rules, and advanced notions such as the Greatest Common Divisor (GCD) of a set of behavioral models. sequence diagram collaboration diagram statechart ....

....UML and map these parts onto a so called semantic domain. A semantic domain is some formal language allowing for a precise definition of inheritance and equipped with analysis techniques to verify whether one process is a subclass of another process. Based on the theoretical results presented in [1 3, 5, 6] we can use three semantic domains. This is illustrated in Figure 1. The core semantic domain is formed by transition systems using branching bisimilarity as an equivalence relation [6] The mapping from specific models in both a Petri net and process algebraic setting to transition systems is ....

[Article contains additional citation context not shown here]

W.M.P. van der Aalst and T. Basten. Inheritance of Workflows: An Approach to Tackling Problems Related to Change. Theoretical Computer Science, 270(1-2):125--203, 2002.

....reactivity in a WFS. By contrast, in our semantics the WFS does not do activities; it merely routes cases. In Petri nets that model activities as transitions, the routing is not modelled at all. Therefore, such Petri nets do not model a WFS. As an aside, note that in some variant of Workflow Nets [5], some transitions can be labelled with a silent action that is not observable for the environment. The semantics of these nets is defined in process algebra. Van der Aalst [4] suggests to use the silent step to model routing transitions [5] Transitions labelled with an observable action then ....

....As an aside, note that in some variant of Workflow Nets [5] some transitions can be labelled with a silent action that is not observable for the environment. The semantics of these nets is defined in process algebra. Van der Aalst [4] suggests to use the silent step to model routing transitions [5]. Transitions labelled with an observable action then represent workflow tasks. However, in that processalgebraic semantics, the silent action can be abstracted from sometimes. For example, a sequential workflow specification with two tasks a and b and a routing transition from a to b is equal to ....

W.M.P. van der Aalst and T. Basten. Inheritance of workflows: An approach to tackling problems related to change. Theoretical Computer Science, 270(12) :125--203, 2001.

....We have identified four notions of inheritance. In this paper, we only refer to life cycle inheritance. Inheritance of dynamic behavior is a very powerful concept that has many applications. Inheritance preserving transformation rules and transfer rules offer support at design time and at run time [8]. Subclass superclass relationships also can be used to enforce correct processes in an E commerce setting. If business partners only execute subclass processes of some common contract process, then the overall workflow will be executed as agreed. It should be noted that workflows crossing the ....

....Consider a case that is moved from a process with A and B in parallel to a process with A and B in sequence. If the case is in a state after executing B but before executing A, there is no corresponding state in the sequential process. This phenomenon is known as the dynamic change bug [25] In [8] it is demonstrated that these anomalies can be avoided if the old and the new process are in a subclass superclass relation. In [16] the problem is tackled for workflow processes without loops. Despite these partial solutions, the more general problem remains unsolved. 8. How to incorporate ....

W.M.P. van der Aalst and T. Basten. Inheritance of Workflows: An Approach to Tackling Problems Related to Change. Theoretical Computer Science, 270(1-2):125--203, 2002.

....and management functions (mani) To answer these questions, we need to select a process modeling technique to reason about the dynamic properties of processes. Future research aims at answering these questions in a Petri net based setting using recent results on inheritance of dynamic behavior [3,5,7]. In [3,5,7] transformation rules are given that preserve certain inheritance relations. If such relations exist between the minimal representative and its fellow children, i.e. every child is a subclass of the minimal representative, then it should be possible to truly solve the problems ....

....functions (mani) To answer these questions, we need to select a process modeling technique to reason about the dynamic properties of processes. Future research aims at answering these questions in a Petri net based setting using recent results on inheritance of dynamic behavior [3,5,7] In [3,5,7] transformation rules are given that preserve certain inheritance relations. If such relations exist between the minimal representative and its fellow children, i.e. every child is a subclass of the minimal representative, then it should be possible to truly solve the problems discussed in this ....

W.M.P. van der Aalst and T. Basten. Inheritance of Workflows: An Approach to Tackling Problems Related to Change. Technical report. Eindhoven University of Technology, Eindhoven, 1999.

....26 onto this LCM is straightforward and can be done automatically, e.g. there are eleven cases in the state corresponding to place s2 (11=2 5 1 2 1) A more detailed discussion of GCD and LCM is outside the scope of this paper. For a formal definition of GCD and LCM the reader is referred to [7]. registration v v evaluate clama Figure 28: The revised non atomic concrete process handle insurance claim. To illustrate to application of the inheritance based techniques we return to our process handle insurance claim. Figure 28 shows a version of the handle insurance claim where ....

....of GCD and LCM provide concrete mechanisms for defining a minimal representative, handling dynamic change, and generating management information, and are therefore crucial for the applicability of the approach. For a formalization of the inheritance concepts we refer to two technical reports [7,15] containing detailed proofs of the statements made in this paper. Moreover, the four inheritance notions can be verified with Woflan [48] Woflan is our workflow verification tool and can interface with several workflow products including COSA, Staffware, Protos, and Meteor. 9 Conclusion This ....

[Article contains additional citation context not shown here]

W.M.P. van der Aalst and T. Basten. Inheritance of Workflows: An approach to tackling problems related to change. Computing Science Reports 99/06, Eindhoven University of Technology, Eindhoven, 1999. To appear in Theoretical Computer Science.

....uses a correctness criterion which corresponds to soundness and the class of workflow processes considered are in essence acyclic freechoice P T nets. Some work on the compositional verification of workflows, using well known Petri net results such as the refinement rules in [44] can be found in [4, 5, 46]. As far as we know, only one other tool has been developed for verifying workflows: FlowMake [36] FlowMake is a tool based on the reduction technique described in [37] and can interface with the IBM MQSeries Workflow product. FlowMake can only handle acyclic workflows and provides fewer ....

....of the first two options might be a reasonable compromise between the amount of effort needed for realizing visual diagnostic information and ease of interpretation by workflow designers. A direction for future research is the use of the inheritance preserving transformation rules presented in [5] for incremental design and verification of workflows. Starting from a correct workflow template [30] or an already verified existing workflow process definition, these rules allow for safe extensions which preserve the soundness property. Correctness by design is obviously preferable over the ....

W.M.P. van der Aalst and T. Basten. Inheritance of Workflows: An Approach to Tackling Problems Related to Change. To appear in Theoretical Computer Science.

....workflow in any way they want, as long as they make sure that their private workflow is a subclass of their public part. The subclass relationship between WF nets is based on a specific notion of inheritance, called projection inheritance. Projection inheritance has been defined in [6, 10] and uses encapsulation as a mechanism to establish subclass superclass relationships. The basic idea of projection inheritance can be characterized as follows: If it is not possible to distinguish the behaviors of # and # when arbitrary methods of # are executed, but when only the effects of ....

.... inserting methods in between existing methods (rule ### ) and (3) putting new methods in parallel with existing methods (rule #### ) The formal definitions of these transformation rules, their preconditions, and the proofs that these rules actually preserve projection inheritance are given in [6, 10]. In the P2P approach, projection inheritance is used as a formal link between the public parts of the domains and the private workflows which are actually executed. Transformation rules are the key mechanism to create specializations of a given WFnet, making use of the fact that applying these ....

[Article contains additional citation context not shown here]

W.M.P. van der Aalst and T. Basten. Inheritance of Workflows: An approach to tackling problems related to change. Theoretical Computer Science, 2001 (to appear).

....uses a correctness criterion which corresponds to soundness and the class of workflow processes considered are in essence acyclic free choice P T nets. Some work on the compositional verification of workflows, using well known Petri net results such as the refinement rules in [49] can be found in [5, 6, 51]. As far as we know, only one other tool has been developed for verifying workflows: FlowMake [41] 36 FlowMake is a tool based on the reduction technique described in [42] and can interface with the IBM MQSeries Workflow product. FlowMake can only handle acyclic workflows and provides fewer ....

....of the first two options might be a reasonable compromise between the amount of effort needed for realizing visual diagnostic information and ease of interpretation by workflow designers. A direction for future research is the use of the inheritance preserving transformation rules presented in [6] for incremental design and verification of workflows. Starting from a correct workflow template [35] or an already verified existing workflow process definition, these rules allow for safe extensions which preserve the soundness property. Correctness by design is obviously preferable over the ....

W.M.P. van der Aalst and T. Basten. Inheritance of Workflows: An Approach to Tackling Problems Related to Change. To appear in Theoretical Computer Science.

No context found.

W. M. P. van der Aalst and T. Basten. Inheritance of workflows: an approach to tackling problems related to change. TCS, 270(1--2):125--203, 2002.

No context found.

W.M.P. van der Aalst and T. Basten. Inheritance of workflows: An approach to tackling problems related to change. Theor. Comp. Sci., 270(1-2):125--203, 2001.

No context found.

W.M.P. van der Aalst and T. Basten. Inheritance of Workflows - An approach to tackling problems related to change. Technical Report 99/06, Eindhoven University of Technology, 1999.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC