P PWS iowf consistency


Verifying Consistency

of Message Sequence Charts and IOWF

  1. Verifying whether a set of Message Sequence Charts (MSC) and IOWF is consistent is very difficult.

  1. Comparing the dynamic behavior of 2 models and deciding whether they are equivalent is known to be a hard problem from a computational point of view.

  1. Equivalence of behavior is, in general, undecidable (for instance equality problem for Petri nets is undecidable).

  1. It is difficult to formalize a suitable notion of consistency (notion of branching bi-similarity is needed) to compare MSC and IOWF.

  1. Iteration and fixing the moment of choice complicates the definition of consistency.

  1. In this paper we assume: there is only one MSC (i.e. iteration and choice are only allowed inside of each local workflow processes). The business partners communicate according to one predefined communication pattern.

  1. A MSC and IOWF are 1-consistent if their corresponding behaviors coincide.

  1. Notion of 1-consistency is useful because there are situations where business partners follow one predefined communication pattern.

  1. Even if the whole interaction structure comprises many alternative communication patterns, parts without iteration and choice should be 1-consistent.

  1. Exceptions cause iteration and choice. By abstracting from exceptions we often obtain a situation where 1-consistency applies.

  1. The restriction to 1-consistency allows the application of the structural theory of Petri nets. Structural places can be used to prove 1-consistency, thus avoiding the state explosion problem.

2



Wyszukiwarka

Podobne podstrony:
cis581 iowf consistency
M PWS lecture14 IOWF
cis581 inheritance IOWF
PROGRAM AKT PRAWA MIEJSCOW PWS Nieznany
E PWS Banker 1
J PWS chapter6
O PWS LCA MSC
PWS exams PWS final
pws pjwstk hw cis581 hw#4
PWS exams PWS midterm
V1 PWS workflow mining algorithm
PwS Cieśla Dubiel 4
PwS Cieśla Dubiel dokumentacja użytkowa
N PWS workflow architectures
DVD a310 pws
PwS Cieśla Dubiel dokumentacja techniczna

więcej podobnych podstron