Formalization of the classification pattern: Survey of classification modeling in information systems engineering

Formalization is becoming more common in all stages of the development of information systems, as a better understanding of its benefits emerges. Classification systems are ubiquitous, no more so than in domain modeling. The classification pattern that underlies these systems provides a good case study of the move towards formalization in part because it illustrates some of the barriers to formalization; including the formal complexity of the pattern and the ontological issues surrounding the ‘one and the many’. Powersets are a way of characterizing the (complex) formal structure of the classification pattern and their formalization has been extensively studied in mathematics since Cantor’s work in the late 19th century. One can use this formalization to develop a useful benchmark. There are various communities within Information Systems Engineering (ISE) that are gradually working towards a formalization of the classification pattern. However, for most of these communities this work is incomplete, in that they have not yet arrived at a solution with the expressiveness of the powerset benchmark. This contrasts with the early smooth adoption of powerset by other Information Systems communities to, for example, formalize relations. One way of understanding the varying rates of adoption is recognizing that the different communities have different historical baggage. Many conceptual modeling communities emerged from work done on database design and this creates hurdles to the adoption of the high level of expressiveness of powersets. Another relevant factor is that these communities also often feel, particularly in the case of domain modeling, a responsibility to explain the semantics of whatever formal structures they adopt. This paper aims to make sense of the formalization of the classification pattern in ISE and surveys its history through the literature; starting from the relevant theoretical works of the mathematical literature and gradually shifting focus to the ISE literature. The literature survey follows the evolution of ISE’s understanding of how to formalize the classification pattern. The various proposals are assessed using the classical example of classification; the Linnaean taxonomy formalized using powersets as a benchmark for formal expressiveness. The broad conclusion of the survey is that (1) the ISE community is currently in the early stages of the process of understanding how to formalize the classification pattern, particularly in the requirements for expressiveness exemplified by powersets and (2) that there is an opportunity to intervene and speed up the process of adoption by clarifying this expressiveness. Given the central place that the classification pattern has in domain modeling, this intervention has the potential to lead to significant improvements.The UK Engineering and Physical Sciences Research Council (grant EP/K009923/1)

Modeling healthcare authorization and claim submissions using the openEHR dual-model approach

<p>Abstract</p> <p>Background</p> <p>The TISS standard is a set of mandatory forms and electronic messages for healthcare authorization and claim submissions among healthcare plans and providers in Brazil. It is not based on formal models as the new generation of health informatics standards suggests. The objective of this paper is to model the TISS in terms of the openEHR archetype-based approach and integrate it into a patient-centered EHR architecture.</p> <p>Methods</p> <p>Three approaches were adopted to model TISS. In the first approach, a set of archetypes was designed using ENTRY subclasses. In the second one, a set of archetypes was designed using exclusively ADMIN_ENTRY and CLUSTERs as their root classes. In the third approach, the openEHR ADMIN_ENTRY is extended with classes designed for authorization and claim submissions, and an ISM_TRANSITION attribute is added to the COMPOSITION class. Another set of archetypes was designed based on this model. For all three approaches, templates were designed to represent the TISS forms.</p> <p>Results</p> <p>The archetypes based on the openEHR RM (Reference Model) can represent all TISS data structures. The extended model adds subclasses and an attribute to the COMPOSITION class to represent information on authorization and claim submissions. The archetypes based on all three approaches have similar structures, although rooted in different classes. The extended openEHR RM model is more semantically aligned with the concepts involved in a claim submission, but may disrupt interoperability with other systems and the current tools must be adapted to deal with it.</p> <p>Conclusions</p> <p>Modeling the TISS standard by means of the openEHR approach makes it aligned with ISO recommendations and provides a solid foundation on which the TISS can evolve. Although there are few administrative archetypes available, the openEHR RM is expressive enough to represent the TISS standard. This paper focuses on the TISS but its results may be extended to other billing processes. A complete communication architecture to simulate the exchange of TISS data between systems according to the openEHR approach still needs to be designed and implemented.</p

Locating the Accretion Footprint on a Herbig Ae Star: MWC 480

Accretion is a fundamental process which establishes the dynamics of the protoplanetary disk and the final properties of the forming star. In solar-type stars, the star-disk coupling is determined by the magnetic field structure, which is responsible for funneling material from the disk midplane to higher latitudes on the star. Here, we use pan-chromatic data for the Herbig Ae star MWC 480 to address whether similar processes occur in intermediate-mass stars. MWC 480 has X-ray emission typical of actively accreting Herbig Ae stars, but with 5-9 x more photoelectric absorption than expected from optical and FUV data. We consider 3 sources for the absorption: the disk absorption in a wind or jet, and accretion. While we detect the disk in scattered light in are-analysis of archival HST data. the data are consistent with grazing illumination of the dust disk. We find that MWC 480's disk is stratified, geometrically thin, and is not responsible for the observed photoelectric absorption. MWC 480 drives a bipolar jet, but with a mass loss rate which is low compared to other Herbig Ae stars, where the outflow is more favorably oriented and enhanced photoelectric absorption is not seen. This excludes a jet or wind origin for the enhanced photoelectric absorption. We compare MWC 480's 0 VI emission with other Herbig Ae stars. The distribution of the emission in inclination, and lack of a correlation of profile shape and system inclination excludes equatorially-confined accretion for the FUSE Herbig Ae stars. The photoelectric absorption data further suggest that the accretion footprint on MWC 480 and other Herbig Ae stars is located at high temperate, rather than polar, latitudes. These findings support the presence of funneled accretion in MWC 480 and Herbig Ae stars, strengthening the parallel to T Tauri stars