Workflow Modeling

14,000,000 Leading Edge Experts on the ideXlab platform

Scan Science and Technology

Contact Leading Edge Experts & Companies

Scan Science and Technology

Contact Leading Edge Experts & Companies

The Experts below are selected from a list of 16590 Experts worldwide ranked by ideXlab platform

Jiacun Wang - One of the best experts on this subject based on the ideXlab platform.

  • emergency healthcare Workflow Modeling and timeliness analysis
    Systems Man and Cybernetics, 2012
    Co-Authors: Jiacun Wang
    Abstract:

    A health emergency is a situation that poses an immediate risk to health and life and requires urgent intervention to prevent its worsening. Emergency healthcare service is a real-time service, where timeliness is critical to mission success. Workflow management technology has received considerable attention in the healthcare field in recent years for the automation of both intra- and interorganizational healthcare processes. However, no work on timeliness analysis has been reported. In our previous work, we proposed Workflows Intuitive and Formal Approach (WIFA) formalism for emergency response Workflow Modeling. In this paper, we extend our WIFA formalism to take task execution times into account to support emergency response timeliness analysis. An example of emergency healthcare shows how the timed WIFA Workflow model works.

  • dynamic Workflow Modeling and analysis in incident command systems
    Systems Man and Cybernetics, 2008
    Co-Authors: Jiacun Wang, Daniela Rosca, Williams Tepfenhart, Allen E Milewski, M Stoute
    Abstract:

    The Workflow management of incident command systems (ICSs) has been challenged by the systems' special requirements on flexibility, intuitiveness, and capacity of correctness verification. The significance of applying formal approaches to the Modeling and analysis of Workflows has been well recognized, and many such approaches have been proposed. However, these approaches require users to master considerable knowledge of the particular formalisms, which impacts the application of these approaches on a larger scale. This paper presents a new formal, yet intuitive, approach for the Modeling and analysis of Workflows, which attempts to overcome the aforementioned problem. In addition to the abilities of supporting Workflow validation and enactment, this new approach possesses the distinguishing feature of allowing users who are not proficient in formal methods to build up and dynamically modify the Workflow models that address the flexibility needs of ICSs.

  • Workflow management tool support for incident command systems
    International Conference on Networking Sensing and Control, 2006
    Co-Authors: M Stoute, Jiacun Wang, Daniela Rosca, Williams Tepfenhart, Allen Milewski
    Abstract:

    The dynamics and volunteer-based workforce characteristics of incident command systems raise a challenge to Workflow management. Incident command systems must be able to adapt to the ever changing surroundings and tasks during an incident. Furthermore, during an incident, the majority of workers are volunteers that vary in their knowledge of the fundamentals of Workflows. To address these challenges, we developed an intuitive, yet formal approach to Workflow Modeling, enactment and validation. In this paper, we introduce the tool support we designed for this purpose, to show that these two requirements are not contradictory. The expressive power of the approach is demonstrated through an example from an incident command system.

  • incident command system Workflow Modeling and analysis a case study
    2006
    Co-Authors: Jiacun Wang, Daniela Rosca, Williams Tepfenhart, Allen E Milewski
    Abstract:

    The dynamics and volunteer-based workforce characteristics of incident command systems have raised significant challenges to Workflow management systems. Incident command systems must be able to adapt to ever changing surroundings and tasks during an incident. These changes need to be known by all responsible parties, since people work in shifts, get tired or sick during the management of an incident. In order to create this awareness, job action sheets and forms have been created. We propose a paperless system that can dynamically take care of these aspects, and formally verify the correctness of the Workflows. Furthermore, during an incident, the majority of workers are volunteers that vary in their knowledge of computers, or Workflows. To address these challenges, we developed an intuitive, yet formal approach to Workflow Modeling, modification, enactment and validation. In this paper, we show how to apply this approach to address the needs of a typical incident command system Workflow.

  • an intuitive formal approach to dynamic Workflow Modeling and analysis
    Business Process Management, 2005
    Co-Authors: Jiacun Wang, Daniela Rosca, Williams Tepfenhart, Allen E Milewski, M Stoute
    Abstract:

    The increasing dynamics and the continuous changes of business processes raise a challenge to the research and implementation of Workflows. The significance of applying formal approaches to the Modeling and analysis of Workflows has been well recognized and many such approaches have been proposed. However, these approaches require users to master considerable knowledge of the particular formalisms, which impacts the application of these approaches on a larger scale. This paper presents a new formal, yet intuitive approach for the Modeling and analysis of Workflows, which attempts to overcome the above problem. In addition to the abilities of supporting Workflow validation and enactment, this new approach possesses the distinguishing feature of allowing users who are not proficient in formal methods to build up and dynamically modify the Workflow models that address their business needs.

M Stoute - One of the best experts on this subject based on the ideXlab platform.

  • dynamic Workflow Modeling and analysis in incident command systems
    Systems Man and Cybernetics, 2008
    Co-Authors: Jiacun Wang, Daniela Rosca, Williams Tepfenhart, Allen E Milewski, M Stoute
    Abstract:

    The Workflow management of incident command systems (ICSs) has been challenged by the systems' special requirements on flexibility, intuitiveness, and capacity of correctness verification. The significance of applying formal approaches to the Modeling and analysis of Workflows has been well recognized, and many such approaches have been proposed. However, these approaches require users to master considerable knowledge of the particular formalisms, which impacts the application of these approaches on a larger scale. This paper presents a new formal, yet intuitive, approach for the Modeling and analysis of Workflows, which attempts to overcome the aforementioned problem. In addition to the abilities of supporting Workflow validation and enactment, this new approach possesses the distinguishing feature of allowing users who are not proficient in formal methods to build up and dynamically modify the Workflow models that address the flexibility needs of ICSs.

  • Workflow management tool support for incident command systems
    International Conference on Networking Sensing and Control, 2006
    Co-Authors: M Stoute, Jiacun Wang, Daniela Rosca, Williams Tepfenhart, Allen Milewski
    Abstract:

    The dynamics and volunteer-based workforce characteristics of incident command systems raise a challenge to Workflow management. Incident command systems must be able to adapt to the ever changing surroundings and tasks during an incident. Furthermore, during an incident, the majority of workers are volunteers that vary in their knowledge of the fundamentals of Workflows. To address these challenges, we developed an intuitive, yet formal approach to Workflow Modeling, enactment and validation. In this paper, we introduce the tool support we designed for this purpose, to show that these two requirements are not contradictory. The expressive power of the approach is demonstrated through an example from an incident command system.

  • an intuitive formal approach to dynamic Workflow Modeling and analysis
    Business Process Management, 2005
    Co-Authors: Jiacun Wang, Daniela Rosca, Williams Tepfenhart, Allen E Milewski, M Stoute
    Abstract:

    The increasing dynamics and the continuous changes of business processes raise a challenge to the research and implementation of Workflows. The significance of applying formal approaches to the Modeling and analysis of Workflows has been well recognized and many such approaches have been proposed. However, these approaches require users to master considerable knowledge of the particular formalisms, which impacts the application of these approaches on a larger scale. This paper presents a new formal, yet intuitive approach for the Modeling and analysis of Workflows, which attempts to overcome the above problem. In addition to the abilities of supporting Workflow validation and enactment, this new approach possesses the distinguishing feature of allowing users who are not proficient in formal methods to build up and dynamically modify the Workflow models that address their business needs.

