University of Portsmouth
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.