Integrating Validation Techniques for Process-based Models

Andreas Speck, Sören Witt, Sven Feja, Sören Feja, Elke Pulvermueller

2013

Abstract

Model checking has been established as an appropriate technology to validate behavioral properties of (business) process based systems. However, further validation technologies (e. g. for structural properties) may be of interest for process models. We propose a concept to integrate validation technologies in a unique system with a common user interface.

Paper Citation

in Harvard Style

Speck A., Witt S., Feja S., Feja S. and Pulvermueller E. (2013). Integrating Validation Techniques for Process-based Models . In Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-8565-62-4, pages 246-253. DOI: 10.5220/0004569202460253

in Bibtex Style

@conference{enase13,
author={Andreas Speck and Sören Witt and Sven Feja and Sören Feja and Elke Pulvermueller},
title={Integrating Validation Techniques for Process-based Models},
booktitle={Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2013},
pages={246-253},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004569202460253},
isbn={978-989-8565-62-4},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Integrating Validation Techniques for Process-based Models
SN - 978-989-8565-62-4
AU - Speck A.
AU - Witt S.
AU - Feja S.
AU - Feja S.
AU - Pulvermueller E.
PY - 2013
SP - 246
EP - 253
DO - 10.5220/0004569202460253