SZodixStudyAcademic Library
DashboardShelvesOpen accessMy libraryInboxNotesWriteLearnAlerts
More
Ask your libraryNotificationsQuick citeReview
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Detecting Data-Flow Errors in BPMN 2.0
14 references·4 citing·38 second hop
Detecting Data-Flow Errors in BPMN 2.0 (2014)Detecting Data-Flow Errors in BPMN 2.0Modeling and Enacting Complex Data Dependencies in Business Processes (2013)Modeling and Enacting Complex…USING PATTERNS FOR THE ANALYSIS AND RESOLUTION OF COMPLIANCE VIOLATIONS (2012)USING PATTERNS FOR THE ANALYS…Automatic Information Flow Analysis of Business Process Models (2012)Automatic Information Flow An…Visually specifying compliance rules and explaining their violations for business processes (2010)Visually specifying complianc…On Detecting Data Flow Errors in Workflows (2010)On Detecting Data Flow Errors…Diagnosing and Repairing Data Anomalies in Process Models (2010)Diagnosing and Repairing Data…Beyond soundness: on the verification of semantic business process models (2010)Beyond soundness: on the veri…Petri Net Transformations for Business Processes – A Survey (2009)Petri Net Transformations for…Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows (2009)Data-Flow Anti-patterns: Disc…Semantics and analysis of business process models in BPMN (2008)Semantics and analysis of bus…Formulating the Data-Flow Perspective for Business Process Management (2006)Formulating the Data-Flow Per…Transforming BPEL to Petri Nets (2005)Transforming BPEL to Petri Ne…Data flow and validation in workflow modelling (2004)Data flow and validation in w…THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)THE APPLICATION OF PETRI NETS…Checking Missing-Data Errors in Cyber-Physical Systems Based on the Merged Process of Petri Nets (2022)Checking Missing-Data Errors …Supporting Dynamic Workflows with Automatic Extraction of Goals from BPMN (2019)Supporting Dynamic Workflows …Hierarchical Verification for the BPMN Design Model Using State Space Analysis (2019)Hierarchical Verification for…A Guard-Driven Analysis Approach of Workflow Net with Data (2019)A Guard-Driven Analysis Appro…Workflow Patterns (2003)YAWL: yet another workflow language (2004)Behavioral Similarity – A Proper Metric (2011)Prediction of Remaining Service Execution Time Using Stochastic Petri Nets with Arbitrary Firing Delays (2013)Prediction of business process durations using non-Markovian stochastic Petri nets (2015)Production Workflow - Concepts and Techniques (2000)Pattern-Based Translation of BPMN Process Models to BPEL Web Services (2008)Model repair — aligning process models to reality (2014)Verification of workflow nets (1997)Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control (1998)ARIS — Business Process Modeling (1999)Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible (2011)Detecting data-flow errors based on Petri nets with data operations (2017)Process modeling (1992)On the refactoring of activity labels in business process models (2012)Supporting Process Model Validation through Natural Language Generation (2014)Design Patterns: Elements of Reusable Object-Oriented Software (1994)Capturing Compliance Requirements: A Pattern-Based Approach (2012)Compliance by design for artifact-centric business processes (2012)Normative requirements for regulatory compliance: An abstract formal framework (2015)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)Business Process Management : Concepts, Languages, Architectures (2007)Generalizability and Applicability of Model-Based Business Process Compliance-Checking Approaches — A State-of-the-Art Analysis and Research Roadmap (2012)Static and Dynamic Process Change (2016)Are we done with business process compliance: state of the art and challenges ahead (2018)The ProM Framework: A New Era in Process Mining Tool Support (2005)Efficient Compliance Checking Using BPMN-Q and Temporal Logic (2008)Opportunities and constraints: the current struggle with BPMN (2010)Similarity of business process models: Metrics and evaluation (2010)Business artifacts: An approach to operational specification (2003)Case handling: a new paradigm for business process support (2004)Process and deviation exploration with Inductive visual Miner (2014)The State of the Art of Business Process Management Research as Published in the BPM Conference (2015)Connecting databases with process mining: a meta model and toolset (2018)Modeling and validation of business process families (2012)Detection of naming convention violations in process models for different languages (2013)Automatic Detection and Resolution of Lexical Ambiguity in Process Models (2015)Workflow mining: discovering process models from event logs (2004)
this work references cited by second hop

References

  • 1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT2,706 cited
  • 2008Semantics and analysis of business process models in BPMN727 cited
  • 2005Transforming BPEL to Petri Nets294 cited
  • 2006Formulating the Data-Flow Perspective for Business Process Management221 cited
  • 2009Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows187 cited
  • 2009Petri Net Transformations for Business Processes – A Survey175 cited
  • 2004Data flow and validation in workflow modelling173 cited
  • 2013Modeling and Enacting Complex Data Dependencies in Business Processes119 cited
  • 2010Visually specifying compliance rules and explaining their violations for business processes105 cited
  • 2010Beyond soundness: on the verification of semantic business process models98 cited
  • 2010Diagnosing and Repairing Data Anomalies in Process Models77 cited
  • 2010On Detecting Data Flow Errors in Workflows38 cited
  • 2012USING PATTERNS FOR THE ANALYSIS AND RESOLUTION OF COMPLIANCE VIOLATIONS37 cited
  • 2012Automatic Information Flow Analysis of Business Process Models36 cited

Cited by

  • 2019Supporting Dynamic Workflows with Automatic Extraction of Goals from BPMN

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

34 cited
  • 2019Hierarchical Verification for the BPMN Design Model Using State Space Analysis33 cited
  • 2022Checking Missing-Data Errors in Cyber-Physical Systems Based on the Merged Process of Petri Nets19 cited
  • 2019A Guard-Driven Analysis Approach of Workflow Net with Data19 cited