From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems

نویسندگان

  • R. S. Mans
  • Wil M. P. van der Aalst
  • Nick Russell
  • Piet J. M. Bakker
  • Arnold J. Moleman
  • Kristian Bisgaard Lassen
  • Jens Bæk Jørgensen
چکیده

Care organizations, such as hospitals, need to support complex and dynamic workflows. Moreover, many disciplines are involved. This makes it important to avoid the typical disconnect between requirements and the actual implementation of the system. This paper proposes an approach where an Executable Use Case (EUC) and Colored Workflow Net (CWN) are used to close the gap between the given requirements specification and the realization of these requirements with the help of a workflow system. This paper describes a large case study where the diagnostic trajectory of the gynaecological oncology care process of the Academic Medical Center (AMC) hospital is used as reference process. The process consists of hundreds of activities. These have been modeled and analyzed using an EUC and a CWN. Moreover, based on the CWN, the process has been implemented using four different workflow systems. This shows the applicability of our approach and allows for an evaluation of different approaches towards flexibility in workflow systems.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Let's Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System

This paper describes use of the formal modeling language Colored Petri Nets (CPNs) in the development of a new bank system. As a basis for the paper, we present a requirements model, in the form of a CPN, which describes a new bank work process that must be supported by the new system. This model has been used to specify, validate, and elicit user requirements. The contribution of this paper is...

متن کامل

From Task Descriptions via Coloured Petri Nets Towards an Implementation of a New Electronic Patient Record

We consider a given specification of functional requirements for a new electronic patient record system for Fyn County, Denmark. The requirements are expressed as task descriptions, which are informal descriptions of work processes to be supported. We describe how these task descriptions are used as a basis to construct two executable models in the formal modeling language Colored Petri Nets (C...

متن کامل

A timed colored Petri nets modeling for dynamic workflow in product development process

Product development process (PDP) is one of the most important business processes for enterprises but it has difficulty in workflow management because of the uncertain and dynamic characteristics. Thus, even though there have been many workflow modeling and management methods, they have limitations to deal with the special characteristics of PDP. We define PWF-nets based on timed colored Petri ...

متن کامل

A method of workflow scheduling based on colored Petri nets

Article history: Received 14 September 2010 Received in revised form 15 November 2010 Accepted 15 November 2010 Available online 24 November 2010 Effective methods of workflow scheduling can improve the performance of workflow systems. Based on the study of existing scheduling methods, a method of workflow scheduling, called phasedmethod, is proposed. This method is based on colored Petri nets....

متن کامل

Modeling and Performance Analysis of Collaborative Workflow System Based on Extended Colored Stochastic Petri Nets ⋆

Based on the Extended Colored Stochastic Petri Nets (ECSPN), the workflow system was modeled and simulated. To improve described capacity of the traditional Petri nets, a model of the extended colored stochastic Petri nets is proposed, and then an instance is given to explain how to model workflow system with priority queuing and multi-instances. Through analysis of the simulation data of the m...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Trans. Petri Nets and Other Models of Concurrency

دوره 3  شماره 

صفحات  -

تاریخ انتشار 2009