Isotactics as a foundation for alignment and abstraction of behavioral models

There are many use cases in business process management that require the comparison of behavioral models. For instance, verifying equivalence is the basis for assessing whether a technical workflow correctly implements a business process, or whether a process realization conforms to a reference process. This paper proposes an equivalence relation for models that describe behaviors based on the concurrency semantics of net theory and for which an alignment relation has been defined. This equivalence, called isotactics, preserves the level of concurrency of aligned operations. Furthermore, we elaborate on the conditions under which an alignment relation can be classified as an abstraction. Finally, we show that alignment relations induced by structural refinements of behavioral models are indeed behavioral abstractions.

Two decades of exceptional achievements : does the evidence support nurses to favour Cochrane systematic reviews over other systematic reviews?

Systematic reviews (SRs) are increasingly recognised as the standard approach in summarising health research and influence clinical nursing practice and health care decisions (Coster and Norman, 2009, Grimshaw and Russell, 1993 and Griffiths and Norman, 2005). High quality SRs should have a clearly stated set of objectives with pre-defined eligibility criteria for studies; an explicit reproducible methodology; a systematic search that attempts to identify all studies that would meet the eligibility criteria; an assessment of the validity of the findings of the included studies; the assessment of risk of bias; and a systematic presentation and synthesis of the characteristics of findings of the included study (Higgins and Green, 2011). Although SRs are highly regarded and are expected to be rigorous, just as other research, their quality may vary (Choi et al., 2001 and Hoving et al., 2001)...

Multiple distribution static synchronous compensators for distribution feeder voltage support

The potential of multiple distribution static synchronous compensators (DSTATCOMs) to improve the voltage profile of radial distribution networks has been reported in the literature by few authors. However, the operation of multiple DSTATCOMs across a distribution feeder may introduce control interactions and/or voltage instability. This study proposes a control scheme that alleviates interactions among controllers and enhances proper reactive power sharing among DSTATCOMs. A generalised mathematical model is presented to analyse the interactions among any number of DSTATCOMs in the network. The criterion for controller design is developed by conducting eigenvalue analysis on this mathematical model. The proposed control scheme is tested in time domain on a sample radial distribution feeder installed with multiple DSTATCOMs and test results are presented.

Nutritional support in chronic obstructive pulmonary disease: a systematic review and meta-analysis

BACKGROUND: The efficacy of nutritional support in the management of malnutrition in chronic obstructive pulmonary disease (COPD) is controversial. Previous meta-analyses, based on only cross-sectional analysis at the end of intervention trials, found no evidence of improved outcomes. OBJECTIVE: The objective was to conduct a meta-analysis of randomized controlled trials (RCTs) to clarify the efficacy of nutritional support in improving intake, anthropometric measures, and grip strength in stable COPD. DESIGN: Literature databases were searched to identify RCTs comparing nutritional support with controls in stable COPD. RESULTS: Thirteen RCTs (n = 439) of nutritional support [dietary advice (1 RCT), oral nutritional supplements (ONS; 11 RCTs), and enteral tube feeding (1 RCT)] with a control comparison were identified. An analysis of the changes induced by nutritional support and those obtained only at the end of the intervention showed significantly greater increases in mean total protein and energy intakes with nutritional support of 14.8 g and 236 kcal daily. Meta-analyses also showed greater mean (±SE) improvements in favor of nutritional support for body weight (1.94 ± 0.26 kg, P < 0.001; 11 studies, n = 308) and grip strength (5.3%, P < 0.050; 4 studies, n = 156), which was not shown by ANOVA at the end of the intervention, largely because of bias associated with baseline imbalance between groups. CONCLUSION: This systematic review and meta-analysis showed that nutritional support, mainly in the form of ONS, improves total intake, anthropometric measures, and grip strength in COPD. These results contrast with the results of previous analyses that were based on only cross-sectional measures at the end of intervention trials.

An Economic Exclusion/Male Peer Support Model Looks at 'Wedfare' and Woman Abuse

In recent years ‘‘welfare reform’’ has become a vehicle for many neo-conservative social commentators to invoke marriage vows as a cure for poverty and the abuse of poor women. Their basic claim is that cohabiting relationships are not only more violent than marriages, but that married couples are happier, healthier, and wealthier than cohabiting ones. A policy then of encouraging cohabitants to marry, they claim, would lead to increased family wealth and decreased family violence. We examine these claims in this article, along with the alternative argument that marriage per se is not a solution to these problems. Alternatively we propose an economic exclusion/male peer support model that explains why many cohabiting men abuse women in intimate relationships. If forcing these couples to marry is not a solution, then structural solutions are necessary, along with progressive policy suggestions that address the antecedents of poverty and abuse.

Thinking Critically About Rural Gender Relations: Toward a Rural Masculinity/Male Peer Support Model of Separation/Divorce Sexual Assault

After decades of neglect, a growing number of scholars have turned their attention to issues of crime and criminal justice in the rural context. Despite this improvement, rural crime research is underdeveloped theoretically, and is little informed by critical criminological perspectives. In this article, we introduce the broad tenets of a multi-level theory that links social and economic change to the reinforcement of rural patriarchy and male peer support, and in turn, how they are linked to separation/divorce sexual assault. We begin by addressing a series of misconceptions about what is rural, rural homogeneity and commonly held presumptions about the relationship of rurality, collective efficacy (and related concepts) and crime. We conclude by recommending more focused research, both qualitative and quantitative, to uncover specific link between the rural transformation and violence against women.

Automated support for versioning compliance checking between workflow management and product lifecycle management (in Chinese)

With the development of enterprise informatisation, Product Lifecycle Management (PLM) systems have been widely deployed and applied in enterprises. This paper analyzes the requirement that conducting version operations on business objects as specified in process models should be compliant with the versioning policies imposed by product lifecycles. This leads to the introduction of the concept of versioning compliance, and the approach of compliance checking that we proposed in our earlier work, which comprises both syntactical compatibility and behavioural compatibility checking. The paper then focuses on the tool implementation for providing automated support to the versioning compliance checking. An empirical evaluation of the tool was also performed with industrial partners using the well-known questionnaire-based method. The evaluation and feedback from practitioners further evidence the practical significance of this research question in the PLM field and demonstrate that the proposed solution with its automated tool support possesses a high application potential.