A holistic approach for soundness verification of decision-aware process models

\u3cp\u3eThe last decade has witnessed an increasing transformation in the design, engineering, and mining of processes, moving from a pure control-flow perspective to more integrated models where also data and decisions are explicitly considered. This calls for methods and techniques able to ascertain the correctness of such integrated models. Differently from previous approaches, which mainly focused on the local interplay between decisions and their corresponding outgoing branches, we introduce a holistic approach to verify the end-to-end soundness of a Petri net-based process model, enriched with case data and decisions. In addition, we present an effective, implemented technique that verifies soundness by translating the input net into a colored Petri net with bounded color sets, on which standard state space analysis techniques are subsequently applied. Experiments on real life illustrate the relevance and applicability in real settings.\u3c/p\u3

Regeneration of skeletal and cardiac muscle in mammals: do nonprimate models resemble human pathology?

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/74295/1/j.1524-475x.1999.00026.x.pd

Searching the Identity of Information Systems: A Study from Interdisciplinary Contexts

Part 5: Revisiting Concepts and TheoriesInternational audiencePurpose: The present paper addresses the problem of the information systems (IS) identity, in particular it makes an attempt to identify the intellectual causes that hinder the research about the core of IS and suggests how to remove them.Design/methodology/approach: Authors who argue on the cultural core of IS sometimes relate this argument to the ‘reference disciplines’ of IS such as economics and sociology. Authors rarely examine what happens in parallel domains of knowledge usually labeled as ‘cognate disciplines’ of IS. We fixed to extend inquiries on the close domains, in particular we have analyzed the literature of artificial intelligence, information retrieval, medical informatics, digital humanities and software engineering.Findings: Bibliographical evidence shows how these disciplines struggle with the ‘identity crisis’ as IS do; more precisely thinkers share non-trivial difficulties when they argue about broad topics connected to the information technology such as the possibilities and limits of computer systems, the transfer and diffusion of technology etc.Research implications: We recall how normally philosophy and science progress side to side and cooperate. Instead, the modern literature shows how computer science illustrates all the technical details but does not provide effective explanations to philosophers of post-computation disciplines. Several narrow theories underpin computer systems that prove to be futile to thinkers who address broad arguments. An apparent cause-effect relationship emerges between the fragmentary notions of computer science and the current ‘identity crisis’ of IS and cognate disciplines.Originality/value: This study leads to a ground-breaking conclusion. In the first stage, the solution to the identity problem should not be searched inside IS but outside. Secondly as soon as possible noteworthy efforts should be made in order to improve the theoretical basis of informatics. More precisely computing theorists should develop a unified cultural frame or, at least, should make significant progress toward this direction

The Caenorhabditis elegans Werner Syndrome Protein functions upstream of ATR and ATM in response to DNA Replication Inhibition and Double-Strand DNA Breaks

WRN-1 is the Caenorhabditis elegans homolog of the human Werner syndrome protein, a RecQ helicase, mutations of which are associated with premature aging and increased genome instability. Relatively little is known as to how WRN-1 functions in DNA repair and DNA damage signaling. Here, we take advantage of the genetic and cytological approaches in C. elegans to dissect the epistatic relationship of WRN-1 in various DNA damage checkpoint pathways. We found that WRN-1 is required for CHK1 phosphorylation induced by DNA replication inhibition, but not by UV radiation. Furthermore, WRN-1 influences the RPA-1 focus formation, suggesting that WRN-1 functions in the same step or upstream of RPA-1 in the DNA replication checkpoint pathway. In response to ionizing radiation, RPA-1 focus formation and nuclear localization of ATM depend on WRN-1 and MRE-11. We conclude that C. elegans WRN-1 participates in the initial stages of checkpoint activation induced by DNA replication inhibition and ionizing radiation. These functions of WRN-1 in upstream DNA damage signaling are likely to be conserved, but might be cryptic in human systems due to functional redundancy