TY  - JOUR
A1  - Weidlich, Matthias
A1  - Polyvyanyy, Artem
A1  - Mendling, Jan
A1  - Weske, Mathias
T1  - Causal behavioural profiles - efficient computation, applications, and evaluation
JF  - Fundamenta informaticae
N2  - 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 quantification of behavioural deviation is needed along with concepts to isolate the source of deviation.
 In this article, we propose causal behavioural profiles as the basis for a consistency notion. These profiles capture essential behavioural information, such as order, exclusiveness, and causality between pairs of activities of a process model. Consistency based on these profiles is weaker than trace equivalence, but can be computed efficiently for a broad class of models. In this article, we introduce techniques for the computation of causal behavioural profiles using structural decomposition techniques for sound free-choice workflow systems if unstructured net fragments are acyclic or can be traced back to S-or T-nets. We also elaborate on the findings of applying our technique to three industry model collections.
KW  - Causal Behavioural Profiles
KW  - Formal Methods
KW  - Behavioural Abstraction
KW  - Structural Decomposition
KW  - Exclusiveness
KW  - Concurrency
KW  - Order Relations
KW  - Causality
KW  - Optionality
Y1  - 2011
U6  - https://doi.org/10.3233/FI-2011-614
SN  - 0169-2968
VL  - 113
IS  - 3-4
SP  - 399
EP  - 435
PB  - IOS Press
CY  - Amsterdam
ER  - 
TY  - JOUR
A1  - Libuda, Lars
A1  - Stimming, Madlen
A1  - Mesch, Christina
A1  - Warschburger, Petra
A1  - Kalhoff, Hermann
A1  - Koletzko, Berthold Viktor
A1  - Kersting, Mathilde
T1  - Frequencies and demographic determinants of breastfeeding and DHA supplementation in a nationwide sample of mothers in Germany
JF  - European journal of nutrition
N2  - Data derived from a nationwide consumer survey of 986 mothers with children between 5 and 36 months of age in Germany.
 78.3 % reported that they ever breastfed their children, and 55.6 % of the mothers exclusively breastfed for at least 4 months. Mothers who did not breastfeed were less likely to be informed by their paediatrician or midwife and were more often not informed at all; 27.8 % of mothers used DHA supplements during pregnancy, 16.8 % postnatal. DHA supplementation was more common in women with a high versus a low fish intake. The social status was the major determinant of breastfeeding initiation and exclusivity and also DHA supplementation.
 Breastfeeding initiation and duration of exclusive breastfeeding in Germany need to be improved. Professional counselling and support, with a focus on mothers from lower social classes, appears necessary to increase current rates of breastfeeding initiation, duration, and exclusiveness, but also to ensure a sufficient supply with DHA in pregnant and lactating women, particularly in women with low fish consumption.
KW  - Breastfeeding
KW  - Initiation
KW  - Exclusiveness
KW  - DHA supplements
KW  - Determinants
Y1  - 2014
U6  - https://doi.org/10.1007/s00394-013-0633-4
SN  - 1436-6207
SN  - 1436-6215
VL  - 53
IS  - 6
SP  - 1335
EP  - 1344
PB  - Springer
CY  - Heidelberg
ER  -