Vers un modèle de vérification de la couche logique d'entreprise dans une architecture à 3 couches: modèle CPN-ECA

International audienceThis paper proposes a model for building a flexible system, which accepts and verifies the change on business logic, including both business processes and business rules, while the system has to cover the properties as reliability and reuse. In this model, the business process will be designed with Colour Petri Net and translated into a set of Event-Condition-Action rules, this set will be combined with business rules for checking the respect of a business process to the business rules in design and modifying the process. Hierarchical Colour Petri Net is also used to guarantee the reliability and to reuse properties of the system.Ce document propose un modèle pour la création d'un système flexible, qui accepte et vérifie les modifications apportées à la logique métier, y compris les processus et les règles métier, tandis que le système doit couvrir les propriétés en termes de fiabilité et de réutilisation. Dans ce modèle, le processus de gestion sera conçu avec un réseau Pétri coloré et traduit en un ensemble de règles Event-Condition-Action (ECA). Cet ensemble sera combiné à des règles de gestion permettant de vérifier le respect du processus de gestion par modifier le processus. Un réseau Pétri coloré hiérarchisé est également utilisé pour garantir la fiabilité et pour réutiliser les propriétés du systèm

Effect of venepuncture process design on efficiency and failure rates: a simulation model study for secondary care

Background: Healthcare aims to deliver good patient outcomes. For many clinical procedures there are multiple alternative task sequences that can be performed. These deviations can influence procedure reliability, efficiency of usage of hospital resources and risk to staff and patient safety. Venepuncture is one of the most common invasive procedures in healthcare. Literature of clinical practice shows evidence of wide variability in the procedure order and the duration of each step, which can depend on attributes, such as patient health, sampling method and staff skills. Objective: To use a computer simulation model based on Petri nets to evaluate the impact on outcomes of commonly practiced deviations from the venepuncture procedure guideline and variations in key dependent variables. The outcomes considered include the probability of successfully obtaining a blood sample and the procedure completion time. Design: A computer simulation model was constructed using the Petri net technique which mimics the different variations of the venepuncture procedure. Qualitative and quantitative data for the model was collected from the literature and through interviews and questionnaire responses from doctors and phlebotomists. Statistics on the reliability and duration for different variations were then calculated from the model output. Setting: A digital laboratory to model venepuncture in secondary care. Results: The model showed that the common practice of applying the tourniquet prior to vein identification and releasing it after sample tubes are filled may result in a ten-fold increase in sample haemolysis, compared to the recommended guideline procedure. Equipment layout on wards and patient vein prominence were identified as the two most important factors influencing time efficiency of blood sample collection. Conclusions: Petri net computer models were shown to be an effective method for evaluating the success rate and completion time of the venepuncture procedure under alternative task sequences and variations in key dependent variables. The results obtained from the model showed a significant increase in the rate of sample laboratory rejection due to haemolysis when commonly practiced deviations from the guideline procedure were performed. The rate of failure to collect a sample and the mean time for performing the procedure increased significantly for patients with less prominent veins and when the procedure was performed on unfamiliar wards. These results highlight the need for healthcare providers to ensure guidelines are followed when performing venepuncture, equipment layouts are standardised across locations and that the vein prominence of different patient groups is considered when allocating resources for blood sample collection

Business Process Simulation Using Coloured Petri Nets

Äriprotsesside juhtimine on tänapäeva maailmas muutunud järjest olulisemaks tänu suurenevatele nõudmistele protsesside tõhusamaks muutmisel. Protsesside juhtimisega üritatakse leida võimalikke kitsaskohti, tõsta tootlikust ja vähendada vajadust ressursside järjele. Paljud protsesside modelleerimise vahendid toetavad lisaks protsesside modelleerimisele mudelite juurutamist ning simulatsioone. Simulatsioonid on üks parimaid tehnikaid protsesside efektiivsemaks muutmisel. Enamus äriprotsesside modelleerimise standardeid ei toeta simulatsioone (k.a. de facto standard BPMN). Mitmed protsesside modelleerimise vahendid võimaldavad simulatsioone, kuid simulatsioonimootor on peidetud nende vahendite sisse. See piirab simulatsioonimootorite laiendatavust ning protsesside simulatsioonides tuleb läbi ajada tarkvara vahenditega. Kuid modelleerimistarkvara võimalused on võrreldes reaalse maailma situatsioonidega väga piiratud. Antud töö eesmärgiks on välja pakkuda eelpool mainitud probleemile üks võimalik lahendus – BPMN meta-mudeli laiendus simulatsiooni atribuutidega. Töös kasutatakse simulatsioonimootorit CPN Tools, mis baseerub Coloured Petri Nets (CPN) modelleerimis-keelel. CPN on loodud spetsiaalselt diskreetsete süsteemide simulatsiooni keeleks. Esmalt tehakse ülevaade BPMN standardist ning kahest levinumast BPMN modelleerimise vahendist – IBM WebSphere Modeller ja IPT Commerce. Järgnevalt antakse lühiülevaade Petri Nets ja CPN mudelitest ning CPN Tools modelleerimisvahendist. Kasutades olemasolevate vahendite analüüsist saadud kogemusi, laiendatakse BPMN standardi meta-mudelit simulatsioonide meta-mudeliga. Seejärel kirjeldatakse kuidas saada simulatsiooni andmetega täiendatud BPMN mudelist CPN mudel ning demonstreeritakse erinevaid võimalusi CPN mudelite simuleerimiseks kasutades CPN Tools vahendeid. Töös kirjeldatud simulatsiooni meta-mudel ja BPMN mudeli elementide teisendamine CPN mudeli konstruktsioonideks on esitatud üldiselt, sest eesmärgiks oli testida välja pakutava lahenduse võimalikkust. CPN Tools sai valitud simulatsioonimootoriks sellepärast, et tema mudelid on kirjeldatud kasutades XML-i. Töö edasiarendusena pakub autor välja BPMN mudelitest CPN mudelite automaatse konverteri loomist.Business process management plays an increasingly important role in the business world as it promotes effectiveness and efficiency in business operations. The simulation of business processes is one of the most versatile techniques for analyzing business processes quantitatively in order to identify and remove performance bottlenecks. The graphical representation of business process models has proven to be a very effective tool for presenting information to business stakeholders, including business analysts and system developers. Unfortunately most of the graphical business process modeling standards (including de facto standard BPMN) do not support attaching simulation information to the models. Major business process modelling tools and suites still provide ability to add simulation data and execute those models. However, only models designed with the tools themselves can be simulated and no extensibility mechanism is provided to add new features or change the pre-built simulation and reporting options. This paper proposes a meta-model for specifying simulation scenarios on the top of the BPMN meta-model. Also, the paper advocates using CPN Tools as an open and extensible business process model simulator. The paper provides an initial design of a transformation from BPMN process models to CPN models. The proposed design has been validated through one fully-worked case study

