• Corpus ID: 1379129

Validation of business process models

@inproceedings{Speck2003ValidationOB,
  title={Validation of business process models},
  author={Andreas Speck and Elke Pulvermueller and Dirk Heuzeroth},
  year={2003}
}
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… 

Figures from this paper

Model-driven Development of Web Service Transactions
TLDR
Modelling requirements that derive from an analysis of various collaborative business scenarios are defined, and relevant work in modelling of cross-organisational business processes is evaluated and measured.
Verification of Business Process Integration Options
We propose a meta framework architecture for supporting the behaviour based integration of two business processes. The meta level provides basic integration operators to the domain engineer to create
Improving Workflow Project Quality Via Business Process Patterns Based on Organizational Structure Aspects
TLDR
This paper proposes business (sub)process candidate patterns to be used in business process modelling and aims to store the patterns in the catalogue of the Transactional Metamodel of Business Process introduced in this paper.
Semantic Business Process Modeling
TLDR
This thesis contributes a business process modeling framework based on semantic technologies, which consists of modeling languages, methods and tools, which aim at facilitating the design and improving the quality of business process models.
Business process analysis by model checking
TLDR
A new algorithm which is part of PAS is introduced, used to analyse the process of software development and the algorithm would be used to evaluate the benefit a process change can offer.
Efficiency of Software Development after Improvements in Requirements Engineering
In the past decade multiple challenges arose from the method of software development [4, 4]. As described by Davenport, the development process needs an overhaul [4, 4]. Different disciplines, like
Functional and Non-Functional BPMN M&S at Design Time
TLDR
A functional overview of the future enhancement to BPMN with non-functional requirements at design time that intends to enumerate process paths and prepare the involvement of human in the loop during simulation time is presented.
Configurable process models: A semantic validation
TLDR
This paper proposes an ontology-based approach to enhance configurable processes validation using ontologies to enhance automation of modeling, configuring and evolvingconfigurable processes.
How to Ensure Correct Process Models? A Semantic Approach to Deal with Resource Problems
TLDR
An ontology-driven approach that aims at supporting semantic verification of semi-formal process models using real-life administrative process models taken from a capital city is presented.
Organisational reference models: supporting an adequate design of local business processes
TLDR
The paper presents the principles of ADOM and in particular, its novel validation procedure, which enables the organisation to ensure that the local processes are in compliance with the organisational standards, as specified in the reference model.
...
1
2
3
...

References

SHOWING 1-10 OF 21 REFERENCES
From business process model to consistent implementation: a case for formal verification methods
TLDR
This paper begins from a business process model, which emphasizes the underlying structural process pattern and its associated requirements, and maps this model into a corresponding IT model based on nondeterministic automata with state variables, which is then mapped into a pattern-based modeling and mapping process.
A Version Model for Aspect Dependency Management
TLDR
A more general model (version model) is proposed to capture different facettes of AOP as well as a partial solution towards unit consistency based on versions.
Model checking of workflow schemas
TLDR
An approach for formal verification of workflow schemas (definitions) by means of an automata-based method, which facilitates exhaustive compositional reachability analysis and is accessible by designers who are not experts in formal methods.
Modular Model Checking of Software
TLDR
This work presents a modular approach to temporal logic model checking of software that reduces space requirements and enables verification of larger systems and is applicable to finite state programs.
Symbolic model checking
Bandera: extracting finite-state models from Java source code
TLDR
The authors describe an integrated collection of program analysis and transformation components, called Bandera, that enables the automatic extraction of safe, compact finite-state models from program source code.
Applying Model Checking in Java Verification
This paper presents our experiences in applying the Java PathFinder (Jpf), a recently developed Java to Promela translator, in the search for synchronization bugs in a Chinese Chess game server
A Model Checking Framework for Layered Command and Control Software
TLDR
This paper presents algorithms that exploit a layered (or feature-based) decomposition to drive verification, which can verify most properties locally within a layer and characterize when a global state space construction is unavoidable.
Predictable Assembly from Certifiable Components
TLDR
The affinities among software architecture, software component technology, compositional reasoning, component property measurement, and component certification are discussed for the purpose of mastering component feature interaction, and for developing component technologies that support compositional Reasoning.
Computer Aided Verification
TLDR
Theorem proving and model checking are powerful tools that can verify the logical correctness of today's ICs or find their hidden bugs, and symbolic model-checking and homomorphic reduction are among the most powerful of these methods.
...
1
2
3
...