Corpus ID: 1379129

Validation of business process models

  title={Validation of business process models},
  author={A. Speck and E. Pulverm{\"u}ller and D. Heuzeroth},
  • A. Speck, E. Pulvermüller, D. Heuzeroth
  • Published 2003
  • Computer Science
  • The eCommerce system development of Intershop is based on different models on various levels of abstraction. The software engineering tool ARIS represents most of these models. In this paper we focus on the validation of the business process models on an intermediate abstraction level of the ARIS model. The business processes may be derived from process patterns and have to follow specific rules (best practices). The validation of the compliance with these rules and the consistency with the… CONTINUE READING
    Semantic Business Process Modeling
    • 7
    Business process analysis by model checking
    • 6
    • PDF
    Configurable process models: A semantic validation
    • 2


    Publications referenced by this paper.
    From business process model to consistent implementation: a case for formal verification methods
    • 103
    • PDF
    A Version Model for Aspect Dependency Management
    • 20
    • PDF
    Model checking of workflow schemas
    • 66
    • PDF
    Modular Model Checking of Software
    • 61
    • PDF
    Symbolic model checking
    • 1,502
    Bandera: extracting finite-state models from Java source code
    • 547
    Applying Model Checking in Java Verification
    • 54
    • PDF
    A Model Checking Framework for Layered Command and Control Software
    • 5
    • Highly Influential
    • PDF
    Predictable Assembly from Certifiable Components
    • 7
    Computer Aided Verification
    • 66
    • PDF