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

  • Brian┬áHenderson-Sellers

Part of the SpringerBriefs in Computer Science book series (BRIEFSCOMPUTER)

Table of contents

  1. Front Matter
    Pages i-ix
  2. Brian Henderson-Sellers
    Pages 1-10
  3. Brian Henderson-Sellers
    Pages 11-30
  4. Brian Henderson-Sellers
    Pages 31-39
  5. Brian Henderson-Sellers
    Pages 41-45
  6. Brian Henderson-Sellers
    Pages 47-62
  7. Brian Henderson-Sellers
    Pages 63-74
  8. Brian Henderson-Sellers
    Pages 95-95
  9. Brian Henderson-Sellers
    Pages 97-98
  10. Back Matter
    Pages 99-106

About this book

Introduction

Computing as a discipline is maturing rapidly. However, with maturity often comes a plethora of subdisciplines, which, as time progresses, can become isolationist. The subdisciplines of modelling, metamodelling, ontologies and modelling languages within software engineering e.g. have, to some degree, evolved separately and without any underpinning formalisms.

Introducing set theory as a consistent underlying formalism, Brian Henderson-Sellers shows how a coherent framework can be developed that clearly links these four, previously separate, areas of software engineering. In particular, he shows how the incorporation of a foundational ontology can be beneficial in resolving a number of controversial issues in conceptual modelling, especially with regard to the perceived differences between linguistic metamodelling and ontological metamodelling. An explicit consideration of domain-specific modelling languages is also included in his mathematical analysis of models, metamodels, ontologies and modelling languages.

This encompassing and detailed presentation of the state-of-the-art in modelling approaches mainly aims at researchers in academia and industry. They will find the principled discussion of the various subdisciplines extremely useful, and they may exploit the unifying approach as a starting point for future research.

Keywords

mathematical models metamodeling modeling modeling languages ontologies software engineering

Authors and affiliations

  • Brian┬áHenderson-Sellers
    • 1
  1. 1., School of SoftwareUniversity of TechnologySydneyAustralia

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-29825-7
  • Copyright Information The Author(S) 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-29824-0
  • Online ISBN 978-3-642-29825-7
  • Series Print ISSN 2191-5768
  • Series Online ISSN 2191-5776
  • About this book
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace