Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2018-10-31

AUTHORS

Rim El Ballouli , Saddek Bensalem , Marius Bozga , Joseph Sifakis

ABSTRACT

DR-BIP is an extension of the BIP component framework intended for programming reconfigurable systems encompassing various aspects of dynamism. A system is built from instances of types of components characterized by their interfaces. The latter consist of sets of ports through which data can be exchanged when interactions take place. DR-BIP allows the description of parametric exogenous interactions and reconfiguration operations. To naturally model self-organization and mobility of components, a system is composed of several architecture motifs, each motif consisting of a set of component instances and coordination rules. The use of motifs allows a disciplined management of dynamically changing coordination rules. The paper illustrates the basic concepts of DR-BIP through a collection of four non-trivial exercises from different application areas: fault-tolerant systems, mobile systems and autonomous systems. The presented solutions show that DR-BIP is both minimal and expressive allowing concise and natural description of non-trivial systems. More... »

PAGES

304-320

References to SciGraph publications

  • 2012. Modeling Dynamic Architectures Using Dy-BIP in SOFTWARE COMPOSITION
  • 2016-04. A general framework for architecture composability in FORMAL ASPECTS OF COMPUTING
  • 1998. Specifying and analyzing dynamic software architectures in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
  • 1999. Specification and Refinement of Dynamic Software Architectures in SOFTWARE ARCHITECTURE
  • Book

    TITLE

    Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

    ISBN

    978-3-030-03423-8
    978-3-030-03424-5

    Author Affiliations

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-030-03424-5_20

    DOI

    http://dx.doi.org/10.1007/978-3-030-03424-5_20

    DIMENSIONS

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


    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": "Grenoble Institute of Technology", 
              "id": "https://www.grid.ac/institutes/grid.5676.2", 
              "name": [
                "Univ. Grenoble Alpes, CNRS, Grenoble INP, 38000, Grenoble, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Ballouli", 
            "givenName": "Rim El", 
            "id": "sg:person.012172241503.56", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012172241503.56"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Grenoble Institute of Technology", 
              "id": "https://www.grid.ac/institutes/grid.5676.2", 
              "name": [
                "Univ. Grenoble Alpes, CNRS, Grenoble INP, 38000, Grenoble, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Bensalem", 
            "givenName": "Saddek", 
            "id": "sg:person.010534060357.92", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010534060357.92"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Grenoble Institute of Technology", 
              "id": "https://www.grid.ac/institutes/grid.5676.2", 
              "name": [
                "Univ. Grenoble Alpes, CNRS, Grenoble INP, 38000, Grenoble, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Bozga", 
            "givenName": "Marius", 
            "id": "sg:person.015023416242.87", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015023416242.87"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Grenoble Institute of Technology", 
              "id": "https://www.grid.ac/institutes/grid.5676.2", 
              "name": [
                "Univ. Grenoble Alpes, CNRS, Grenoble INP, 38000, Grenoble, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Sifakis", 
            "givenName": "Joseph", 
            "id": "sg:person.015257171315.40", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015257171315.40"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/978-3-642-30564-1_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004616748", 
              "https://doi.org/10.1007/978-3-642-30564-1_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-0-387-35563-4_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1017954506", 
              "https://doi.org/10.1007/978-0-387-35563-4_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0053581", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1022261246", 
              "https://doi.org/10.1007/bfb0053581"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.infsof.2006.08.006", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025332067"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/372202.372298", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034973513"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2619998", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040582147"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s00165-015-0349-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043015678", 
              "https://doi.org/10.1007/s00165-015-0349-8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s00165-015-0349-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043015678", 
              "https://doi.org/10.1007/s00165-015-0349-8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/ms.2011.27", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061421311"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tc.2008.26", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061534646"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tevc.2008.2011746", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061604862"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tse.2012.74", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061788996"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/iros.2016.7759558", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094217924"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/compsac.2014.56", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095013647"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/itsc.2015.322", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095157723"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2018-10-31", 
        "datePublishedReg": "2018-10-31", 
        "description": "DR-BIP is an extension of the BIP component framework intended for programming reconfigurable systems encompassing various aspects of dynamism. A system is built from instances of types of components characterized by their interfaces. The latter consist of sets of ports through which data can be exchanged when interactions take place. DR-BIP allows the description of parametric exogenous interactions and reconfiguration operations. To naturally model self-organization and mobility of components, a system is composed of several architecture motifs, each motif consisting of a set of component instances and coordination rules. The use of motifs allows a disciplined management of dynamically changing coordination rules. The paper illustrates the basic concepts of DR-BIP through a collection of four non-trivial exercises from different application areas: fault-tolerant systems, mobile systems and autonomous systems. The presented solutions show that DR-BIP is both minimal and expressive allowing concise and natural description of non-trivial systems.", 
        "editor": [
          {
            "familyName": "Margaria", 
            "givenName": "Tiziana", 
            "type": "Person"
          }, 
          {
            "familyName": "Steffen", 
            "givenName": "Bernhard", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-030-03424-5_20", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-030-03423-8", 
            "978-3-030-03424-5"
          ], 
          "name": "Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems", 
          "type": "Book"
        }, 
        "name": "Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP", 
        "pagination": "304-320", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-030-03424-5_20"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "b104d87df89d6e21918c9679e8c4f92ccf6a82db46a34dbdf4ff393bc937554a"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1107922862"
            ]
          }
        ], 
        "publisher": {
          "location": "Cham", 
          "name": "Springer International Publishing", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-030-03424-5_20", 
          "https://app.dimensions.ai/details/publication/pub.1107922862"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-16T04:41", 
        "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/0000000322_0000000322/records_65014_00000000.jsonl", 
        "type": "Chapter", 
        "url": "https://link.springer.com/10.1007%2F978-3-030-03424-5_20"
      }
    ]
     

    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-030-03424-5_20'

    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-030-03424-5_20'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-03424-5_20'

    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-030-03424-5_20'


     

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

    137 TRIPLES      23 PREDICATES      40 URIs      19 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-030-03424-5_20 schema:about anzsrc-for:08
    2 anzsrc-for:0803
    3 schema:author N7bd21ade4e6d468197b13f25eeb558ab
    4 schema:citation sg:pub.10.1007/978-0-387-35563-4_7
    5 sg:pub.10.1007/978-3-642-30564-1_1
    6 sg:pub.10.1007/bfb0053581
    7 sg:pub.10.1007/s00165-015-0349-8
    8 https://doi.org/10.1016/j.infsof.2006.08.006
    9 https://doi.org/10.1109/compsac.2014.56
    10 https://doi.org/10.1109/iros.2016.7759558
    11 https://doi.org/10.1109/itsc.2015.322
    12 https://doi.org/10.1109/ms.2011.27
    13 https://doi.org/10.1109/tc.2008.26
    14 https://doi.org/10.1109/tevc.2008.2011746
    15 https://doi.org/10.1109/tse.2012.74
    16 https://doi.org/10.1145/2619998
    17 https://doi.org/10.1145/372202.372298
    18 schema:datePublished 2018-10-31
    19 schema:datePublishedReg 2018-10-31
    20 schema:description DR-BIP is an extension of the BIP component framework intended for programming reconfigurable systems encompassing various aspects of dynamism. A system is built from instances of types of components characterized by their interfaces. The latter consist of sets of ports through which data can be exchanged when interactions take place. DR-BIP allows the description of parametric exogenous interactions and reconfiguration operations. To naturally model self-organization and mobility of components, a system is composed of several architecture motifs, each motif consisting of a set of component instances and coordination rules. The use of motifs allows a disciplined management of dynamically changing coordination rules. The paper illustrates the basic concepts of DR-BIP through a collection of four non-trivial exercises from different application areas: fault-tolerant systems, mobile systems and autonomous systems. The presented solutions show that DR-BIP is both minimal and expressive allowing concise and natural description of non-trivial systems.
    21 schema:editor N8d5801b545d34ccd9454e0028d4d17ca
    22 schema:genre chapter
    23 schema:inLanguage en
    24 schema:isAccessibleForFree false
    25 schema:isPartOf N46ef3ff528534a88ac1ad6ddaa8224a6
    26 schema:name Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP
    27 schema:pagination 304-320
    28 schema:productId N26ea9cef84284c14869e1a443a1992ba
    29 N7749638273bd47df95660c4b591e55aa
    30 Nee82d41b72174717880ee90ec84dc66a
    31 schema:publisher N503c14d3cdb44376921cdadad2582650
    32 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922862
    33 https://doi.org/10.1007/978-3-030-03424-5_20
    34 schema:sdDatePublished 2019-04-16T04:41
    35 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    36 schema:sdPublisher N2550cd6abf794451b8e2326913390faf
    37 schema:url https://link.springer.com/10.1007%2F978-3-030-03424-5_20
    38 sgo:license sg:explorer/license/
    39 sgo:sdDataset chapters
    40 rdf:type schema:Chapter
    41 N2550cd6abf794451b8e2326913390faf schema:name Springer Nature - SN SciGraph project
    42 rdf:type schema:Organization
    43 N26ea9cef84284c14869e1a443a1992ba schema:name readcube_id
    44 schema:value b104d87df89d6e21918c9679e8c4f92ccf6a82db46a34dbdf4ff393bc937554a
    45 rdf:type schema:PropertyValue
    46 N282009d53f8240dc8cce76908253ea3d rdf:first sg:person.015257171315.40
    47 rdf:rest rdf:nil
    48 N340c3c429e414b9580a5cc427e3b3025 schema:familyName Steffen
    49 schema:givenName Bernhard
    50 rdf:type schema:Person
    51 N46ef3ff528534a88ac1ad6ddaa8224a6 schema:isbn 978-3-030-03423-8
    52 978-3-030-03424-5
    53 schema:name Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
    54 rdf:type schema:Book
    55 N4d0cd3d50f5c4daeb4d2beda21cfaa48 schema:familyName Margaria
    56 schema:givenName Tiziana
    57 rdf:type schema:Person
    58 N503c14d3cdb44376921cdadad2582650 schema:location Cham
    59 schema:name Springer International Publishing
    60 rdf:type schema:Organisation
    61 N7749638273bd47df95660c4b591e55aa schema:name doi
    62 schema:value 10.1007/978-3-030-03424-5_20
    63 rdf:type schema:PropertyValue
    64 N7bd21ade4e6d468197b13f25eeb558ab rdf:first sg:person.012172241503.56
    65 rdf:rest Nd92254f2bdbb4150a4c54deb094fecbe
    66 N7d73f8649c2f464a9c8a518c1b68a7f4 rdf:first N340c3c429e414b9580a5cc427e3b3025
    67 rdf:rest rdf:nil
    68 N8d5801b545d34ccd9454e0028d4d17ca rdf:first N4d0cd3d50f5c4daeb4d2beda21cfaa48
    69 rdf:rest N7d73f8649c2f464a9c8a518c1b68a7f4
    70 N993b0301f0754131ae38f2642f1704e4 rdf:first sg:person.015023416242.87
    71 rdf:rest N282009d53f8240dc8cce76908253ea3d
    72 Nd92254f2bdbb4150a4c54deb094fecbe rdf:first sg:person.010534060357.92
    73 rdf:rest N993b0301f0754131ae38f2642f1704e4
    74 Nee82d41b72174717880ee90ec84dc66a schema:name dimensions_id
    75 schema:value pub.1107922862
    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.010534060357.92 schema:affiliation https://www.grid.ac/institutes/grid.5676.2
    84 schema:familyName Bensalem
    85 schema:givenName Saddek
    86 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010534060357.92
    87 rdf:type schema:Person
    88 sg:person.012172241503.56 schema:affiliation https://www.grid.ac/institutes/grid.5676.2
    89 schema:familyName Ballouli
    90 schema:givenName Rim El
    91 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012172241503.56
    92 rdf:type schema:Person
    93 sg:person.015023416242.87 schema:affiliation https://www.grid.ac/institutes/grid.5676.2
    94 schema:familyName Bozga
    95 schema:givenName Marius
    96 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015023416242.87
    97 rdf:type schema:Person
    98 sg:person.015257171315.40 schema:affiliation https://www.grid.ac/institutes/grid.5676.2
    99 schema:familyName Sifakis
    100 schema:givenName Joseph
    101 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015257171315.40
    102 rdf:type schema:Person
    103 sg:pub.10.1007/978-0-387-35563-4_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017954506
    104 https://doi.org/10.1007/978-0-387-35563-4_7
    105 rdf:type schema:CreativeWork
    106 sg:pub.10.1007/978-3-642-30564-1_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004616748
    107 https://doi.org/10.1007/978-3-642-30564-1_1
    108 rdf:type schema:CreativeWork
    109 sg:pub.10.1007/bfb0053581 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022261246
    110 https://doi.org/10.1007/bfb0053581
    111 rdf:type schema:CreativeWork
    112 sg:pub.10.1007/s00165-015-0349-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043015678
    113 https://doi.org/10.1007/s00165-015-0349-8
    114 rdf:type schema:CreativeWork
    115 https://doi.org/10.1016/j.infsof.2006.08.006 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025332067
    116 rdf:type schema:CreativeWork
    117 https://doi.org/10.1109/compsac.2014.56 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095013647
    118 rdf:type schema:CreativeWork
    119 https://doi.org/10.1109/iros.2016.7759558 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094217924
    120 rdf:type schema:CreativeWork
    121 https://doi.org/10.1109/itsc.2015.322 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095157723
    122 rdf:type schema:CreativeWork
    123 https://doi.org/10.1109/ms.2011.27 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061421311
    124 rdf:type schema:CreativeWork
    125 https://doi.org/10.1109/tc.2008.26 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061534646
    126 rdf:type schema:CreativeWork
    127 https://doi.org/10.1109/tevc.2008.2011746 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061604862
    128 rdf:type schema:CreativeWork
    129 https://doi.org/10.1109/tse.2012.74 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061788996
    130 rdf:type schema:CreativeWork
    131 https://doi.org/10.1145/2619998 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040582147
    132 rdf:type schema:CreativeWork
    133 https://doi.org/10.1145/372202.372298 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034973513
    134 rdf:type schema:CreativeWork
    135 https://www.grid.ac/institutes/grid.5676.2 schema:alternateName Grenoble Institute of Technology
    136 schema:name Univ. Grenoble Alpes, CNRS, Grenoble INP, 38000, Grenoble, France
    137 rdf:type schema:Organization
     




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


    ...