Megamodel Consistency Management at Runtime View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2018

AUTHORS

El Hadji Bassirou Toure , Ibrahima Fall , Alassane Bah , Mamadou Samba Camara

ABSTRACT

This paper addresses the problem of ensuring consistency, correctness and other properties in dynamically changing software systems. The approach uses a Megamodel that represents the current state of the system at runtime including some rules. These rules are formulated as Hoare-Triples and allow to check whether modifications to the software system result in a consistent state, otherwise to fix changes that are likely to violate the megamodel integrity. More... »

PAGES

257-266

References to SciGraph publications

  • 2009. Typing in Model Management in THEORY AND PRACTICE OF MODEL TRANSFORMATIONS
  • Book

    TITLE

    Innovation and Interdisciplinary Solutions for Underserved Areas

    ISBN

    978-3-319-72964-0
    978-3-319-72965-7

    Author Affiliations

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-319-72965-7_24

    DOI

    http://dx.doi.org/10.1007/978-3-319-72965-7_24

    DIMENSIONS

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


    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": "Cheikh Anta Diop University", 
              "id": "https://www.grid.ac/institutes/grid.8191.1", 
              "name": [
                "\u00c9cole Sup\u00e9rieure Polytechnique (ESP), Universit\u00e9 Cheikh Anta Diop de Dakar (UCAD)"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Toure", 
            "givenName": "El Hadji Bassirou", 
            "id": "sg:person.012200377415.69", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012200377415.69"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Cheikh Anta Diop University", 
              "id": "https://www.grid.ac/institutes/grid.8191.1", 
              "name": [
                "\u00c9cole Sup\u00e9rieure Polytechnique (ESP), Universit\u00e9 Cheikh Anta Diop de Dakar (UCAD)"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Fall", 
            "givenName": "Ibrahima", 
            "id": "sg:person.0636023605.66", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0636023605.66"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Cheikh Anta Diop University", 
              "id": "https://www.grid.ac/institutes/grid.8191.1", 
              "name": [
                "\u00c9cole Sup\u00e9rieure Polytechnique (ESP), Universit\u00e9 Cheikh Anta Diop de Dakar (UCAD)"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Bah", 
            "givenName": "Alassane", 
            "id": "sg:person.0720633131.58", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0720633131.58"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Cheikh Anta Diop University", 
              "id": "https://www.grid.ac/institutes/grid.8191.1", 
              "name": [
                "\u00c9cole Sup\u00e9rieure Polytechnique (ESP), Universit\u00e9 Cheikh Anta Diop de Dakar (UCAD)"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Camara", 
            "givenName": "Mamadou Samba", 
            "id": "sg:person.07364533341.41", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07364533341.41"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/978-3-642-02408-5_14", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1030238228", 
              "https://doi.org/10.1007/978-3-642-02408-5_14"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-02408-5_14", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1030238228", 
              "https://doi.org/10.1007/978-3-642-02408-5_14"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/363235.363259", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043197262"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/32.385970", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061153939"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/32.60317", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061154294"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/ms.2003.1231147", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061420335"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/sitis.2012.74", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094431426"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/seams.2012.6224399", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094457976"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/issre.2009.12", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095814912"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.15439/2016f585", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1099038951"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2018", 
        "datePublishedReg": "2018-01-01", 
        "description": "This paper addresses the problem of ensuring consistency, correctness and other properties in dynamically changing software systems. The approach uses a Megamodel that represents the current state of the system at runtime including some rules. These rules are formulated as Hoare-Triples and allow to check whether modifications to the software system result in a consistent state, otherwise to fix changes that are likely to violate the megamodel integrity.", 
        "editor": [
          {
            "familyName": "M. F. Kebe", 
            "givenName": "Cheikh", 
            "type": "Person"
          }, 
          {
            "familyName": "Gueye", 
            "givenName": "Assane", 
            "type": "Person"
          }, 
          {
            "familyName": "Ndiaye", 
            "givenName": "Ababacar", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-319-72965-7_24", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-319-72964-0", 
            "978-3-319-72965-7"
          ], 
          "name": "Innovation and Interdisciplinary Solutions for Underserved Areas", 
          "type": "Book"
        }, 
        "name": "Megamodel Consistency Management at Runtime", 
        "pagination": "257-266", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-319-72965-7_24"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "4319cc54999d376fdbbd9b534d3622d9f37ff0dcba40da77b3ec49b16ddd0207"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1100587714"
            ]
          }
        ], 
        "publisher": {
          "location": "Cham", 
          "name": "Springer International Publishing", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-319-72965-7_24", 
          "https://app.dimensions.ai/details/publication/pub.1100587714"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T22:38", 
        "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_8693_00000603.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/978-3-319-72965-7_24"
      }
    ]
     

    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-72965-7_24'

    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-72965-7_24'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-72965-7_24'

    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-72965-7_24'


     

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

    124 TRIPLES      23 PREDICATES      36 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-319-72965-7_24 schema:about anzsrc-for:08
    2 anzsrc-for:0803
    3 schema:author Nd0ff70e0bd0c4d9c905ce1f46b26059b
    4 schema:citation sg:pub.10.1007/978-3-642-02408-5_14
    5 https://doi.org/10.1109/32.385970
    6 https://doi.org/10.1109/32.60317
    7 https://doi.org/10.1109/issre.2009.12
    8 https://doi.org/10.1109/ms.2003.1231147
    9 https://doi.org/10.1109/seams.2012.6224399
    10 https://doi.org/10.1109/sitis.2012.74
    11 https://doi.org/10.1145/363235.363259
    12 https://doi.org/10.15439/2016f585
    13 schema:datePublished 2018
    14 schema:datePublishedReg 2018-01-01
    15 schema:description This paper addresses the problem of ensuring consistency, correctness and other properties in dynamically changing software systems. The approach uses a Megamodel that represents the current state of the system at runtime including some rules. These rules are formulated as Hoare-Triples and allow to check whether modifications to the software system result in a consistent state, otherwise to fix changes that are likely to violate the megamodel integrity.
    16 schema:editor Ndd8e4972bf6b4c02a82dfd97066833d9
    17 schema:genre chapter
    18 schema:inLanguage en
    19 schema:isAccessibleForFree false
    20 schema:isPartOf Nbc22ed8b6e3a4d6e9bdeecc761617ff8
    21 schema:name Megamodel Consistency Management at Runtime
    22 schema:pagination 257-266
    23 schema:productId N1571c8d0038f452db0eb8bb58e191d7c
    24 Ne9fdf57622444f5eb2605adca2fc7446
    25 Nf5b077ebf50d4119ba0a59183d9a4d03
    26 schema:publisher N1534b2970b684f3487bfc31c5c463560
    27 schema:sameAs https://app.dimensions.ai/details/publication/pub.1100587714
    28 https://doi.org/10.1007/978-3-319-72965-7_24
    29 schema:sdDatePublished 2019-04-15T22:38
    30 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    31 schema:sdPublisher Nac1cb592f57a47a1a1b2b36a43b48500
    32 schema:url http://link.springer.com/10.1007/978-3-319-72965-7_24
    33 sgo:license sg:explorer/license/
    34 sgo:sdDataset chapters
    35 rdf:type schema:Chapter
    36 N1534b2970b684f3487bfc31c5c463560 schema:location Cham
    37 schema:name Springer International Publishing
    38 rdf:type schema:Organisation
    39 N1571c8d0038f452db0eb8bb58e191d7c schema:name doi
    40 schema:value 10.1007/978-3-319-72965-7_24
    41 rdf:type schema:PropertyValue
    42 N339b917c7a7b4678a82af4427ecf9f02 schema:familyName Gueye
    43 schema:givenName Assane
    44 rdf:type schema:Person
    45 N4bdb09b84c6d4b3d940ffdb99b5f5593 rdf:first N339b917c7a7b4678a82af4427ecf9f02
    46 rdf:rest N9675dcb65b58434ba755c16b3a7224d4
    47 N4bf5f9d1f7e144b4bbc58b6695977651 schema:familyName M. F. Kebe
    48 schema:givenName Cheikh
    49 rdf:type schema:Person
    50 N5f63734f89f246faa1d8c1ebc95eb1b8 rdf:first sg:person.0636023605.66
    51 rdf:rest N910d1577ad5b4789b88f774f9524a94f
    52 N910d1577ad5b4789b88f774f9524a94f rdf:first sg:person.0720633131.58
    53 rdf:rest Nea129d2440fd46a2bf6490002aaa21c1
    54 N9675dcb65b58434ba755c16b3a7224d4 rdf:first Necc59e0cdb974bcbadcfcbf7f066e6f0
    55 rdf:rest rdf:nil
    56 Nac1cb592f57a47a1a1b2b36a43b48500 schema:name Springer Nature - SN SciGraph project
    57 rdf:type schema:Organization
    58 Nbc22ed8b6e3a4d6e9bdeecc761617ff8 schema:isbn 978-3-319-72964-0
    59 978-3-319-72965-7
    60 schema:name Innovation and Interdisciplinary Solutions for Underserved Areas
    61 rdf:type schema:Book
    62 Nd0ff70e0bd0c4d9c905ce1f46b26059b rdf:first sg:person.012200377415.69
    63 rdf:rest N5f63734f89f246faa1d8c1ebc95eb1b8
    64 Ndd8e4972bf6b4c02a82dfd97066833d9 rdf:first N4bf5f9d1f7e144b4bbc58b6695977651
    65 rdf:rest N4bdb09b84c6d4b3d940ffdb99b5f5593
    66 Ne9fdf57622444f5eb2605adca2fc7446 schema:name dimensions_id
    67 schema:value pub.1100587714
    68 rdf:type schema:PropertyValue
    69 Nea129d2440fd46a2bf6490002aaa21c1 rdf:first sg:person.07364533341.41
    70 rdf:rest rdf:nil
    71 Necc59e0cdb974bcbadcfcbf7f066e6f0 schema:familyName Ndiaye
    72 schema:givenName Ababacar
    73 rdf:type schema:Person
    74 Nf5b077ebf50d4119ba0a59183d9a4d03 schema:name readcube_id
    75 schema:value 4319cc54999d376fdbbd9b534d3622d9f37ff0dcba40da77b3ec49b16ddd0207
    76 rdf:type schema:PropertyValue
    77 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    78 schema:name Information and Computing Sciences
    79 rdf:type schema:DefinedTerm
    80 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    81 schema:name Computer Software
    82 rdf:type schema:DefinedTerm
    83 sg:person.012200377415.69 schema:affiliation https://www.grid.ac/institutes/grid.8191.1
    84 schema:familyName Toure
    85 schema:givenName El Hadji Bassirou
    86 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012200377415.69
    87 rdf:type schema:Person
    88 sg:person.0636023605.66 schema:affiliation https://www.grid.ac/institutes/grid.8191.1
    89 schema:familyName Fall
    90 schema:givenName Ibrahima
    91 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0636023605.66
    92 rdf:type schema:Person
    93 sg:person.0720633131.58 schema:affiliation https://www.grid.ac/institutes/grid.8191.1
    94 schema:familyName Bah
    95 schema:givenName Alassane
    96 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0720633131.58
    97 rdf:type schema:Person
    98 sg:person.07364533341.41 schema:affiliation https://www.grid.ac/institutes/grid.8191.1
    99 schema:familyName Camara
    100 schema:givenName Mamadou Samba
    101 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07364533341.41
    102 rdf:type schema:Person
    103 sg:pub.10.1007/978-3-642-02408-5_14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030238228
    104 https://doi.org/10.1007/978-3-642-02408-5_14
    105 rdf:type schema:CreativeWork
    106 https://doi.org/10.1109/32.385970 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061153939
    107 rdf:type schema:CreativeWork
    108 https://doi.org/10.1109/32.60317 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061154294
    109 rdf:type schema:CreativeWork
    110 https://doi.org/10.1109/issre.2009.12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095814912
    111 rdf:type schema:CreativeWork
    112 https://doi.org/10.1109/ms.2003.1231147 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061420335
    113 rdf:type schema:CreativeWork
    114 https://doi.org/10.1109/seams.2012.6224399 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094457976
    115 rdf:type schema:CreativeWork
    116 https://doi.org/10.1109/sitis.2012.74 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094431426
    117 rdf:type schema:CreativeWork
    118 https://doi.org/10.1145/363235.363259 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043197262
    119 rdf:type schema:CreativeWork
    120 https://doi.org/10.15439/2016f585 schema:sameAs https://app.dimensions.ai/details/publication/pub.1099038951
    121 rdf:type schema:CreativeWork
    122 https://www.grid.ac/institutes/grid.8191.1 schema:alternateName Cheikh Anta Diop University
    123 schema:name École Supérieure Polytechnique (ESP), Université Cheikh Anta Diop de Dakar (UCAD)
    124 rdf:type schema:Organization
     




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


    ...