Validation and Verification in Domain-Specific Modeling Method Engineering - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2021

Validation and Verification in Domain-Specific Modeling Method Engineering

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Licence

Identifiants

Citer

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⟩
36 Consultations
42 Téléchargements

Altmetric

Partager

More