SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Specification and Verification of Artifact Behaviors in Business Process Models
4 references·16 citing·32 second hop
Specification and Verification of Artifact Behaviors in Business Process Models (2007)Specification and Verification of Artifac…Towards Formal Analysis of Artifact-Centric Business Process Models (2007)Towards Formal Analysis of Ar…Modeling Business Contexture and Behavior Using Business Artifacts (2007)Modeling Business Contexture …Case handling: a new paradigm for business process support (2004)Case handling: a new paradigm…Business artifacts: An approach to operational specification (2003)Business artifacts: An approa…iProcess: Enabling IoT Platforms in Data-Driven Knowledge-Intensive Processes (2018)iProcess: Enabling IoT Platfo…A Formal Model for Compliance Verification of Service Compositions (2016)A Formal Model for Compliance…Design-Time Compliance of Service Compositions in Dynamic Service Environments (2015)Design-Time Compliance of Ser…Verifiable UML Artifact-Centric Business Process Models (2014)Verifiable UML Artifact-Centr…A view framework for modeling and change validation of artifact-centric inter-organizational business processes (2014)A view framework for modeling…Enabling the Analysis of Cross-Cutting Aspects in Ad-Hoc Processes (2013)Enabling the Analysis of Cros…Process and Data: Two Sides of the Same Coin? (2012)Process and Data: Two Sides o…On the Equivalence of Incremental and Fixpoint Semantics for Business Artifacts with Guard-Stage-Milestone Lifecycles (2011)On the Equivalence of Increme…Object-Aware Business Processes (2011)Object-Aware Business Process…Automatic Verification of Data-Centric Business Processes (2011)Automatic Verification of Dat…A Modeling Paradigm for Integrating Processes and Data at the Micro Level (2011)A Modeling Paradigm for Integ…Artifact-Centric Choreographies (2010)Artifact-Centric Choreographi…A Process View Framework for Artifact-Centric Business Processes (2010)A Process View Framework for …Towards Object-Aware Process Management Systems: Issues, Challenges, Benefits (2009)Towards Object-Aware Process …Automatic construction of simple artifact-based business processes (2009)Automatic construction of sim…Runtime Monitoring of Message-Based Workflows with Data (2008)Runtime Monitoring of Message…An overview of workflow management: From process modeling to workflow automation infrastructure (1995)THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)Workflow Patterns (2003)A New Paradigm for the Enactment and Dynamic Adaptation of Data-Driven Process Structures (2008)Challenges and opportunities in collaborative business process management: Overview of recent advances and introduction to the special issue (2008)Automatic Discovery of Data-Centric and Artifact-Centric Processes (2013)Business Process Management Workshops (2008)Integrating Users in Object-Aware Process Management Systems: Issues and Challenges (2010)Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges (2008)Conformance Checking of Interacting Processes with Overlapping Instances (2011)Declarative business process modelling: principles and modelling languages (2013)Business Process Management: A Survey (2003)DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases (2017)DALEC: a framework for the systematic evaluation of data-centric approaches to process management software (2018)A framework for information systems architecture (1987)Business Artifacts: A Data-centric Approach to Modeling Business Operations and Processes (2009)Compliance checking between business processes and business contracts (2006)Monitoring data-aware business constraints with finite state automata (2014)Runtime detection of business process compliance violations (2015)A framework for visually monitoring business process compliance (2016)Enabling Flexibility in Process-Aware Information Systems (2012)Add Data into Business Process Verification: Bridging the Gap between Theory and Practice (2017)Linking Data and BPMN Processes to Achieve Executable Models (2017)Petri net-based object-centric processes with read-only data (2022)Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control (1998)A Declarative Approach for Flexible Business Processes Management (2006)Change patterns and change support features – Enhancing flexibility in process-aware information systems (2008)Declarative workflows: Balancing between flexibility and support (2009)Automatic verification of data-centric business processes (2009)Techniques for a Posteriori Analysis of Declarative Processes (2012)Artifact-Centric Business Process Models in UML (2013)Object-Centric Process Mining: Dealing with Divergence and Convergence in Event Data (2019)
this work references cited by second hop

References

  • 2004Case handling: a new paradigm for business process support770 cited
  • 2003Business artifacts: An approach to operational specification542 cited
  • 2007Towards Formal Analysis of Artifact-Centric Business Process Models287 cited
  • 2007Modeling Business Contexture and Behavior Using Business Artifacts126 cited

Cited by

  • 2009Towards Object-Aware Process Management Systems: Issues, Challenges, Benefits82 cited
  • 2011Object-Aware Business Processes82 cited
  • 2009Automatic construction of simple artifact-based business processes82 cited
  • 2008Runtime Monitoring of Message-Based Workflows with Data70 cited
  • 2012Process and Data: Two Sides of the Same Coin?62 cited
  • 2011Automatic Verification of Data-Centric Business Processes49 cited
  • 2010Artifact-Centric Choreographies49 cited
  • 2011A Modeling Paradigm for Integrating Processes and Data at the Micro Level38 cited
  • 2010A Process View Framework for Artifact-Centric Business Processes35 cited
  • 2011On the Equivalence of Incremental and Fixpoint Semantics for Business Artifacts with Guard-Stage-Milestone Lifecycles34 cited
  • 2013Enabling the Analysis of Cross-Cutting Aspects in Ad-Hoc Processes

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

32 cited
  • 2014Verifiable UML Artifact-Centric Business Process Models32 cited
  • 2014A view framework for modeling and change validation of artifact-centric inter-organizational business processes32 cited
  • 2015Design-Time Compliance of Service Compositions in Dynamic Service Environments30 cited
  • 2018iProcess: Enabling IoT Platforms in Data-Driven Knowledge-Intensive Processes30 cited
  • 2016A Formal Model for Compliance Verification of Service Compositions26 cited