P. Straub, C. Hurtado, Understanding Behavior of Business Process Models, Proceedings of the First International Conference on Coordination Models and Languages, Cesena, pp 440-443, 1996.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....ANDsplit, OR split, AND join, and OR join of the Workflow Coalition Meta Model [WC 96] can be represented. The semantics of the worflow model can be formally specified by translation rules into Petri nets. Simple correction properties can be defined which avoid anomalous behaviours like deadlocks [SH 96] Figure 2 depicts this part of the meta model. All concepts of the meta model can have attributes. We have no room for describing all of them. For instance, PTasks have pre post conditions, and invariants, i.e. logical assertions mainly using attributes of the Product Items that must hold ....

P. Straub, C. Hurtado, Understanding Behavior of Business Process Models, Proceedings of the First International Conference on Coordination Models and Languages, Cesena, pp 440-443, 1996.

....external Sockets of the refined model. C1 task has two output ports. This denotes implicitly an OR semantics: either C2 or C3 is executed and, similarly, C finishes as soon as C2 or C3 are terminated. The semantics of all components can be formally specified by translation rules into Petri nets [15]. Simple correction properties can be defined wich avoid anomalous behaviours like deadlocks. Fig.2. A process model with a refinement. Fig.3. The workflow part of the meta model. Project WorkProcess Organizational Structure Product MetaProcess whole part link WorkProcess PTask ....

P. Straub, C. Hurtado, Understanding Behavior of Business Process Models, First Int. Conf. on Coordination Models and Languages, pp 440-443, 1996.

....should exist, as suggested by the loop structure of conversation based workflow systems (see section 2.1) It would be also very interesting to specify what a well formed building block is. From the control perspective, some results exist for characterizing well formed networks of tasks (e.g. [15, 18]) based on the analysis of the corresponding Petri nets. From the collaboration point of view, a first idea could be to distinguish three phases within well formed collaborative patterns: a production phase , which must be a well formed network of tasks, a collaborative evaluation and or ....

STRAUB, P., HURTADO, C., Understanding Behavior of Business Process Models, in: Proceedings of the First International Conference on Coordination Models and Languages, Cesena, pp 440-443, 1996.

....OR split, AND join, and OR join of the Workflow Coalition Meta Model [WC 96] can be represented. The semantics of the worflow model can be formally specified by translation rules into Petri nets. Simple correction properties can be defined which avoid anomalous behaviours like deadlocks [SH 96] Fig.2. depicts this part of the meta model. Fig.2. The workflow part of the meta model. All concepts of the meta model can have attributes. We have no room for describing all of them. For instance, PTasks have preconditions, postconditions, and invariants, i.e. assertions mainly using ....

P. Straub, C. Hurtado, Understanding Behavior of Business Process Models, First Int. Conf. on Coordination Models and Languages, Cesena, pp 440-443, 1996.

....are a generalization of transition state diagrams from automata theory, whose global state is defined as the union of local states in the net [4] Having a distributed state, allows the specification of parallelism in addition to choice. In this paper we use our translation of CICN into Petri nets [6] (see Fig. 1 and Fig. 2a) An activity is useless if there is no causal relation between the execution of the activity and the exit node of the process. To define useless activities we need a notion of behavioral semantics of Petri nets that can represent causality, i.e. true parallelism as ....

....needed, then it is canceled immediately while keeping C s execution. This more complex behavior is achieved by an unbalanced connector, depicted as an and node with dangling incoming arcs in Fig. 3b. Unbalanced connectors are defined in the framework of an algebraic theory of threads of control [6]. The theory defines the concept of the thread of control (n) of a node n, and the subthread relation v. In Fig. 3b we have, e.g, A) or 1 ) v (start) exit) A) Phi (B) or 2 ) v (exit) B) 6v (or 2 ) C ) 6v (or 2 ) Unlike regular and nodes, in an unbalanced connector ....

Pablo Straub and Carlos Hurtado L. Understanding behavior of business process models. To appear in First International Conference on Coordination Models and Languages, Cesena, Italy, April 15-17, 1996.

No context found.

Pablo Straub and Carlos Hurtado L. Understanding behavior of business process models. In Coordination Languages and Models, First International Conference, Coordination '96, LNCS 1061, Springer, Cesena, Italy, April 15-17, 1996.

....downstream. The blobs represent complex subnets with simple control. origin of the problem, as in Figure 4. To provide a framework in which to understand behavior, we have developed a theory of threads of control that defines threads in a free choice net by algebraic non numeric expressions [10, 11]. The algebra has operators related to the division and join of threads of control. Nodes belong to the threads defined by the expressions. The theory formalizes the concept of a subthread using the subthread relation, e.g. in an and join the thread of every incoming edge is a subthread of the ....

....(activity C is omitted) saved when A terminates before B . This more complex behavior is achieved by an unbalanced connector, depicted as an and node with dangling incoming arcs in Figure 5d. Unbalanced connectors are defined in the framework of our algebraic theory of threads of control [10, 11]. Unlike regular and nodes, in an unbalanced connector the sum of the threads of the incoming edges is a subthread of the thread of the outgoing edge, hence the name. Upon firing an unbalanced connector, all tokens in other (parallel) subthreads are deleted, thus canceling any pending activity in ....

Pablo Straub and Carlos Hurtado L. Understanding behavior of business process models. In P. Ciancarini and C. Hankin (eds.), Coordination Languages and Models, Coordination'96, LNCS 1061, Springer, Cesena, Italy, April 15-17, 1996.

....net does not have simple control, it might be hard to find the origin of the problem, as in Figure 4. To provide a framework in which to understand behavior, we have developed a theory of threads of control that defines threads in a free choice net by algebraic non numeric expressions [9, 10]. The algebra has operators related to the division and join of threads of control. Nodes belong to the threads defined by the expressions. The theory formalizes the concept of a subthread, e.g. in an and join the thread of every incoming edge is a subthread of the thread of the outgoing edge. ....

....of the cost of executing B can be saved when A terminates before B . This more complex behavior is achieved by an unbalanced connector, depicted as an and node with dangling incoming arcs in Figure 5d. Unbalanced connectors are defined in the framework of our algebraic theory of threads of control [9, 10]. Unlike regular and nodes, in an unbalanced connector the sum of the threads the incoming edges is a subthread of the thread of the outgoing edge, hence the name. Upon firing an unbalanced connector, all tokens in other (parallel) subthreads are deleted, thus canceling any pending activity in ....

Pablo Straub and Carlos Hurtado L. Understanding behavior of business process models. To appear in First International Conference on Coordination Models and Languages, Cesena, Italy, April 15-17, 1996.

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