loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Andreas Speck 1 ; Sören Witt 1 ; Sven Feja 1 ; Sören Feja 1 and Elke Pulvermueller 2

Affiliations: 1 Christian-Albrechts-University of Kiel, Germany ; 2 University of Osnabrueck, Germany

ISBN: 978-989-8565-62-4

Keyword(s): Integration, Validation Techniques, (Business) Process Models, Behavioral Properties, Structural Properties.

Related Ontology Subjects/Areas/Topics: Applications ; Artificial Intelligence ; Business and Software Modeling Languages ; Business Process Management ; e-Business ; Enterprise Engineering ; Enterprise Information Systems ; Knowledge Management and Information Sharing ; Knowledge-Based Systems ; Service-Oriented Software Engineering and Management ; Software and Systems Development Methodologies ; Software Engineering ; Software Quality Management ; Symbolic Systems

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.226.251.81

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.