Detecting the Effects of Changes on the Compliance of Cross-organizational Business Processes

An emerging challenge for collaborating business partners is to properly define and evolve their cross-organizational processes with respect to imposed global compliance rules. Since compliance verification is known to be very costly, reducing the number of compliance rules to be rechecked in the context of process changes will be crucial. Opposed to intra-organizational processes, however, change effects cannot be easily assessed in such distributed scenarios, where partners only provide restricted public views and assertions on their private processes. Even if local process changes are invisible to partners, they might affect the compliance of the cross-organizational process with the mentioned rules. This paper provides an approach for ensuring compliance when evolving a cross-organizational process. For this purpose, we construct qualified dependency graphs expressing relationships between process activities, process assertions, and compliance rules. Based on such graphs, we are able to determine the subset of compliance rules that might be affected by a particular change. Altogether, our approach increases the efficiency of compliance checking in cross-organizational settings

Phenotypic continuum of NFU1-related disorders.

Bi-allelic variants in Iron-Sulfur Cluster Scaffold (NFU1) have previously been associated with multiple mitochondrial dysfunctions syndrome 1 (MMDS1) characterized by early-onset rapidly fatal leukoencephalopathy. We report 19 affected individuals from 10 independent families with ultra-rare bi-allelic NFU1 missense variants associated with a spectrum of early-onset pure to complex hereditary spastic paraplegia (HSP) phenotype with a longer survival (16/19) on one end and neurodevelopmental delay with severe hypotonia (3/19) on the other. Reversible or irreversible neurological decompensation after a febrile illness was common in the cohort, and there were invariable white matter abnormalities on neuroimaging. The study suggests that MMDS1 and HSP could be the two ends of the NFU1-related phenotypic continuum

Interval soundness of resource-constrained workflow nets : decidability and repair

Correctness of workflow design cannot be evaluated by checking the execution for one single instance of the workflow, because instances, even when being independent from the data perspective, depend on each other with respect to the resources they rely on for executing tasks. The resources are shared among the instances of the same workflow; moreover, other workflows can use the same resources. Therefore, we enrich the workflow model with the model of its environment that captures the resource perspective. This allows us to investigate the verification of workflows extended with resources in a more general setting than it was previously done. We focus on the soundness property, which means the ability to terminate properly from any reachable state of the system, for every instance of the system. We show the decision procedure for soundness and how to repair a workflow that is unsound from the resource perspective by synthesizing a controller such that the composition of the workflow and the controller is sound by design

Phototoxicity activity of Psoralea drupacea L. using Atremia salina bioassay system

Objective: Phototoxicity is a kind of dermatitis that is activated by exposure to ultraviolet light following the administration of some drugs or natural products. Artemia salina (A. salina) (brine shrimp) has been effectively applied for toxicity testing and is perfect for biological screening of many chemicals for simultaneous evaluation of toxicity and phototoxicity. The objective of this study was to investigate the phototoxic activitiy of the methanolic extract and chloroform and CH3OH/H2O2 fraction of Psoralea drupacea (P. drupacea). Materials and methods: The phototoxic effect of the methanolic extract, chloroform and CH3OH/H2O2 fractions of P. drupacea was evaluatedusing A. salina bioassay system. Different concentrations of methanolic extract and fractions of P. drupacea were added to the plate of one-day old larvae followed by exposure to UV radiation at 366 nm in three different exposure times (0, 4 and 20 h). Mortality was determined 24h after the start of the irradiation.  Results: The value of LC50 of P. drupacea methanolic extract and methoxalen as positive control were 0.64 and 3.5´10-4 mg/ml, respectively. P. drupacea methanolic extract and chloroform fraction demonstrated phototoxic activity after 4 h radiation. Conclusion: The result showed that P. drupacea methanolic extract and chloroform fraction have phototoxicity in A. salina bioassay system and their toxic effect is related to phototoxic constituents such as psoralen

Diagnostic information in compliance checking

Compliance checking is gaining importance as today's organizations need to show that operational processes are executed in a controlled manner while satisfying predefined (legal) requirements. Deviations may be costly and expose the organization to severe risks. Compliance checking is of growing importance for the business process management and auditing communities. This paper presents a comprehensive compliance checking approach based on Petri-net fragments and alignments. 55 control flow oriented compliance rules, distributed over 15 categories. We formalize them in terms of Petri-net fragments describing the compliant behavior. To check compliance with respect to a rule, the event log describing the observed behavior is aligned with the corresponding fragment. The approach is flexible (easy to add new patterns), robust (the selected alignment between log and fragment is guaranteed to be optimal), and allows for both a quantification of compliance and intuitive diagnostics explaining deviations at the level of alignments. The approach can also handle resource-based and data-based compliance rules and is supported by ProM plug-ins

Diagnostic information in compliance checking

Compliance checking is gaining importance as today's organizations need to show that operational processes are executed in a controlled manner while satisfying predefined (legal) requirements. Deviations may be costly and expose the organization to severe risks. Compliance checking is of growing importance for the business process management and auditing communities. This paper presents a comprehensive compliance checking approach based on Petri-net fragments and alignments. 55 control flow oriented compliance rules, distributed over 15 categories. We formalize them in terms of Petri-net fragments describing the compliant behavior. To check compliance with respect to a rule, the event log describing the observed behavior is aligned with the corresponding fragment. The approach is flexible (easy to add new patterns), robust (the selected alignment between log and fragment is guaranteed to be optimal), and allows for both a quantification of compliance and intuitive diagnostics explaining deviations at the level of alignments. The approach can also handle resource-based and data-based compliance rules and is supported by ProM plug-ins