Capturing Multi-level Models in a Two-Level Formal Modeling Technique
| Autor: | Giancarlo Guizzardi, João Paulo A. Almeida, Claudenir M. Fonseca, Fernando A. Musso, Victorio Albani de Carvalho |
|---|---|
| Rok vydání: | 2019 |
| Předmět: |
Scheme (programming language)
Computer science Model transformation 010401 analytical chemistry Multilevel model 020207 software engineering 02 engineering and technology computer.software_genre 01 natural sciences Stratification (mathematics) 0104 chemical sciences Alloy Analyzer 0202 electrical engineering electronic engineering information engineering Data mining computer computer.programming_language |
| Zdroj: | Conceptual Modeling ISBN: 9783030332228 ER |
| Popis: | Conceptual models are often built with techniques that propose a strict stratification of entities into two classification levels: a level of types (or classes) and a level of instances. Multi-level conceptual modeling extends the conventional two-level scheme by admitting that types can be instances of other types, giving rise to multiple levels of classification. Nevertheless, the vast majority of tools and techniques are still confined to the two-level scheme, and hence cannot be used for multi-level models directly. We show here how a multi-level model in ML2 can be transformed into a two-level specification in the formal modeling technique Alloy, thereby leveraging the Alloy analyzer to multi-level models. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|