Validation and Verification in Domain-Specific Modeling Method Engineering - The Practice of Enterprise Modeling Access content directly
Conference Papers Year : 2021

Validation and Verification in Domain-Specific Modeling Method Engineering

Abstract

Enterprise models have the potential to constitute a valuable asset for organizations, e.g., in terms of enabling a variety of analyses. A prerequisite for realizing this potential is that an enterprise model is syntactically, semantically and pragmatically valid. To ensure these three types of validity, verification and validation (V&V) mechanisms are required to be in place while designing the enterprise modeling method, e.g., to validate identified requirements, to check created enterprise models against syntactic rules, or to ensure intra- and inter-model consistency. Therefore, the objective of this paper is to systematically embed verification and validation (V&V) techniques into the design of (enterprise) domain-specific modeling methods (DSMMs). To this end, we integrate steps and considerations of well-established DSMM engineering processes, and enrich them with V&V techniques based upon our earlier experiences and a literature analysis.
Fichier principal
Vignette du fichier
514409_1_En_9_Chapter.pdf (355.19 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-04323856 , version 1 (05-12-2023)

Licence

Attribution

Identifiers

Cite

Qin Ma, Monika Kaczmarek-Hess, Sybren De Kinderen. Validation and Verification in Domain-Specific Modeling Method Engineering. 14th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2021, Riga, Latvia. pp.119-133, ⟨10.1007/978-3-030-91279-6_9⟩. ⟨hal-04323856⟩
15 View
4 Download

Altmetric

Share

Gmail Facebook X LinkedIn More