SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Transactional Behavior Verification in Business Process as a Service Configuration
16 references·0 citing·39 second hop
Transactional Behavior Verification in Business Process as a Service Configuration (2017)Transactional Behavior Verification in Bu…Towards a Framework for Defining and Categorising Business Process-As-A-Service (BPaaS) (2014)Towards a Framework for Defin…Configuring business process models (2013)Configuring business process …Modeling and validation of business process families (2012)Modeling and validation of bu…Design and management of flexible process variants using templates and rules (2012)Design and management of flex…Business Process Configuration in the Cloud: How to Support and Analyze Multi-tenant Processes? (2011)Business Process Configuratio…Business Process as a Service: Chances for Remote Auditing (2011)Business Process as a Service…Process as a Service Distributed Multi-tenant Policy-Based Process Runtime Governance (2010)Process as a Service Distribu…Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis (2010)Correctness Ensuring Process …Configurable multi-perspective business process models (2010)Configurable multi-perspectiv…Preserving correctness during business process model configuration (2009)Preserving correctness during…Guaranteeing Soundness of Configurable Process Variants in Provop (2009)Guaranteeing Soundness of Con…Correctness-Preserving Configuration of Business Process Models (2008)Correctness-Preserving Config…Beyond Control-Flow: Extending Business Process Configuration to Roles and Objects (2008)Beyond Control-Flow: Extendin…Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants (2007)Verification of the SAP refer…Configurable Process Models — A Foundational Approach (2007)Configurable Process Models —…Generating correct EPCs from configured C-EPCs (2006)Generating correct EPCs from …Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control (1998)Proposed NIST standard for role-based access control (2001)YAWL: yet another workflow language (2004)Managing variability in process-aware information systems (2009)Verification of workflow nets (1997)Formalization and verification of event-driven process chains (1999)A configurable reference modelling language (2005)Managing Process Model Complexity Via Abstract Syntax Modifications (2011)VIVACE: A framework for the systematic evaluation of variability support in process-aware information systems (2014)Static and Dynamic Process Change (2016)THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)Workflow Patterns (2003)Towards Run-Time Flexibility for Process Families: Open Issues and Research Challenges (2013)BPMNt: A BPMN extension for specifying software process tailoring (2014)Business process flexibility - a systematic literature review with a software systems perspective (2016)Workflow mining: A survey of issues and approaches (2003)The ProM Framework: A New Era in Process Mining Tool Support (2005)Process Model Abstraction: A Slider Approach (2008)Empirical Studies in Process Model Verification (2009)Automated Certification for Compliant Cloud-based Business Processes (2011)Workflow Management: Modeling Concepts, Architecture and Implementation (1996)Workflow Management (2002)Ensuring correctness during process configuration via partner synthesis (2011)Inheritance of workflows: an approach to tackling problems related to change (2002)Change patterns and change support features – Enhancing flexibility in process-aware information systems (2008)Mining process model variants : challenges, techniques, examples (2010)Business Process Quality Management (2014)Process-aware information systems: bridging people and software through process technology (2006)Business Process Management : Concepts, Languages, Architectures (2007)25 Challenges of Semantic Process Modeling (2014)Artificial Intelligence-Based Methods for Business Processes: A Systematic Literature Review (2022)Managing large collections of business process models—Current techniques and challenges (2012)Knowledge-Based Configuration (2014)AI-augmented Business Process Management Systems: A Research Manifesto (2023)A model-driven IT governance process based on the strategic impact evaluation of services (2018)Decoding digital transformational outsourcing: The role of service providers’ capabilities (2021)Propagating changes between aligned process models (2012)Lifecycle Management of Business Process Variants (2014)Applying process mining and semantic reasoning for process model customisation in healthcare (2019)
this work references cited by second hop

References

  • 2010Configurable multi-perspective business process models189 cited
  • 2009Preserving correctness during business process model configuration119 cited
  • 2007Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants88 cited
  • 2008Beyond Control-Flow: Extending Business Process Configuration to Roles and Objects81 cited
  • 2009Guaranteeing Soundness of Configurable Process Variants in Provop73 cited
  • 2012Design and management of flexible process variants using templates and rules72 cited
  • 2012Modeling and validation of business process families68 cited
  • 2007Configurable Process Models — A Foundational Approach66 cited
  • 2010Process as a Service Distributed Multi-tenant Policy-Based Process Runtime Governance62 cited
  • 2008Correctness-Preserving Configuration of Business Process Models62 cited
  • 2010Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis52 cited
  • 2011Business Process as a Service: Chances for Remote Auditing51 cited
  • 2011Business Process Configuration in the Cloud: How to Support and Analyze Multi-tenant Processes?44 cited
  • 2006Generating correct EPCs from configured C-EPCs25 cited
  • 2014Towards a Framework for Defining and Categorising Business Process-As-A-Service (BPaaS)

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

15 cited
  • 2013Configuring business process models12 cited
  • Cited by

    No citing works inside the corpus for this window.