Integrating validation techniques for process-based models
Autor(en): | Speck, A. Witt, S. Feja, S. Pulvermüller, E. |
Stichwörter: | (business) process models; Appropriate technologies; Behavioral properties; Integration; Model checking; Process model; Process-based; Process-based models; Structural properties; User interfaces, Software engineering; Validation techniques; Validation technologies, Integration | Erscheinungsdatum: | 2013 | Journal: | ENASE 2013 - Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering | Startseite: | 246 | Seitenende: | 253 | Zusammenfassung: | 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. Copyright © 2013 SCITEPRESS. |
Beschreibung: | Conference of 8th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2013 ; Conference Date: 4 July 2013 Through 6 July 2013; Conference Code:100615 |
ISBN: | 9789898565624 | Externe URL: | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84887080243&partnerID=40&md5=d9e4d11b53245531af3d72a65d39246c |
Zur Langanzeige
Seitenaufrufe
1
Letzte Woche
0
0
Letzter Monat
0
0
geprüft am 20.05.2024