Williams Tepfenhart - One of the best experts on this subject based on the ideXlab platform.

  • dynamic Workflow Modeling and analysis in incident command systems
    Systems Man and Cybernetics, 2008
    Co-Authors: Jiacun Wang, Daniela Rosca, Williams Tepfenhart, Allen E Milewski, M Stoute
    Abstract:

    The Workflow management of incident command systems (ICSs) has been challenged by the systems' special requirements on flexibility, intuitiveness, and capacity of correctness verification. The significance of applying formal approaches to the Modeling and analysis of Workflows has been well recognized, and many such approaches have been proposed. However, these approaches require users to master considerable knowledge of the particular formalisms, which impacts the application of these approaches on a larger scale. This paper presents a new formal, yet intuitive, approach for the Modeling and analysis of Workflows, which attempts to overcome the aforementioned problem. In addition to the abilities of supporting Workflow validation and enactment, this new approach possesses the distinguishing feature of allowing users who are not proficient in formal methods to build up and dynamically modify the Workflow models that address the flexibility needs of ICSs.

  • Workflow management tool support for incident command systems
    International Conference on Networking Sensing and Control, 2006
    Co-Authors: M Stoute, Jiacun Wang, Daniela Rosca, Williams Tepfenhart, Allen Milewski
    Abstract:

    The dynamics and volunteer-based workforce characteristics of incident command systems raise a challenge to Workflow management. Incident command systems must be able to adapt to the ever changing surroundings and tasks during an incident. Furthermore, during an incident, the majority of workers are volunteers that vary in their knowledge of the fundamentals of Workflows. To address these challenges, we developed an intuitive, yet formal approach to Workflow Modeling, enactment and validation. In this paper, we introduce the tool support we designed for this purpose, to show that these two requirements are not contradictory. The expressive power of the approach is demonstrated through an example from an incident command system.

  • incident command system Workflow Modeling and analysis a case study
    2006
    Co-Authors: Jiacun Wang, Daniela Rosca, Williams Tepfenhart, Allen E Milewski
    Abstract:

    The dynamics and volunteer-based workforce characteristics of incident command systems have raised significant challenges to Workflow management systems. Incident command systems must be able to adapt to ever changing surroundings and tasks during an incident. These changes need to be known by all responsible parties, since people work in shifts, get tired or sick during the management of an incident. In order to create this awareness, job action sheets and forms have been created. We propose a paperless system that can dynamically take care of these aspects, and formally verify the correctness of the Workflows. Furthermore, during an incident, the majority of workers are volunteers that vary in their knowledge of computers, or Workflows. To address these challenges, we developed an intuitive, yet formal approach to Workflow Modeling, modification, enactment and validation. In this paper, we show how to apply this approach to address the needs of a typical incident command system Workflow.

  • an intuitive formal approach to dynamic Workflow Modeling and analysis
    Business Process Management, 2005
    Co-Authors: Jiacun Wang, Daniela Rosca, Williams Tepfenhart, Allen E Milewski, M Stoute
    Abstract:

    The increasing dynamics and the continuous changes of business processes raise a challenge to the research and implementation of Workflows. The significance of applying formal approaches to the Modeling and analysis of Workflows has been well recognized and many such approaches have been proposed. However, these approaches require users to master considerable knowledge of the particular formalisms, which impacts the application of these approaches on a larger scale. This paper presents a new formal, yet intuitive approach for the Modeling and analysis of Workflows, which attempts to overcome the above problem. In addition to the abilities of supporting Workflow validation and enactment, this new approach possesses the distinguishing feature of allowing users who are not proficient in formal methods to build up and dynamically modify the Workflow models that address their business needs.

