Fixing classification: a viewpoint-based approach

Bran Selić, Alfonso Pierantonio

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1 Citation (Scopus)

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 languageEnglish
Title of host publication10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021 Rhodes, Greece, October 17–29, 2021 Proceedings
EditorsTiziana Margaria, Bernhard Steffen
Place of PublicationCham Switzerland
PublisherSpringer
Pages346-356
Number of pages11
ISBN (Electronic)9783030891596
ISBN (Print)9783030891589
DOIs
Publication statusPublished - 2021
EventInternational Symposium on Leveraging Applications of Formal Methods, Verification and Validation 2021 - Rhodes, Greece
Duration: 17 Oct 202129 Oct 2021
Conference number: 10th
https://link.springer.com/book/10.1007/978-3-030-89159-6 (Proceedings)

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume13036
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceInternational Symposium on Leveraging Applications of Formal Methods, Verification and Validation 2021
Abbreviated titleISoLA 2021
Country/TerritoryGreece
CityRhodes
Period17/10/2129/10/21
Internet address

Keywords

  • Classification
  • Computer languages
  • Viewpoints

Cite this