Analysis of behavioural consistency is an important aspect of software engineering. In process and service management, consistency verification of behavioural models has manifold applications. For instance, a business process model used as system specification and a corresponding workflow model used as implementation have to be consistent. Another example would be the analysis to what degree a process log of executed business operations is consistent with the corresponding normative process model. Typically, existing notions of behaviour equivalence, such as bisimulation and trace equivalence, are applied as consistency notions. Still, these notions are exponential in computation and yield a Boolean result. In many cases, however, a quantif...
Compatibility of two process models can be verified using common notions of behaviour inheritance. H...
Abstract. We address the problem of diagnosing behavioral differences between pairs of business proc...
We address the problem of detecting and diagnosing behavioral differences between business process m...
Analysis of behavioural consistency is an important aspect of software engineering. In process and s...
Identification of behavioural contradictions is an important aspect of software engineering, in part...
Identification of behavioural contradictions is an important aspect of software engineering, in part...
Abstract. Identification of behavioural contradictions is an important aspect of software engineerin...
Abstract. Behavioural profiles have been proposed as a concept to judge on the behavioural consisten...
Process compliance measurement is getting increasing attention in companies due to stricter legal re...
© Springer International Publishing Switzerland 2016. Given two process models, the problem of behav...
Given two process models, the problem of behavioral comparison is that of determining if these model...
Behavioral profiles have been proposed as a behavioral abstraction of dynamic systems, specifically ...
Manufacturing of process driven business applications can be supported by process modeling efforts i...
Process compliance measurement is getting increasing attention in companies due to stricter legal re...
Abstract. Process compliance measurement is getting increasing atten-tion in companies due to strict...
Compatibility of two process models can be verified using common notions of behaviour inheritance. H...
Abstract. We address the problem of diagnosing behavioral differences between pairs of business proc...
We address the problem of detecting and diagnosing behavioral differences between business process m...
Analysis of behavioural consistency is an important aspect of software engineering. In process and s...
Identification of behavioural contradictions is an important aspect of software engineering, in part...
Identification of behavioural contradictions is an important aspect of software engineering, in part...
Abstract. Identification of behavioural contradictions is an important aspect of software engineerin...
Abstract. Behavioural profiles have been proposed as a concept to judge on the behavioural consisten...
Process compliance measurement is getting increasing attention in companies due to stricter legal re...
© Springer International Publishing Switzerland 2016. Given two process models, the problem of behav...
Given two process models, the problem of behavioral comparison is that of determining if these model...
Behavioral profiles have been proposed as a behavioral abstraction of dynamic systems, specifically ...
Manufacturing of process driven business applications can be supported by process modeling efforts i...
Process compliance measurement is getting increasing attention in companies due to stricter legal re...
Abstract. Process compliance measurement is getting increasing atten-tion in companies due to strict...
Compatibility of two process models can be verified using common notions of behaviour inheritance. H...
Abstract. We address the problem of diagnosing behavioral differences between pairs of business proc...
We address the problem of detecting and diagnosing behavioral differences between business process m...