SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Checking business process evolution
15 references·4 citing·38 second hop
Checking business process evolution (2018)Checking business process evolutionBusiness Process Model and Notation—BPMN (2014)Business Process Model and No…A Rigorous Semantics for BPMN 2.0 Process Diagrams (2014)A Rigorous Semantics for BPMN…Enabling Flexibility in Process-Aware Information Systems: Challenges, Methods, Technologies (2012)Enabling Flexibility in Proce…Interaction-centric modeling of process choreographies (2010)Interaction-centric modeling …Instantaneous Soundness Checking of Industrial Business Process Models (2009)Instantaneous Soundness Check…A Relative Timed Semantics for BPMN (2009)A Relative Timed Semantics fo…Verifying Business Process Compatibility (Short Paper) (2008)Verifying Business Process Co…Semantics and analysis of business process models in BPMN (2008)Semantics and analysis of bus…Measuring Similarity between Business Process Models (2008)Measuring Similarity between …A Process Semantics for BPMN (2008)A Process Semantics for BPMNTransformation of BPMN Models for Behaviour Analysis (2007)Transformation of BPMN Models…Quantifying process equivalence based on observed behavior (2007)Quantifying process equivalen…Workflow Patterns (2003)Workflow PatternsTHE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)THE APPLICATION OF PETRI NETS…The PIF Process Interchange Format and Framework (1996)The PIF Process Interchange F…Probabilistic Model Checking of BPMN Processes at Runtime (2022)Probabilistic Model Checking …Resource provisioning strategies for BPMN processes: Specification and analysis using Maude (2021)Resource provisioning strateg…Towards FAIR protocols and workflows: the OpenPREDICT use case (2020)Towards FAIR protocols and wo…Development of Collaborative Business Processes: A Correctness Enforcement Approach (2019)Development of Collaborative …The first 25 years. (1973)Business Process Modeling Notation (BPMN), Version 1.0 (2004)Petri Net Transformations for Business Processes – A Survey (2009)An ontology for the Business Process Modelling Notation (2014)BPMN 2.0: The state of support and implementation (2017)Diagnosing Workflow Processes using Woflan (2001)The refined process structure tree (2009)Diagnosing and Repairing Data Anomalies in Process Models (2010)Simplified Computation and Generalization of the Refined Process Structure Tree (2011)A Decade of Business Process Management Conferences: Personal Reflections on a Developing Discipline (2012)Workflow mining: A survey of issues and approaches (2003)Workflow mining: discovering process models from event logs (2004)The ProM Framework: A New Era in Process Mining Tool Support (2005)A workflow net similarity measure based on transition adjacency relations (2010)Mining process models with prime invisible tasks (2010)Process compliance analysis based on behavioural profiles (2011)Guidelines of Business Process Modeling (2000)A configurable reference modelling language (2005)Process models representing knowledge for action: a revised quality framework (2006)APROMORE: An advanced process model repository (2010)Refactoring large process model repositories (2011)Business Process Model Merging (2013)YAWL: yet another workflow language (2004)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)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)Business Process Management: A Survey (2003)Scientific workflow management and the Kepler system (2005)Time patterns for process-aware information systems (2012)Extracting Event Data from Databases to Unleash Process Mining (2015)Business Process Management (2016)A new paradigm for the continuous alignment of business and IT: Combining enterprise architecture modelling and enterprise ontology (2015)Conformance checking based on multi-perspective declarative process models (2016)Enterprise information systems state of the art: Past, present and future trends (2016)Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems (2009)A visual token-based formalization of BPMN 2.0 based on in-place transformations (2012)Stochastic analysis of BPMN with time in rewriting logic (2018)
this work references cited by second hop

References

  • 1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT2,706 cited
  • 2003Workflow Patterns2,613 cited
  • 2014Business Process Model and Notation—BPMN972 cited
  • 2008Semantics and analysis of business process models in BPMN727 cited
  • 2012Enabling Flexibility in Process-Aware Information Systems: Challenges, Methods, Technologies275 cited
  • 2008Measuring Similarity between Business Process Models249 cited
  • 2008A Process Semantics for BPMN178 cited
  • 2009Instantaneous Soundness Checking of Industrial Business Process Models143 cited
  • 2007Quantifying process equivalence based on observed behavior133 cited
  • 2007Transformation of BPMN Models for Behaviour Analysis78 cited
  • 2010Interaction-centric modeling of process choreographies73 cited
  • 1996The PIF Process Interchange Format and Framework59 cited
  • 2009A Relative Timed Semantics for BPMN56 cited
  • 2014A Rigorous Semantics for BPMN 2.0 Process Diagrams45 cited
  • 2008Verifying Business Process Compatibility (Short Paper)37 cited

Cited by

  • 2020Towards FAIR protocols and workflows: the OpenPREDICT use case

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

19 cited
  • 2019Development of Collaborative Business Processes: A Correctness Enforcement Approach19 cited
  • 2021Resource provisioning strategies for BPMN processes: Specification and analysis using Maude19 cited
  • 2022Probabilistic Model Checking of BPMN Processes at Runtime15 cited