Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition

Download Now
Provided by: University of Portsmouth
Topic: Developer
Format: PDF
Identification of behavioral contradictions is an important aspect of software engineering, in particular for checking the consistency between a business process model used as system specification and a corresponding work flow model used as implementation. In this paper, the authors propose causal behavioral profiles as the basis for a consistency notion, which capture essential behavioral information, such as order, exclusiveness, and causality between pairs of activities. Existing notions of behavioral equivalence, such as bisimulation and trace equivalence, might also be applied as consistency notions. Still, they are exponential in computation.
Download Now

Find By Topic