Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385527563> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W4385527563 endingPage "103974" @default.
- W4385527563 startingPage "103974" @default.
- W4385527563 abstract "Verification in the realm of enterprise modeling (EM) ensures both the consistency of EM language specifications (i.e., meta models and additional well-formedness constraints), as well as of enterprise models. The consistency of enterprise models, which integrate different perspectives on an enterprise, ensures that they contain the necessary, in line with domain-specific rules, information for carrying out a variety of model-driven enterprise analyses. Meta modeling platforms are instrumental in carrying out such verification, especially when multiple languages are applied in tandem, as is inherent to enterprise modeling. This paper reports on our practical experiences of using formal methods for verification in the context of EM. Motivated by the required verification capabilities, we show for one example platform, ADOxx, how it can be chained together with Alloy, an example of lightweight formal method, to capitalize on complementary platform strengths. Namely, ADOxx for language specification and use, and Alloy for verification capabilities. We show the verification, both, on the meta model level, in terms of checking the consistency of language specifications, and on the model level, in terms of checking models against well-formedness constraints. We illustrate the chaining of ADOxx and Alloy on the basis of consistency checks of two languages applied in tandem, namely the value modeling language e3value and the IT infrastructure modeling language, ITML. We also carry out experiments with three further languages to reflect upon the performance of Alloy, and its capability to uncover inconsistencies." @default.
- W4385527563 created "2023-08-04" @default.
- W4385527563 creator A5017429891 @default.
- W4385527563 creator A5053075961 @default.
- W4385527563 creator A5068442325 @default.
- W4385527563 date "2023-10-01" @default.
- W4385527563 modified "2023-10-16" @default.
- W4385527563 title "Leveraging the power of formal methods in the realm of enterprise modeling—On the example of extending the (meta) model verification possibilities of ADOxx with Alloy" @default.
- W4385527563 cites W1035875811 @default.
- W4385527563 cites W1573154295 @default.
- W4385527563 cites W1963620879 @default.
- W4385527563 cites W1985585837 @default.
- W4385527563 cites W1989040088 @default.
- W4385527563 cites W2004516093 @default.
- W4385527563 cites W2059858677 @default.
- W4385527563 cites W2075765289 @default.
- W4385527563 cites W2085439199 @default.
- W4385527563 cites W2091920469 @default.
- W4385527563 cites W2093968349 @default.
- W4385527563 cites W2111445678 @default.
- W4385527563 cites W2118330142 @default.
- W4385527563 cites W2125760526 @default.
- W4385527563 cites W2164758968 @default.
- W4385527563 cites W2334937757 @default.
- W4385527563 cites W2552671119 @default.
- W4385527563 cites W2739603496 @default.
- W4385527563 cites W2781813378 @default.
- W4385527563 cites W2786918196 @default.
- W4385527563 cites W3082371875 @default.
- W4385527563 cites W4212875990 @default.
- W4385527563 cites W4231499262 @default.
- W4385527563 cites W4296471858 @default.
- W4385527563 cites W4306698403 @default.
- W4385527563 doi "https://doi.org/10.1016/j.compind.2023.103974" @default.
- W4385527563 hasPublicationYear "2023" @default.
- W4385527563 type Work @default.
- W4385527563 citedByCount "0" @default.
- W4385527563 crossrefType "journal-article" @default.
- W4385527563 hasAuthorship W4385527563A5017429891 @default.
- W4385527563 hasAuthorship W4385527563A5053075961 @default.
- W4385527563 hasAuthorship W4385527563A5068442325 @default.
- W4385527563 hasBestOaLocation W43855275631 @default.
- W4385527563 hasConcept C115903868 @default.
- W4385527563 hasConcept C138824270 @default.
- W4385527563 hasConcept C151730666 @default.
- W4385527563 hasConcept C154945302 @default.
- W4385527563 hasConcept C179603123 @default.
- W4385527563 hasConcept C185765463 @default.
- W4385527563 hasConcept C199360897 @default.
- W4385527563 hasConcept C2776436953 @default.
- W4385527563 hasConcept C2777904410 @default.
- W4385527563 hasConcept C2779343474 @default.
- W4385527563 hasConcept C41008148 @default.
- W4385527563 hasConcept C53996427 @default.
- W4385527563 hasConcept C77088390 @default.
- W4385527563 hasConcept C86610423 @default.
- W4385527563 hasConcept C86803240 @default.
- W4385527563 hasConceptScore W4385527563C115903868 @default.
- W4385527563 hasConceptScore W4385527563C138824270 @default.
- W4385527563 hasConceptScore W4385527563C151730666 @default.
- W4385527563 hasConceptScore W4385527563C154945302 @default.
- W4385527563 hasConceptScore W4385527563C179603123 @default.
- W4385527563 hasConceptScore W4385527563C185765463 @default.
- W4385527563 hasConceptScore W4385527563C199360897 @default.
- W4385527563 hasConceptScore W4385527563C2776436953 @default.
- W4385527563 hasConceptScore W4385527563C2777904410 @default.
- W4385527563 hasConceptScore W4385527563C2779343474 @default.
- W4385527563 hasConceptScore W4385527563C41008148 @default.
- W4385527563 hasConceptScore W4385527563C53996427 @default.
- W4385527563 hasConceptScore W4385527563C77088390 @default.
- W4385527563 hasConceptScore W4385527563C86610423 @default.
- W4385527563 hasConceptScore W4385527563C86803240 @default.
- W4385527563 hasLocation W43855275631 @default.
- W4385527563 hasOpenAccess W4385527563 @default.
- W4385527563 hasPrimaryLocation W43855275631 @default.
- W4385527563 hasRelatedWork W12785170 @default.
- W4385527563 hasRelatedWork W1522013301 @default.
- W4385527563 hasRelatedWork W2008997865 @default.
- W4385527563 hasRelatedWork W2031633255 @default.
- W4385527563 hasRelatedWork W2058640402 @default.
- W4385527563 hasRelatedWork W2059858677 @default.
- W4385527563 hasRelatedWork W2061718321 @default.
- W4385527563 hasRelatedWork W2091975933 @default.
- W4385527563 hasRelatedWork W2188713118 @default.
- W4385527563 hasRelatedWork W2001790459 @default.
- W4385527563 hasVolume "151" @default.
- W4385527563 isParatext "false" @default.
- W4385527563 isRetracted "false" @default.
- W4385527563 workType "article" @default.