unifying-typing-kuehne.pdf (615.06 kB)

Unifying nominal and structural typing

Download (615.06 kB)
journal contribution
posted on 11.11.2020, 21:55 by Thomas Kuehne
© 2018, Springer-Verlag GmbH Germany, part of Springer Nature. In this article, I argue for a typing scheme for modeling that unifies the hitherto separated approaches of nominal and structural typing. Both these approaches have their respective advantages and disadvantages, and I suggest a unifying approach that provides one with the best of both worlds on demand. The ultimate goal is to make a contribution toward removing the gulf currently running through the modeling community that is created by the differences between explanatory and constructive modeling with their dependence on structural and nominal typing, respectively. To this end, I first characterize the typing disciplines underlying these different schools of thought, then identify their respective trade-offs, subsequently observe what aspects of these rather different typing approaches are compatible with each other and which are inherently incompatible, and finally propose a scheme that supports fluid transitioning between the approaches.

History

Preferred citation

Kühne, T. (2019). Unifying nominal and structural typing. Software and Systems Modeling, 18(3), 1683-1697. https://doi.org/10.1007/s10270-018-0660-y

Journal title

Software and Systems Modeling

Volume

18

Issue

3

Publication date

01/06/2019

Pagination

1683-1697

Publisher

Springer Science and Business Media LLC

Publication status

Published

Online publication date

01/02/2018

ISSN

1619-1366

eISSN

1619-1374

Language

en

Exports