skip to content
On the mathematics of modelling, metamodelling, ontologies and modelling languages Preview this item
ClosePreview this item
Checking...

On the mathematics of modelling, metamodelling, ontologies and modelling languages

Author: Brian Henderson-Sellers
Publisher: Berlin ; New York : Springer, ©2012.
Series: SpringerBriefs in computer science.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Summary:
"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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Brian Henderson-Sellers
ISBN: 9783642298257 3642298257 3642298249 9783642298240
OCLC Number: 796466652
Description: 1 online resource.
Contents: 1Introduction --
Mathematics for Modelling --
Models --
Metamodels --
Ontologies --
Modelling Languages --
Linking Models, Metamodels, Ontologies and Modelling Languages --
Other Related Work and Further Discussion --
Conclusions and Further Work.
Series Title: SpringerBriefs in computer science.
Responsibility: Brian Henderson-Sellers.
More information:

Abstract:

The subdisciplines of modelling, metamodelling, ontologies and modelling languages within software engineering have, to some degree, evolved separately and without any underpinning formalisms. This  Read more...

Reviews

Editorial reviews

Publisher Synopsis

From the reviews: "This book (...) is a thoroughly researched and insightful essay on the mathematical bases of modeling and ontologies." Anthony J. Duben, ACM Computing Reviews, November 2012 "This Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/796466652> # On the mathematics of modelling, metamodelling, ontologies and modelling languages
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "796466652" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1121179951#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://dewey.info/class/003.3/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1121179951#Thing/computation_by_abstract_devices> ; # Computation by Abstract Devices.
    schema:about <http://experiment.worldcat.org/entity/work/data/1121179951#Topic/computer_simulation_mathematics> ; # Computer simulation--Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/1121179951#Thing/software_engineering> ; # Software engineering.
    schema:about <http://experiment.worldcat.org/entity/work/data/1121179951#Thing/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages.
    schema:about <http://experiment.worldcat.org/entity/work/data/1121179951#Topic/informatique> ; # Informatique
    schema:about <http://id.worldcat.org/fast/1124192> ; # Software engineering--Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/1121179951#Thing/artificial_intelligence> ; # Artificial intelligence.
    schema:about <http://experiment.worldcat.org/entity/work/data/1121179951#Topic/software_engineering_mathematics> ; # Software engineering--Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/1121179951#Thing/computer_science> ; # Computer science.
    schema:about <http://experiment.worldcat.org/entity/work/data/1121179951#Thing/models_and_principles> ; # Models and Principles.
    schema:bookFormat schema:EBook ;
    schema:copyrightYear "2012" ;
    schema:creator <http://viaf.org/viaf/12388368> ; # Brian Henderson-Sellers
    schema:datePublished "2012" ;
    schema:description ""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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1121179951> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1121179951#Series/springerbriefs_in_computer_science> ; # SpringerBriefs in computer science.
    schema:isPartOf <http://worldcat.org/issn/2191-5768> ; # SpringerBriefs in computer science,
    schema:name "On the mathematics of modelling, metamodelling, ontologies and modelling languages"@en ;
    schema:productID "796466652" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/796466652#PublicationEvent/berlin_new_york_springer_2012> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1121179951#Agent/springer> ; # Springer
    schema:url <http://dx.doi.org/10.1007/978-3-642-29825-7> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=994007> ;
    schema:url <http://site.ebrary.com/id/10572283> ;
    schema:workExample <http://worldcat.org/isbn/9783642298257> ;
    schema:workExample <http://worldcat.org/isbn/9783642298240> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/796466652> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1121179951#Series/springerbriefs_in_computer_science> # SpringerBriefs in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/796466652> ; # On the mathematics of modelling, metamodelling, ontologies and modelling languages
    schema:name "SpringerBriefs in computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/1121179951#Thing/artificial_intelligence> # Artificial intelligence.
    a schema:Thing ;
    schema:name "Artificial intelligence." ;
    .

<http://experiment.worldcat.org/entity/work/data/1121179951#Thing/computation_by_abstract_devices> # Computation by Abstract Devices.
    a schema:Thing ;
    schema:name "Computation by Abstract Devices." ;
    .

<http://experiment.worldcat.org/entity/work/data/1121179951#Thing/computer_science> # Computer science.
    a schema:Thing ;
    schema:name "Computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/1121179951#Thing/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages.
    a schema:Thing ;
    schema:name "Mathematical Logic and Formal Languages." ;
    .

<http://experiment.worldcat.org/entity/work/data/1121179951#Thing/models_and_principles> # Models and Principles.
    a schema:Thing ;
    schema:name "Models and Principles." ;
    .

<http://experiment.worldcat.org/entity/work/data/1121179951#Thing/software_engineering> # Software engineering.
    a schema:Thing ;
    schema:name "Software engineering." ;
    .

<http://id.worldcat.org/fast/1124192> # Software engineering--Mathematics
    a schema:Intangible ;
    schema:name "Software engineering--Mathematics"@en ;
    .

<http://viaf.org/viaf/12388368> # Brian Henderson-Sellers
    a schema:Person ;
    schema:familyName "Henderson-Sellers" ;
    schema:givenName "Brian" ;
    schema:name "Brian Henderson-Sellers" ;
    .

<http://worldcat.org/isbn/9783642298240>
    a schema:ProductModel ;
    schema:isbn "3642298249" ;
    schema:isbn "9783642298240" ;
    .

<http://worldcat.org/isbn/9783642298257>
    a schema:ProductModel ;
    schema:isbn "3642298257" ;
    schema:isbn "9783642298257" ;
    .

<http://worldcat.org/issn/2191-5768> # SpringerBriefs in computer science,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/796466652> ; # On the mathematics of modelling, metamodelling, ontologies and modelling languages
    schema:issn "2191-5768" ;
    schema:name "SpringerBriefs in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/796466652>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/796466652> ; # On the mathematics of modelling, metamodelling, ontologies and modelling languages
    schema:dateModified "2016-06-28" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.