Abstract
The concept of classification as realized in most traditional object-oriented computer languages has certain limitations that may inhibit its application to modeling more complex phenomena. This is likely to prove problematic as modern software becomes increasingly more integrated with the highly dynamic physical world. In this paper, we first provide a detailed description of these limitations, followed by an outline of a novel approach to classification designed to overcome them. The proposed approach replaces the static multiple-inheritance hierarchy approach found in many object-oriented languages with multiple dynamic class hierarchies each based on different classification criteria. Furthermore, to better deal with ambiguous classification schemes, it supports potentially overlapping class membership within any given scheme. Also included is a brief overview of how this approach could be realized in the design of advanced computer languages.
Original language | English |
---|---|
Title of host publication | 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021 Rhodes, Greece, October 17–29, 2021 Proceedings |
Editors | Tiziana Margaria, Bernhard Steffen |
Place of Publication | Cham Switzerland |
Publisher | Springer |
Pages | 346-356 |
Number of pages | 11 |
ISBN (Electronic) | 9783030891596 |
ISBN (Print) | 9783030891589 |
DOIs | |
Publication status | Published - 2021 |
Event | International Symposium on Leveraging Applications of Formal Methods, Verification and Validation 2021 - Rhodes, Greece Duration: 17 Oct 2021 → 29 Oct 2021 Conference number: 10th https://link.springer.com/book/10.1007/978-3-030-89159-6 (Proceedings) |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 13036 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | International Symposium on Leveraging Applications of Formal Methods, Verification and Validation 2021 |
---|---|
Abbreviated title | ISoLA 2021 |
Country/Territory | Greece |
City | Rhodes |
Period | 17/10/21 → 29/10/21 |
Internet address |
|
Keywords
- Classification
- Computer languages
- Viewpoints