A Comprehensive Formal Theory for Multi-level Conceptual Modeling
| Autor: | Victorio Albani de Carvalho, João Paulo A. Almeida, Claudenir M. Fonseca |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Flexibility (engineering)
Theoretical computer science Theory Computer science media_common.quotation_subject Subject (philosophy) Axiomatic system 020207 software engineering 02 engineering and technology Extension (predicate logic) Stratification (mathematics) Metamodeling 020204 information systems 0202 electrical engineering electronic engineering information engineering Conceptual model media_common |
| Zdroj: | Conceptual Modeling ISBN: 9783319699035 ER |
| Popis: | Multi-level modeling extends the conventional two-level classification scheme to deal with subject domains in which classes are also considered instances of other classes. In the past, we have explored theoretical foundations for multi-level conceptual modeling and proposed an axiomatic theory for multi-level modeling dubbed MLT. MLT provides concepts for multi-level modeling along with a number of rules to guide the construction of sound multi-level conceptual models. Despite the benefits of MLT, it is still unable to deal with a number of general notions underlying conceptual models (including the notions used in its own definition). In this paper, we present an extension of MLT to deal with these limitations. The resulting theory (called MLT*) is novel in that it combines a strictly stratified theory of levels with the flexibility required to model abstract notions that defy stratification into levels such as a universal “Type” or, even more abstract notions such as “Entity” and “Thing”. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|