SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Verifying Business Rules Using an SMT Solver for BPEL Processes.
3 references·1 citing·19 second hop
Verifying Business Rules Using an SMT Solver for BPEL Processes. (2009)Verifying Business Rules Using an SMT Sol…Deriving Explicit Data Links in WS-BPEL Processes (2008)Deriving Explicit Data Links …Applying model checking to BPEL4WS business collaborations (2005)Applying model checking to BP…Exception Handling in the BPEL4WS Language (2003)Exception Handling in the BPE…Enriching Process Models for Business Process Compliance Checking in ERP Environments (2013)Enriching Process Models for …Case Study Research: Design and Methods (1984)Case Study Research: Design and Methods (1991)Design Science in Information Systems Research1 (2004)Using Business Process Compliance Approaches for Compliance Management with Regard to Digitization: Evidence from a Systematic Literature Review (2018)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)Advanced Workflow Patterns (2000)Production Workflow - Concepts and Techniques (2000)On the Choice Between Graph-Based and Block-Structured Business Process Modeling Languages. (2008)The Difference Between Graph-Based and Block-Structured Business Process Modelling Languages (2015)Semantics and Verification of UML Activity Diagrams for Workflow Modelling (2002)Workflow Patterns (2003)Business process choreography for b2b collaboration (2004)Verification of Business Process Entailment Constraints Using SPIN (2009)An approach to capture authorisation requirements in business processes (2010)Managing business processes as an information resource (1994)E Role-based Decomposition of Business Processes using BPEL (2006)Control and data dependencies in business processes based on semantic business activities (2008)Towards a BPM Cloud Architecture with Data and Activity Distribution (2012)A Transformation-Based Approach to Business Process Management in the Cloud (2013)
this work references cited by second hop

References

  • 2003Exception Handling in the BPEL4WS Language70 cited
  • 2005Applying model checking to BPEL4WS business collaborations49 cited
  • 2008Deriving Explicit Data Links in WS-BPEL Processes40 cited

Cited by

  • 2013Enriching Process Models for Business Process Compliance Checking in ERP Environments18 cited

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