On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages [electronic resource] /by Brian Henderson-Sellers.
by Henderson-Sellers, Brian [author.]; SpringerLink (Online service).
Material type:
BookSeries: SpringerBriefs in Computer Science: Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2012.Description: IX, 106 p. 98 illus. online resource.ISBN: 9783642298257.Subject(s): Computer science | Software engineering | Artificial intelligence | Computer Science | Software Engineering | Models and Principles | Computation by Abstract Devices | Mathematical Logic and Formal Languages | Artificial Intelligence (incl. Robotics)DDC classification: 005.1 Online resources: Click here to access online
In:
Springer eBooksSummary: 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.
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| MAIN LIBRARY | QA76.758 (Browse shelf) | Available |
Browsing MAIN LIBRARY Shelves Close shelf browser
| QA76.758 Software and Data Technologies | QA76.758 Models in Software Engineering | QA76.758 Functional and Logic Programming | QA76.758 On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages | QA76.758 Runtime Verification | QA76.758 Agile Processes in Software Engineering and Extreme Programming | QA76.758 Tests and Proofs |
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.
There are no comments for this item.