SpringerBriefs in computer science.
2191-5768
SpringerBriefs in computer science,
Computer science
Computer Science
Artificial intelligence.
Berlin
gw
Informatique
Computer science.
9783642298240
3642298249
Software engineering.
2017-07-09
Software engineering--Mathematics
Software engineering
Models and Principles.
Computer simulation--Mathematics
Computer simulation -- Mathematics
Engineering & Applied Sciences
Springer eBooks (Computer Science 2012)
Springer
New York
Henderson-Sellers
Brian
Brian Henderson-Sellers
Mathematical Logic and Formal Languages.
Software engineering--Mathematics
Software engineering -- Mathematics
2012
On the mathematics of modelling, metamodelling, ontologies and modelling languages
en
Electronic books
796466652
"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."--Publisher's website.
796466652
2012
9783642298257
3642298257
Computation by Abstract Devices.