On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages

Henderson-Sellers, B

On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages

Henderson-Sellers, B

Permalink

Publisher:: Springer
Publication Type:: Book
Citation:: 2012, First
Issue Date:: 2012-01

Closed Access

	Filename	Description	Size
	2011004081OK.pdf	Published version	108.15 kB	Adobe PDF	View/Open

Copyright Clearance Process

Recently Added
In Progress
Closed Access

This item is closed access and not available.

Full metadata record

Field	Value	Language
dc.contributor.author	Henderson-Sellers, B	en_US
dc.date.issued	2012-01	en_US
dc.identifier.citation	2012, First	en_US
dc.identifier.isbn	978-3-642-29824-0	en_US
dc.identifier.uri	http://hdl.handle.net/10453/31216
dc.description.abstract	The subdisciplines of modelling, metamodelling, ontologies and modelling languages within software engineering have, to some degree, evolved separately and without any underpinning formalisms. Introducing set theory as a consistent underlying formalism, we show how a coherent framework can be developed that clearly links these four, previously separate, areas of software engineering. In particular, we show how the incorporation of a foundational ontology can be bene?cial in resolving a number of controversial issues in conceptual modelling, especially with regard to the perceived differences between linguistic metamodelling and ontological metamodelling. We also suggest the focus on the modelmetamodel `instantiation linkage can be replaced by a model-modelling language linkage. Consideration of domain-speci?c modelling languages is also included in this mathematical analysis of models, metamodels, ontologies and modelling languages.	en_US
dc.publisher	Springer	en_US
dc.relation	http://purl.org/au-research/grants/arc/DP0878172
dc.relation.isbasedon	10.1007/978-3-642-29825-7	en_US
dc.title	On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages	en_US
dc.type	Book
utslib.location	Berlin, Heidelberg	en_US
utslib.for	0806 Information Systems	en_US
utslib.citation.edition	First	en_US
pubs.embargo.period	Not known	en_US
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology/School of Software
pubs.organisational-group	/University of Technology Sydney/Strength - HCTD - Human Centred Technology Design
utslib.copyright.status	closed_access
pubs.consider-herdc	true	en_US
pubs.edition	First	en_US
pubs.place-of-publication	Berlin, Heidelberg	en_US

Abstract:

The subdisciplines of modelling, metamodelling, ontologies and modelling languages within software engineering have, to some degree, evolved separately and without any underpinning formalisms. Introducing set theory as a consistent underlying formalism, we show how a coherent framework can be developed that clearly links these four, previously separate, areas of software engineering. In particular, we show how the incorporation of a foundational ontology can be bene?cial in resolving a number of controversial issues in conceptual modelling, especially with regard to the perceived differences between linguistic metamodelling and ontological metamodelling. We also suggest the focus on the modelmetamodel `instantiation linkage can be replaced by a model-modelling language linkage. Consideration of domain-speci?c modelling languages is also included in this mathematical analysis of models, metamodels, ontologies and modelling languages.

Please use this identifier to cite or link to this item:

http://hdl.handle.net/10453/31216