Conceptual models of the quality control process

This paper discusses issues of conceptual modelling of the product quality control process. Special attention is paid to the quality inspection. This process can be considered as a kind of product sorting the aim of which is to identify the product quality category. It is supposed that the sorting can be done according to prescriptive norms and standards. The paper considers the specific features of knowledge described by those norms and standards, discusses how to represent this knowledge by a logic program, and proposes a knowledge‐based architecture of the software system that acts as a part of the quality system and implements the product quality inspection process. Kokybės kontrolės procesų konceptualūs modeliai Santrauka Straipsnyje aptariamas produktu kokybes kontroles procesu konceptualus modeliavimas. Ypatingas demesys atkreipiamas i kokybes kontrole. Šis procesas gali būti nagrinejamas kaip produktu rūšiavimo variantas, kurio tikslas ‐ nustatyti produktu kokybes kategorija. Tariama, kad rūšiavimas gali būti atliekamas pagal aprašomas normas ir standartus. Straipsnyje nagrinejamos specifines žiniu savybes, aprašomos pagal šias normas ir standartus, aptariama, kaip aprašyti žinias logine programa ir pasiūlyti žinojimu paremtos architektūros programines irangos sistema, kuri veikia kaip kokybes sistemos dalis ir igyvendina produktu kokybes kontroles procesa. First Published Online: 14 Oct 201

A BPMN extension to support discrete-event simulation for healthcare applications:an explicit representation of queues, attributes and data-driven decision points

Stakeholder engagement in simulation projects is important, especially in healthcare where there is a plurality of stakeholder opinions, objectives and power. One promising approach for increasing engagement is facilitated modelling. Currently, the complexity of producing a simulation model means that the ‘model coding’ stage is performed without the involvement of stakeholders, interrupting the possibility of a fully-facilitated project. Early work demonstrated that with currently-available software tools we can represent a simple healthcare process using Business Process Model and Notation (BPMN) and generate a simulation model automatically. However, for more complex processes, BPMN currently has a number of limitations, namely the ability to represent queues and data-driven decision points. To address these limitations, we propose a conceptual design for an extension to BPMN (BPMN4SIM) using Model Driven Architecture. Application to an elderly emergency care pathway in a UK hospital shows that BPMN4SIM is able to represent a more-complex business process

Building web information systems using web services

Hera is a model-driven methodology for designing Web information systems. In the past a CASE tool for the Hera methodology was implemented. This software had different components that together form one centralized application. In this paper, we present a distributed Web service-oriented architecture for the Hera software in which components are mapped to Web services. The present CASE tool is based on two Web services: a data service which maps to the data component and a presentation service which maps to the presentation component. For these two Web services a detailed description of their interfaces in WSDL is given as well as examples of SOAP messages exchanged between these services and a client. The paper also proposes how to extend the present architecture in order to include other services like an adaptation service for performing presentation adaptation based on a user profile and a profile service as a shared memory service for user profiles

Detecting Inconsistencies in the Gene Ontology using Ontology Databases with Not-gadgets

Abstract. We present ontology databases with not-gadgets, a method for detecting inconsistencies in an ontology with large numbers of annotated instances by using triggers and exclusion dependencies in a unique way. What makes this work relevant is the use of the database itself, rather than an external reasoner, to detect logical inconsistencies given large numbers of annotated instances. What distinguishes this work is the use of event-driven triggers together with the introduction of explicit negations. We applied this approach toward the serotonin example, an open problem in biomedical informatics which aims to use annotations to help identify inconsistencies in the Gene Ontology. We discovered 75 inconsistencies that have important implications in biology, which include: (1) methods for refining transfer rules used for inferring electronic annotations, and (2) highlighting possible biological differences across species worth investigating.

Rule Determination and Process Verification Using Business Capabilities

Part 2: Process ModelingInternational audienceBusiness architectures are an important part of any enterprise architecture containing business processes and business capabilities. High quality business processes are key factors for the success of a company. Hence, the quality and the correctness or compliance have to be verified. We propose to use the business capabilities for an efficient and easily understandable definition of rules to perform this verification. The rule specification is based on rule patterns to define requirements from an operational point of view. These patterns are derived from experience gained in projects for modeling and optimization of business processes with extensive manual checks. For the rule validation we rely on model checking as an established technology to cope with the dynamic properties of processes. We present a tool based approach to automate this verification integrated in a unique system with a common user interface