Abstract
In his investigation of the correspondences of terminology in the metamodelling and the ontology subdisciplines, Henderson-Sellers (2011b) concludes, as here, that there is a correspondence between a domain-specific ontology and the method domain in Fig. 1.10 (roughly OMG layer M2 in the architecture of Fig. 1.9). This ontology must be represented by a language, where this language may itself be defined by a metamodel (OMG M2 or ISO Metamodel Domain). This is named, variously, meta-ontology, ontology specification language, foundational ontology or higher level ontology (see Fig. 5.7 and previous discussion). Such a language provides reasoning support not possible in software modelling languages such as UML or ER, which many researchers are tempted to use and/or extend for this purpose.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
We have already excluded concrete syntax (notation) as a necessary part of a language—in contradiction to the assumption made by Kühne (2006a).
- 2.
Possibly based on a statement such as ‘bank is a kind of noun’ being interpreted as a generalisation relationship.
- 3.
In various publications, Customer is sometimes a mixin type and sometimes a role type.
- 4.
‘Can play the role of’ is materialised as an existential dependence relation at the instance level.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2012 The Author(S)
About this chapter
Cite this chapter
Henderson-Sellers, B. (2012). Linking Models, Metamodels, Ontologies and Modelling Languages. In: On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages. SpringerBriefs in Computer Science. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29825-7_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-29825-7_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29824-0
Online ISBN: 978-3-642-29825-7
eBook Packages: Computer ScienceComputer Science (R0)