Reducing the gap between verification models and software development models
Autor(en): | Pulvermueller, E. | Stichwörter: | Automatic verification; Compliance; Event process chain (EPC); Event process chains; Kripke structure; Model gap; Semantic extensions; Semantics; Simple structures; Software design; Software developer; Software development models; Software modeling; System complexity; Temporal logic; Temporal logic, Verification; Verification; Verification model, Profitability | Erscheinungsdatum: | 2009 | Journal: | Proceedings of 8th International Conference on New Trends in Software Methodologies, Tools and Techniques, SoMeT_09 | Zusammenfassung: | A variety of models and notations are available to support the software developers. Such models help to gather requirements and to build a system implementing these requirements. However, it is often neglected to verify that the requirements are actually fulfilled in the design and implementation. The increasing demand for compliancy to requirements (e.g. due to laws) together with the increasing system complexity re-attracts notice to automatic verification technologies for that purpose. The low user-friendliness and, thus, the low applicability of the verification technologies often prevents their employment. In this paper we aim at closing the gap between software development models with their rich notation and semantics (e.g. Event Process Chains, EPCs) on the one hand and verificationoriented models (typically just simple structures like finite state automata) on the other hand. This is approached by extending the verification model in a controlled manner towards more semantics resulting in our extended Kripke structure. To profit from such a semantic extension we, in addition, extend the temporal logic language CTL. Our new temporal logic language allows to express the expected requirements more precisely. © 2009 The authors and IOS Press. |
Beschreibung: | Conference of 8th International Conference on New Trends in Software Methodologies, Tools and Techniques, SoMeT_09 ; Conference Date: 23 September 2009 Through 25 September 2009; Conference Code:89643 |
ISBN: | 9781607500490 | Externe URL: | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84861674704&partnerID=40&md5=1a9c1d76552acc89f205e0b248eb8018 |
Zur Langanzeige
Seitenaufrufe
2
Letzte Woche
0
0
Letzter Monat
2
2
geprüft am 17.05.2024