Daniela Rosca - One of the best experts on this subject based on the ideXlab platform.

  • dynamic Workflow Modeling and analysis in incident command systems
    Systems Man and Cybernetics, 2008
    Co-Authors: Jiacun Wang, Daniela Rosca, Williams Tepfenhart, Allen E Milewski, M Stoute
    Abstract:

    The Workflow management of incident command systems (ICSs) has been challenged by the systems' special requirements on flexibility, intuitiveness, and capacity of correctness verification. The significance of applying formal approaches to the Modeling and analysis of Workflows has been well recognized, and many such approaches have been proposed. However, these approaches require users to master considerable knowledge of the particular formalisms, which impacts the application of these approaches on a larger scale. This paper presents a new formal, yet intuitive, approach for the Modeling and analysis of Workflows, which attempts to overcome the aforementioned problem. In addition to the abilities of supporting Workflow validation and enactment, this new approach possesses the distinguishing feature of allowing users who are not proficient in formal methods to build up and dynamically modify the Workflow models that address the flexibility needs of ICSs.

  • Workflow management tool support for incident command systems
    International Conference on Networking Sensing and Control, 2006
    Co-Authors: M Stoute, Jiacun Wang, Daniela Rosca, Williams Tepfenhart, Allen Milewski
    Abstract:

    The dynamics and volunteer-based workforce characteristics of incident command systems raise a challenge to Workflow management. Incident command systems must be able to adapt to the ever changing surroundings and tasks during an incident. Furthermore, during an incident, the majority of workers are volunteers that vary in their knowledge of the fundamentals of Workflows. To address these challenges, we developed an intuitive, yet formal approach to Workflow Modeling, enactment and validation. In this paper, we introduce the tool support we designed for this purpose, to show that these two requirements are not contradictory. The expressive power of the approach is demonstrated through an example from an incident command system.

  • incident command system Workflow Modeling and analysis a case study
    2006
    Co-Authors: Jiacun Wang, Daniela Rosca, Williams Tepfenhart, Allen E Milewski
    Abstract:

    The dynamics and volunteer-based workforce characteristics of incident command systems have raised significant challenges to Workflow management systems. Incident command systems must be able to adapt to ever changing surroundings and tasks during an incident. These changes need to be known by all responsible parties, since people work in shifts, get tired or sick during the management of an incident. In order to create this awareness, job action sheets and forms have been created. We propose a paperless system that can dynamically take care of these aspects, and formally verify the correctness of the Workflows. Furthermore, during an incident, the majority of workers are volunteers that vary in their knowledge of computers, or Workflows. To address these challenges, we developed an intuitive, yet formal approach to Workflow Modeling, modification, enactment and validation. In this paper, we show how to apply this approach to address the needs of a typical incident command system Workflow.

  • an intuitive formal approach to dynamic Workflow Modeling and analysis
    Business Process Management, 2005
    Co-Authors: Jiacun Wang, Daniela Rosca, Williams Tepfenhart, Allen E Milewski, M Stoute
    Abstract:

    The increasing dynamics and the continuous changes of business processes raise a challenge to the research and implementation of Workflows. The significance of applying formal approaches to the Modeling and analysis of Workflows has been well recognized and many such approaches have been proposed. However, these approaches require users to master considerable knowledge of the particular formalisms, which impacts the application of these approaches on a larger scale. This paper presents a new formal, yet intuitive approach for the Modeling and analysis of Workflows, which attempts to overcome the above problem. In addition to the abilities of supporting Workflow validation and enactment, this new approach possesses the distinguishing feature of allowing users who are not proficient in formal methods to build up and dynamically modify the Workflow models that address their business needs.

Tan Dongfeng - One of the best experts on this subject based on the ideXlab platform.

  • comparison of petri net based and uml activity diagram based Workflow Modeling
    Computer Simulation, 2006
    Co-Authors: Tan Dongfeng
    Abstract:

    Petri Net and UML Activity Diagram have both been play very import roles.But there are no researches on whether they are adaptable.It’s concluded that WFMS is reactive,coordinate and open when WFMS is analyzed.Since UML activity diagram has no proper semantics for Workflow Modeling,it has been proposed based on statechart.It was compared that how to use Petri Net and UML activity diagram to model Workflow.Then the conclusions are drawn that Petri Net is fit for the Modeling of closed and active system;UML Diagram is more fit for the Modeling of open and reactive system;Petri Net is fit for the Modeling of scare resources.Based on above,the conclusion is that UML Diagram is more fit for Workflow Modeling.