SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Let’s Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System
13 references·7 citing·30 second hop
Let’s Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System (2005)Let’s Go All the Way: From Requirements V…Using BPMN to Model a BPEL Process (2005)Using BPMN to Model a BPEL Pr…Process‐Aware Information Systems (2005)Process‐Aware Information Sys…Analyzing BPEL processes using Petri nets (2005)Analyzing BPEL processes usin…Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management (2004)Business Process Management D…BRIDGING THE GAP BETWEEN BUSINESS MODELS AND WORKFLOW SPECIFICATIONS (2004)BRIDGING THE GAP BETWEEN BUSI…Workflow Patterns (2003)Workflow PatternsSoundness and Separability of Workflow Nets in the Stepwise Refinement Approach (2003)Soundness and Separability of…A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling (2003)A Top-Down Petri Net-Based Ap…Workflow Management (2002)Workflow ManagementModeling E-service Orchestration through Petri Nets (2002)Modeling E-service Orchestrat…Workflow Management: Models, Methods, and Systems (2001)Workflow Management: Models, …Diagnosing Workflow Processes using Woflan (2001)Diagnosing Workflow Processes…An overview of workflow management: From process modeling to workflow automation infrastructure (1995)An overview of workflow manag…An Empirical Study of Error Patterns in Industrial Business Process Models (2014)An Empirical Study of Error P…CPN Tools 4 : a process modeling tool combining declarative and imperative paradigms (2013)CPN Tools 4 : a process model…Workflow support for the healthcare domain (2011)Workflow support for the heal…On the transformation of control flow between block-oriented and graph-oriented process modelling languages (2008)On the transformation of cont…From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system (2007)From task descriptions via co…WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL (2006)WorkflowNet2BPEL4WS: A Tool f…Translating workflow nets to BPEL (2005)Translating workflow nets to …Process innovation: reengineering work through information technology (1993)THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)Best practices in business process redesign: an overview and qualitative evaluation of successful redesign heuristics (2004)Case handling: a new paradigm for business process support (2004)DECLARE: Full Support for Loosely-Structured Processes (2007)Verification of workflow nets (1997)Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques (2000)Translating unstructured workflow processes to readable BPEL: Theory and implementation (2006)Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants (2007)Formalization and verification of event-driven process chains (1999)The importance of business process modeling in software systems design (2008)Unleashing the Effectiveness of Process-Oriented Information Systems: Problem Analysis, Critical Success Factors, and Implications (2008)Using process mining to learn from process changes in evolutionary systems (2008)Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control (1998)Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition (2007)The P2P Approach to Interorganizational Workflows (2013)Business Process Management: A Comprehensive Survey (2013)A computer scientist's introductory guide to business process management (BPM) (2009)A Data-Centric Design Methodology for Business Processes (2009)Business Process Management (2016)Business Process Management: A Survey (2003)YAWL: yet another workflow language (2004)Scientific workflow management and the Kepler system (2005)Process mining: a research agenda (2003)Design Science in Information Systems Research1 (2004)Declarative workflows: Balancing between flexibility and support (2009)Digital transformation and the new logics of business process management (2020)On the Translation between BPMN and BPEL: Conceptual Mismatch between Process Modeling Languages (2006)Pattern-Based Translation of BPMN Process Models to BPEL Web Services (2008)Model repair — aligning process models to reality (2014)
this work references cited by second hop

References

  • 2003Workflow Patterns2,613 cited
  • 1995An overview of workflow management: From process modeling to workflow automation infrastructure1,530 cited
  • 2002Workflow Management744 cited
  • 2001Workflow Management: Models, Methods, and Systems742 cited
  • 2005Process‐Aware Information Systems583 cited
  • 2001Diagnosing Workflow Processes using Woflan317 cited
  • 2004Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management230 cited
  • 2005Using BPMN to Model a BPEL Process166 cited
  • 2004BRIDGING THE GAP BETWEEN BUSINESS MODELS AND WORKFLOW SPECIFICATIONS162 cited
  • 2003Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach117 cited
  • 2005Analyzing BPEL processes using Petri nets70 cited
  • 2003A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling65 cited
  • 2002Modeling E-service Orchestration through Petri Nets63 cited

Cited by

  • 2008On the transformation of control flow between block-oriented and graph-oriented process modelling languages45 cited
  • 2014An Empirical Study of Error Patterns in Industrial Business Process Models

Only edges whose both ends are imported exist here. Widen the year window, or show the whole map. Back to the work

40 cited
  • 2005Translating workflow nets to BPEL36 cited
  • 2006WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL30 cited
  • 2007From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system29 cited
  • 2011Workflow support for the healthcare domain20 cited
  • 2013CPN Tools 4 : a process modeling tool combining declarative and imperative paradigms19 cited