loading
Papers Papers/2022 Papers Papers/2022

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

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.

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.145.78.117

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 - ENASE; ISBN 978-989-8565-62-4; ISSN 2184-4895, SciTePress, 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 - ENASE},
year={2013},
pages={246-253},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004569202460253},
isbn={978-989-8565-62-4},
issn={2184-4895},
}

TY - CONF

JO - Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE
TI - Integrating Validation Techniques for Process-based Models
SN - 978-989-8565-62-4
IS - 2184-4895
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
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic