Model-Driven Engineering in the Heterogeneous Tool Set View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2015

AUTHORS

Daniel Calegari , Till Mossakowski , Nora Szasz

ABSTRACT

We have defined a unified environment that allows formal verification within the Model-Driven Engineering (MDE) paradigm using heterogeneous verification approaches. The environment is based on the Theory of Institutions, which provides a sound basis for representing MDE elements and a way for specifying translations from these elements to other logical domains used for verification, such that formal experts can choose the domain in which they are more skilled to address a formal proof. In this paper we present how this environment can be supported in practice by the Heterogeneous Tool Set (Hets). We define semantic-preserving translations from the MDE elements to the core language of Hets, and we also show how it is possible to move from it to other logics, both to supplement the original specification with other verification properties and to perform a heterogeneous verification. More... »

PAGES

64-79

References to SciGraph publications

  • 2013. Institution-Based Semantics for MOF and QVT-Relations in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS
  • 2008. A Heterogeneous Approach to UML Semantics in CONCURRENCY, GRAPHS AND MODELS
  • 2013. Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES
  • 2002. Model Driven Engineering in INTEGRATED FORMAL METHODS
  • 2003-05-13. Correct Realizations of Interface Constraints with OCL in «UML»’99 — THE UNIFIED MODELING LANGUAGE
  • 2009. Generalized Theoroidal Institution Comorphisms in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES
  • 2009. Rewriting Logic Semantics and Verification of Model Transformations in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
  • Book

    TITLE

    Formal Methods: Foundations and Applications

    ISBN

    978-3-319-15074-1
    978-3-319-15075-8

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-319-15075-8_5

    DOI

    http://dx.doi.org/10.1007/978-3-319-15075-8_5

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1000941176


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "about": [
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0803", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computer Software", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information and Computing Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "University of the Republic", 
              "id": "https://www.grid.ac/institutes/grid.11630.35", 
              "name": [
                "Universidad de la Rep\u00fablica, Montevideo, Uruguay"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Calegari", 
            "givenName": "Daniel", 
            "id": "sg:person.012737157363.55", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012737157363.55"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Otto-von-Guericke University Magdeburg", 
              "id": "https://www.grid.ac/institutes/grid.5807.a", 
              "name": [
                "Otto-von-Guericke University Magdeburg, Magdeburg, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Mossakowski", 
            "givenName": "Till", 
            "id": "sg:person.013414426315.35", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013414426315.35"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Universidad Ort Uruguay", 
              "id": "https://www.grid.ac/institutes/grid.442045.3", 
              "name": [
                "Facultad de Ingenier\u00eda, Universidad ORT Uruguay, Montevideo, Uruguay"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Szasz", 
            "givenName": "Nora", 
            "id": "sg:person.015540321405.98", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015540321405.98"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "https://doi.org/10.1016/j.entcs.2013.02.002", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1000391957"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-68679-8_23", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1002650424", 
              "https://doi.org/10.1007/978-3-540-68679-8_23"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-41071-0_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007521888", 
              "https://doi.org/10.1007/978-3-642-41071-0_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-47884-1_16", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1009468710", 
              "https://doi.org/10.1007/3-540-47884-1_16"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-00593-0_2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021461061", 
              "https://doi.org/10.1007/978-3-642-00593-0_2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-46852-8_29", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026307025", 
              "https://doi.org/10.1007/3-540-46852-8_29"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-46852-8_29", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026307025", 
              "https://doi.org/10.1007/3-540-46852-8_29"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/b978-0-12-396526-4.00003-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029327875"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/147508.147524", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029969889"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-37635-1_11", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1038837360", 
              "https://doi.org/10.1007/978-3-642-37635-1_11"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-03429-9_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043092924", 
              "https://doi.org/10.1007/978-3-642-03429-9_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0304-3975(01)00361-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047608792"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.4204/eptcs.139.7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1072354923"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tase.2009.62", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095372218"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2015", 
        "datePublishedReg": "2015-01-01", 
        "description": "We have defined a unified environment that allows formal verification within the Model-Driven Engineering (MDE) paradigm using heterogeneous verification approaches. The environment is based on the Theory of Institutions, which provides a sound basis for representing MDE elements and a way for specifying translations from these elements to other logical domains used for verification, such that formal experts can choose the domain in which they are more skilled to address a formal proof. In this paper we present how this environment can be supported in practice by the Heterogeneous Tool Set (Hets). We define semantic-preserving translations from the MDE elements to the core language of Hets, and we also show how it is possible to move from it to other logics, both to supplement the original specification with other verification properties and to perform a heterogeneous verification.", 
        "editor": [
          {
            "familyName": "Braga", 
            "givenName": "Christiano", 
            "type": "Person"
          }, 
          {
            "familyName": "Mart\u00ed-Oliet", 
            "givenName": "Narciso", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-319-15075-8_5", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-319-15074-1", 
            "978-3-319-15075-8"
          ], 
          "name": "Formal Methods: Foundations and Applications", 
          "type": "Book"
        }, 
        "name": "Model-Driven Engineering in the Heterogeneous Tool Set", 
        "pagination": "64-79", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-319-15075-8_5"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "047c0b6fd5cdefe58164bccc6c49dfce6e5219db2bab3c84c9307eef261f4f59"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1000941176"
            ]
          }
        ], 
        "publisher": {
          "location": "Cham", 
          "name": "Springer International Publishing", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-319-15075-8_5", 
          "https://app.dimensions.ai/details/publication/pub.1000941176"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T22:52", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000001_0000000264/records_8695_00000243.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/978-3-319-15075-8_5"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-15075-8_5'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-15075-8_5'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-15075-8_5'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-15075-8_5'


     

    This table displays all metadata directly associated to this object as RDF triples.

    136 TRIPLES      23 PREDICATES      40 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-319-15075-8_5 schema:about anzsrc-for:08
    2 anzsrc-for:0803
    3 schema:author Ne48d5ecbca5640d7a9380a606ea88d3a
    4 schema:citation sg:pub.10.1007/3-540-46852-8_29
    5 sg:pub.10.1007/3-540-47884-1_16
    6 sg:pub.10.1007/978-3-540-68679-8_23
    7 sg:pub.10.1007/978-3-642-00593-0_2
    8 sg:pub.10.1007/978-3-642-03429-9_7
    9 sg:pub.10.1007/978-3-642-37635-1_11
    10 sg:pub.10.1007/978-3-642-41071-0_4
    11 https://doi.org/10.1016/b978-0-12-396526-4.00003-5
    12 https://doi.org/10.1016/j.entcs.2013.02.002
    13 https://doi.org/10.1016/s0304-3975(01)00361-9
    14 https://doi.org/10.1109/tase.2009.62
    15 https://doi.org/10.1145/147508.147524
    16 https://doi.org/10.4204/eptcs.139.7
    17 schema:datePublished 2015
    18 schema:datePublishedReg 2015-01-01
    19 schema:description We have defined a unified environment that allows formal verification within the Model-Driven Engineering (MDE) paradigm using heterogeneous verification approaches. The environment is based on the Theory of Institutions, which provides a sound basis for representing MDE elements and a way for specifying translations from these elements to other logical domains used for verification, such that formal experts can choose the domain in which they are more skilled to address a formal proof. In this paper we present how this environment can be supported in practice by the Heterogeneous Tool Set (Hets). We define semantic-preserving translations from the MDE elements to the core language of Hets, and we also show how it is possible to move from it to other logics, both to supplement the original specification with other verification properties and to perform a heterogeneous verification.
    20 schema:editor Naf39283be130416a9261cf5bdd8f8919
    21 schema:genre chapter
    22 schema:inLanguage en
    23 schema:isAccessibleForFree false
    24 schema:isPartOf N3992c743fad147b8bc443c4af28f2188
    25 schema:name Model-Driven Engineering in the Heterogeneous Tool Set
    26 schema:pagination 64-79
    27 schema:productId Na839406c95e146d4aadac459cd0c8834
    28 Nab407cfbeeb64234821b5d7be7de4af0
    29 Nc56cb722c16b4ef8a1098c65d3b79dec
    30 schema:publisher N703be89b55864067ab9755dd2b67571d
    31 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000941176
    32 https://doi.org/10.1007/978-3-319-15075-8_5
    33 schema:sdDatePublished 2019-04-15T22:52
    34 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    35 schema:sdPublisher Nffc81dc65c5c4e309c43ff4d68915574
    36 schema:url http://link.springer.com/10.1007/978-3-319-15075-8_5
    37 sgo:license sg:explorer/license/
    38 sgo:sdDataset chapters
    39 rdf:type schema:Chapter
    40 N0fb7796cc0324a3d8f62ac07852586fa schema:familyName Braga
    41 schema:givenName Christiano
    42 rdf:type schema:Person
    43 N3992c743fad147b8bc443c4af28f2188 schema:isbn 978-3-319-15074-1
    44 978-3-319-15075-8
    45 schema:name Formal Methods: Foundations and Applications
    46 rdf:type schema:Book
    47 N703be89b55864067ab9755dd2b67571d schema:location Cham
    48 schema:name Springer International Publishing
    49 rdf:type schema:Organisation
    50 Na839406c95e146d4aadac459cd0c8834 schema:name readcube_id
    51 schema:value 047c0b6fd5cdefe58164bccc6c49dfce6e5219db2bab3c84c9307eef261f4f59
    52 rdf:type schema:PropertyValue
    53 Nab407cfbeeb64234821b5d7be7de4af0 schema:name dimensions_id
    54 schema:value pub.1000941176
    55 rdf:type schema:PropertyValue
    56 Naf39283be130416a9261cf5bdd8f8919 rdf:first N0fb7796cc0324a3d8f62ac07852586fa
    57 rdf:rest Nba1d05e6bbbb49838482171b200ccdb6
    58 Nb12bd003605e4a3aa6e52bcc28b00e96 rdf:first sg:person.013414426315.35
    59 rdf:rest Nf56571460b79409186d4a44fa950bbce
    60 Nba1d05e6bbbb49838482171b200ccdb6 rdf:first Nf04768b481934b4ca7960bef69b6d0e6
    61 rdf:rest rdf:nil
    62 Nc56cb722c16b4ef8a1098c65d3b79dec schema:name doi
    63 schema:value 10.1007/978-3-319-15075-8_5
    64 rdf:type schema:PropertyValue
    65 Ne48d5ecbca5640d7a9380a606ea88d3a rdf:first sg:person.012737157363.55
    66 rdf:rest Nb12bd003605e4a3aa6e52bcc28b00e96
    67 Nf04768b481934b4ca7960bef69b6d0e6 schema:familyName Martí-Oliet
    68 schema:givenName Narciso
    69 rdf:type schema:Person
    70 Nf56571460b79409186d4a44fa950bbce rdf:first sg:person.015540321405.98
    71 rdf:rest rdf:nil
    72 Nffc81dc65c5c4e309c43ff4d68915574 schema:name Springer Nature - SN SciGraph project
    73 rdf:type schema:Organization
    74 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    75 schema:name Information and Computing Sciences
    76 rdf:type schema:DefinedTerm
    77 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    78 schema:name Computer Software
    79 rdf:type schema:DefinedTerm
    80 sg:person.012737157363.55 schema:affiliation https://www.grid.ac/institutes/grid.11630.35
    81 schema:familyName Calegari
    82 schema:givenName Daniel
    83 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012737157363.55
    84 rdf:type schema:Person
    85 sg:person.013414426315.35 schema:affiliation https://www.grid.ac/institutes/grid.5807.a
    86 schema:familyName Mossakowski
    87 schema:givenName Till
    88 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013414426315.35
    89 rdf:type schema:Person
    90 sg:person.015540321405.98 schema:affiliation https://www.grid.ac/institutes/grid.442045.3
    91 schema:familyName Szasz
    92 schema:givenName Nora
    93 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015540321405.98
    94 rdf:type schema:Person
    95 sg:pub.10.1007/3-540-46852-8_29 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026307025
    96 https://doi.org/10.1007/3-540-46852-8_29
    97 rdf:type schema:CreativeWork
    98 sg:pub.10.1007/3-540-47884-1_16 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009468710
    99 https://doi.org/10.1007/3-540-47884-1_16
    100 rdf:type schema:CreativeWork
    101 sg:pub.10.1007/978-3-540-68679-8_23 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002650424
    102 https://doi.org/10.1007/978-3-540-68679-8_23
    103 rdf:type schema:CreativeWork
    104 sg:pub.10.1007/978-3-642-00593-0_2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021461061
    105 https://doi.org/10.1007/978-3-642-00593-0_2
    106 rdf:type schema:CreativeWork
    107 sg:pub.10.1007/978-3-642-03429-9_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043092924
    108 https://doi.org/10.1007/978-3-642-03429-9_7
    109 rdf:type schema:CreativeWork
    110 sg:pub.10.1007/978-3-642-37635-1_11 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038837360
    111 https://doi.org/10.1007/978-3-642-37635-1_11
    112 rdf:type schema:CreativeWork
    113 sg:pub.10.1007/978-3-642-41071-0_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007521888
    114 https://doi.org/10.1007/978-3-642-41071-0_4
    115 rdf:type schema:CreativeWork
    116 https://doi.org/10.1016/b978-0-12-396526-4.00003-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029327875
    117 rdf:type schema:CreativeWork
    118 https://doi.org/10.1016/j.entcs.2013.02.002 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000391957
    119 rdf:type schema:CreativeWork
    120 https://doi.org/10.1016/s0304-3975(01)00361-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047608792
    121 rdf:type schema:CreativeWork
    122 https://doi.org/10.1109/tase.2009.62 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095372218
    123 rdf:type schema:CreativeWork
    124 https://doi.org/10.1145/147508.147524 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029969889
    125 rdf:type schema:CreativeWork
    126 https://doi.org/10.4204/eptcs.139.7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1072354923
    127 rdf:type schema:CreativeWork
    128 https://www.grid.ac/institutes/grid.11630.35 schema:alternateName University of the Republic
    129 schema:name Universidad de la República, Montevideo, Uruguay
    130 rdf:type schema:Organization
    131 https://www.grid.ac/institutes/grid.442045.3 schema:alternateName Universidad Ort Uruguay
    132 schema:name Facultad de Ingeniería, Universidad ORT Uruguay, Montevideo, Uruguay
    133 rdf:type schema:Organization
    134 https://www.grid.ac/institutes/grid.5807.a schema:alternateName Otto-von-Guericke University Magdeburg
    135 schema:name Otto-von-Guericke University Magdeburg, Magdeburg, Germany
    136 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...