Early and Systematic Validation of Formal Models

Sebastian Stock

doi:10.1007/978-981-99-7584-6_16

Early and Systematic Validation of Formal Models

Sebastian Stock

Institute of Software Systems Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Abstract

Verification and validation are equally important when creating and reasoning about formal models. Verification focuses on the consistency of a model, while validation answers whether a model appropriately represents the requirements. However, compared to verification, validation remains underrepresented in modeling activities, and one of the reasons for this underrepresentation is that the modeler postpones the validation till the end of the modeling process leading to the late discovery of mistakes. Countering this, we present a framework that integrates validation early and tightly in the modeling process.

Original language	English
Title of host publication	Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Proceedings
Editors	Springer
Pages	255-260
Number of pages	6
Volume	14308
DOIs	https://doi.org/10.1007/978-981-99-7584-6_16
Publication status	Published - Nov 2023

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	14308 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Fields of science

102 Computer Sciences
102022 Software development

JKU Focus areas

Digital Transformation

Access to Document

10.1007/978-981-99-7584-6_16

Cite this

Stock, S. (2023). Early and Systematic Validation of Formal Models. In Springer (Ed.), Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Proceedings (Vol. 14308, pp. 255-260). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14308 LNCS). https://doi.org/10.1007/978-981-99-7584-6_16

Stock, Sebastian. / Early and Systematic Validation of Formal Models. Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Proceedings. editor / Springer. Vol. 14308 2023. pp. 255-260 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{507b2d17c22d4c89a61d62a09ef0a709,

title = "Early and Systematic Validation of Formal Models",

abstract = "Verification and validation are equally important when creating and reasoning about formal models. Verification focuses on the consistency of a model, while validation answers whether a model appropriately represents the requirements. However, compared to verification, validation remains underrepresented in modeling activities, and one of the reasons for this underrepresentation is that the modeler postpones the validation till the end of the modeling process leading to the late discovery of mistakes. Countering this, we present a framework that integrates validation early and tightly in the modeling process.",

keywords = "formal methods, formal modeling, Validation",

author = "Sebastian Stock",

note = "Publisher Copyright: {\textcopyright} 2023, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.",

year = "2023",

month = nov,

doi = "10.1007/978-981-99-7584-6\_16",

language = "English",

isbn = "9789819975839",

volume = "14308",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "255--260",

editor = "Springer",

booktitle = "Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Proceedings",

}

Stock, S 2023, Early and Systematic Validation of Formal Models. in Springer (ed.), Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Proceedings. vol. 14308, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14308 LNCS, pp. 255-260. https://doi.org/10.1007/978-981-99-7584-6_16

Early and Systematic Validation of Formal Models. / Stock, Sebastian.
Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Proceedings. ed. / Springer. Vol. 14308 2023. p. 255-260 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14308 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - Early and Systematic Validation of Formal Models

AU - Stock, Sebastian

PY - 2023/11

Y1 - 2023/11

N2 - Verification and validation are equally important when creating and reasoning about formal models. Verification focuses on the consistency of a model, while validation answers whether a model appropriately represents the requirements. However, compared to verification, validation remains underrepresented in modeling activities, and one of the reasons for this underrepresentation is that the modeler postpones the validation till the end of the modeling process leading to the late discovery of mistakes. Countering this, we present a framework that integrates validation early and tightly in the modeling process.

AB - Verification and validation are equally important when creating and reasoning about formal models. Verification focuses on the consistency of a model, while validation answers whether a model appropriately represents the requirements. However, compared to verification, validation remains underrepresented in modeling activities, and one of the reasons for this underrepresentation is that the modeler postpones the validation till the end of the modeling process leading to the late discovery of mistakes. Countering this, we present a framework that integrates validation early and tightly in the modeling process.

KW - formal methods

KW - formal modeling

KW - Validation

UR - https://www.scopus.com/pages/publications/85177234299

U2 - 10.1007/978-981-99-7584-6_16

DO - 10.1007/978-981-99-7584-6_16

M3 - Conference proceedings

SN - 9789819975839

VL - 14308

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 255

EP - 260

BT - Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Proceedings

A2 - Springer, null

ER -

Stock S. Early and Systematic Validation of Formal Models. In Springer, editor, Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Proceedings. Vol. 14308. 2023. p. 255-260. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-981-99-7584-6_16

Early and Systematic Validation of Formal Models

Abstract

Publication series

Fields of science

JKU Focus areas

Access to Document

Other files and links

Early and systematic validation of formal models

Cite this