Normative requirements for regulatory compliance: An abstract formal framework

By definition, regulatory rules (in legal context called norms) intend to achieve specific behaviour from business processes, and might be relevant to the whole or part of a business process. They can impose conditions on different aspects of process models, e.g., control-flow, data and resources etc. Based on the rules sets, norms can be classified into various classes and sub-classes according to their effects. This paper presents an abstract framework consisting of a list of norms and a generic compliance checking approach on the idea of (possible) execution of processes. The proposed framework is independent of any existing formalism, and provides a conceptually rich and exhaustive ontology and semantics of norms needed for business process compliance checking. The possible uses of the proposed framework include to compare different compliance management frameworks (CMFs).

A probabilistic framework for analysing the compositionality of conceptual combinations

Conceptual combination performs a fundamental role in creating the broad range of compound phrases utilised in everyday language. While the systematicity and productivity of language provide a strong argument in favour of assuming compositionality, this very assumption is still regularly questioned in both cognitive science and philosophy. This article provides a novel probabilistic framework for assessing whether the semantics of conceptual combinations are compositional, and so can be considered as a function of the semantics of the constituent concepts, or not. Rather than adjudicating between different grades of compositionality, the framework presented here contributes formal methods for determining a clear dividing line between compositional and non-compositional semantics. Compositionality is equated with a joint probability distribution modelling how the constituent concepts in the combination are interpreted. Marginal selectivity is emphasised as a pivotal probabilistic constraint for the application of the Bell/CH and CHSH systems of inequalities (referred to collectively as Bell-type). Non-compositionality is then equated with either a failure of marginal selectivity, or, in the presence of marginal selectivity, with a violation of Bell-type inequalities. In both non-compositional scenarios, the conceptual combination cannot be modelled using a joint probability distribution with variables corresponding to the interpretation of the individual concepts. The framework is demonstrated by applying it to an empirical scenario of twenty-four non-lexicalised conceptual combinations.

Negative priming in naming of categorically related objects: An fMRI study

Ignoring an object slows subsequent naming responses to it, a phenomenon known as negative priming (NP). A central issue in NP research concerns the level of representation at which the effect occurs. As object naming is typically considered to involve access to abstract semantic representations, Tipper 1985 proposed that the NP effect occurred at this level of processing, and other researchers supported this proposal by demonstrating a similar result with categorically related objects (e.g., Allport et al., 1985; Murray, 1995), an effect referred to as semantic NP. However, objects within categories share more physical or structural features than objects from different categories. Consequently, the NP effect observed with categorically related objects might occur at a structural rather than semantic level of representation. We used event related fMRI interleaving overt object naming and image acquisition to demonstrate for the first time that the semantic NP effect activates the left posterior-mid fusiform and insular-opercular cortices. Moreover, both naming latencies and left posterior-mid fusiform cortex responses were influenced by the structural similarity of prime-probe object pairings in the categorically related condition, increasing with the number of shared features. None of the cerebral regions activated in a previous fMRI study of the identity NP effect (de Zubicaray et al., 2006) showed similar activation during semantic NP, including the left anterolateral temporal cortex, a region considered critical for semantic processing. The results suggest that the identity and semantic NP effects differ with respect to their neural mechanisms, and the label "semantic NP" might be a misnomer. We conclude that the effect is most likely the result of competition between structurally similar category exemplars that determines the efficiency of object name retrieval.

Business process management as the 'killer app' for Petri nets

Since their inception in 1962, Petri nets have been used in a wide variety of application domains. Although Petri nets are graphical and easy to understand, they have formal semantics and allow for analysis techniques ranging from model checking and structural analysis to process mining and performance analysis. Over time Petri nets emerged as a solid foundation for Business Process Management (BPM) research. The BPM discipline develops methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. Mainstream business process modeling notations and workflow management systems are using token-based semantics borrowed from Petri nets. Moreover, state-of-the-art BPM analysis techniques are using Petri nets as an internal representation. Users of BPM methods and tools are often not aware of this. This paper aims to unveil the seminal role of Petri nets in BPM.

Evaluating business process compliance management frameworks

This research contributes a formal framework to evaluate whether existing CMFs can model and reason about various types of normative requirements. The framework can be used to determine the level of coverage of concepts provided by CMFs, establish mappings between CMF languages and the semantics for the normative concepts and evaluate the suitability of a CMF for issuing a certification of compliance. The developed framework is independent of any specific formalism and it has been formally defined and validated through the examples of such mappings of CMFs.

Student understandings of numeracy problems: Semantic alignment and analogical reasoning

Despite compulsory mathematics throughout primary and junior secondary schooling, many schools across Australia continue in their struggle to achieve satisfactory numeracy levels. Numeracy is not a distinct subject in school curriculum, and in fact appears as a general capability in the Australian Curriculum, wherein all teachers across all curriculum areas are responsible for numeracy. This general capability approach confuses what numeracy should look like, especially when compared to the structure of numeracy as defined on standardised national tests. In seeking to define numeracy, schools tend to look at past NAPLAN papers, and in doing so, we do not find examples drawn from the various aspects of school curriculum. What we find are more traditional forms of mathematical worded problems.

Design challenges for electronic medication administration record systems in residential aged care facilities: A formative evaluation

Introduction Electronic medication administration record (eMAR) systems are promoted as a potential intervention to enhance medication safety in residential aged care facilities (RACFs). The purpose of this study was to conduct an in-practice evaluation of an eMAR being piloted in one Australian RACF before its roll out, and to provide recommendations for system improvements. Methods A multidisciplinary team conducted direct observations of workflow (n=34 hours) in the RACF site and the community pharmacy. Semi-structured interviews (n=5) with RACF staff and the community pharmacist were conducted to investigate their views of the eMAR system. Data were analysed using a grounded theory approach to identify challenges associated with the design of the eMAR system. Results The current eMAR system does not offer an end-to-end solution for medication management. Many steps, including prescribing by doctors and communication with the community pharmacist, are still performed manually using paper charts and fax machines. Five major challenges associated with the design of eMAR system were identified: limited interactivity; inadequate flexibility; problems related to information layout and semantics; the lack of relevant decision support; and system maintenance issues.We suggest recommendations to improve the design of the eMAR system and to optimize existing workflows. Discussion Immediate value can be achieved by improving the system interactivity, reducing inconsistencies in data entry design and offering dedicated organisational support to minimise connectivity issues. Longer-term benefits can be achieved by adding decision support features and establishing system interoperability requirements with stakeholder groups (e.g. community pharmacies) prior to system roll out. In-practice evaluations of technologies like eMAR system have great value in identifying design weaknesses which inhibit optimal system use.