A Modular Integrated Development Environment for Coloured Petri Net Models

Distributed software systems are becoming increasingly popular and used. Most of modern distributed systems provide the application of concurrency, also in- cluding resource sharing, communication and synchronization between different modules. These distributed systems comes with the challenges concerning data synchronization, scalability and performance, among others. By modelling these systems helps with solving these challenges, and there exists multiple tools for this. CPN Tools is one of these tools. CPN Tools is used for editing, simulating and analyzing Coloured Petri nets models. A need has been identified to devel- oped new software for develop new and up to date tools for editing, simulating and analyzing Coloured Petri nets to further development and fit the increasing need for distributed systems. Answering this need, a new simulating tool has been proposed. This thesis proposes an editor focusing on the modelling and visualization with the potentially integrate this simulator. This editor consists of an application running on Electron and using GoJS for modelling. This has resulted in a modelling tool for creating CPN models, with the possibility of increased abstraction of the models of the modern distributed systems.Masteroppgave i Programvareutvikling samarbeid med HVLPROG399MAMN-PRO

A critical review on modelling formalisms and simulation tools in computational biosystems

Integration of different kinds of biological processes is an ultimate goal for whole-cell modelling. We briefly review modelling formalisms that have been used in Systems Biology and identify the criteria that must be addressed by an integrating framework capable of modelling, analysing and simulating different biological networks. Aware that no formalism can fit all purposes we realize Petri nets as a suitable model for Metabolic Engineering and take a deeper perspective on the role of this formalism as an integrating framework for regulatory and metabolic networks.Research supported by PhD grant SFRH/BD/35215/2007 from the Fundacao para a Ciencia e a Tecnologia (FCT) and the MIT-Portugal program

Colored Petri Net: Its application to Sucrose Biosynthesis Pathway in Plasmodium falciparum

Sucrose plays major role as macromolecule used in organisms including Plasmodium falciparum (P.f.) to generate glucose for energy production in the glycolysis pathway. A metabolic pathway is a series of chemical reactions, which goes through various intermediate compounds to transform input compounds into a product. In this work, we modelled a metabolic pathway in Plasmodium falciparum using Colored Petri Net Markup Language (CPNML). The model was used to examine the dynamic behavior of the sucrose biosynthesis pathway which shows the interactions between the metabolites and the reactions in the sucrose biosynthesis pathway of Plasmodium falciparum. We further analyzed the model for its structural and quantitative properties using Petri Net theory. Our model gives more insight to the structure of the pathway and helps to improve our understanding of the biological processes within this pathway.Keywords: Sucrose, Colored Petri Net, Plasmodium falciparu

CPN Modelling And Performance Analysis Of CBHSA

Security is a major issue associated with MAs and Hosts. MAs themselves may need to be protected from the hosts they visit and vice versa. For mobile multi agents, a new Cryptography Based Hierarchical Security Architecture (CBHSA) has already been proposed in our previous work. CBHSA provides four different kinds of algorithms to secure agents during migration which combines various existing security mechanisms such as encryption and decryption, signed agreement etc. This paper gives the description of Colored Petri Net (CPN) modelling of CBHSA and analyses the performance of CBHSA against some identified parameters. Different graphs have been developed for min, max and average values of different parameters. Simulation results show that CBHSA gives expected result and secure MAs and hosts from attacks

Modeling and Simulation of Task Allocation with Colored Petri Nets

The task allocation problem is a key element in the solution of several applications from different engineering fields. With the explosion of the amount of information produced by the today Internet-connected solutions, scheduling techniques for the allocation of tasks relying on grids, clusters of computers, or in the cloud computing, is at the core of efficient solutions. The task allocation is an important problem within some branch of the computer sciences and operations research, where it is usually modeled as an optimization of a combinatorial problem with the inconvenience of a state explosion problem. This chapter proposes the modeling of the task allocation problem by the use of Colored Petri nets. The proposed methodology allows the construction of compact models for task scheduling problems. Moreover, a simulation process is possible within the constructed model, which allows the study of some performance aspects of the task allocation problem before any implementation stage