Modeling Dynamic Architectures Using Dy-BIP View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2012

AUTHORS

Marius Bozga , Mohamad Jaber , Nikolaos Maris , Joseph Sifakis

ABSTRACT

Dynamic architectures in which interactions between components can evolve during execution, are essential for modern computing systems such as web-based systems, reconfigurable middleware, wireless sensor networks and fault-tolerant systems. Currently, we lack rigorous frameworks for their modeling, development and implementation. We propose Dy-BIP a dynamic extension of the BIP component framework rooted in rigorous operational semantics and supporting a powerful and high-level set of primitives for describing dynamic interactions. These are expressed as symbolic constraints offered by interacting components and computed efficiently by an execution Engine. We present experimental results which validate the effectiveness of Dy-BIP and show significant advantages over using static architecture models. More... »

PAGES

1-16

References to SciGraph publications

  • 2008. Distributed Semantics and Implementation for Systems with Interaction and Priority in FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS – FORTE 2008
  • 2008. Causal Semantics for the Algebra of Connectors in FORMAL METHODS FOR COMPONENTS AND OBJECTS
  • 1998. Specifying and analyzing dynamic software architectures in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
  • Book

    TITLE

    Software Composition

    ISBN

    978-3-642-30563-4
    978-3-642-30564-1

    Author Affiliations

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-642-30564-1_1

    DOI

    http://dx.doi.org/10.1007/978-3-642-30564-1_1

    DIMENSIONS

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


    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/0806", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information Systems", 
            "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": "Joseph Fourier University", 
              "id": "https://www.grid.ac/institutes/grid.9621.c", 
              "name": [
                "UJF-Grenoble 1 / CNRS, VERIMAG UMR 5104, Grenoble, F-38041, 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": "Joseph Fourier University", 
              "id": "https://www.grid.ac/institutes/grid.9621.c", 
              "name": [
                "UJF-Grenoble 1 / CNRS, VERIMAG UMR 5104, Grenoble, F-38041, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Jaber", 
            "givenName": "Mohamad", 
            "id": "sg:person.016412127660.40", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016412127660.40"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Joseph Fourier University", 
              "id": "https://www.grid.ac/institutes/grid.9621.c", 
              "name": [
                "UJF-Grenoble 1 / CNRS, VERIMAG UMR 5104, Grenoble, F-38041, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Maris", 
            "givenName": "Nikolaos", 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Joseph Fourier University", 
              "id": "https://www.grid.ac/institutes/grid.9621.c", 
              "name": [
                "UJF-Grenoble 1 / CNRS, VERIMAG UMR 5104, Grenoble, F-38041, 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": "https://doi.org/10.1145/1289927.1289935", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012265529"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1925805.1925814", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1022257093"
            ], 
            "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.entcs.2006.09.029", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028671416"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.jss.2010.01.049", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034150812"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/582128.582135", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1037553291"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-92188-2_8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1048547914", 
              "https://doi.org/10.1007/978-3-540-92188-2_8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-92188-2_8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1048547914", 
              "https://doi.org/10.1007/978-3-540-92188-2_8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-68855-6_8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1049665702", 
              "https://doi.org/10.1007/978-3-540-68855-6_8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/32.385973", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061153942"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/32.708567", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061154454"
            ], 
            "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.1145/250707.239104", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1063162836"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2012", 
        "datePublishedReg": "2012-01-01", 
        "description": "Dynamic architectures in which interactions between components can evolve during execution, are essential for modern computing systems such as web-based systems, reconfigurable middleware, wireless sensor networks and fault-tolerant systems. Currently, we lack rigorous frameworks for their modeling, development and implementation. We propose Dy-BIP a dynamic extension of the BIP component framework rooted in rigorous operational semantics and supporting a powerful and high-level set of primitives for describing dynamic interactions. These are expressed as symbolic constraints offered by interacting components and computed efficiently by an execution Engine. We present experimental results which validate the effectiveness of Dy-BIP and show significant advantages over using static architecture models.", 
        "editor": [
          {
            "familyName": "Gschwind", 
            "givenName": "Thomas", 
            "type": "Person"
          }, 
          {
            "familyName": "De Paoli", 
            "givenName": "Flavio", 
            "type": "Person"
          }, 
          {
            "familyName": "Gruhn", 
            "givenName": "Volker", 
            "type": "Person"
          }, 
          {
            "familyName": "Book", 
            "givenName": "Matthias", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-642-30564-1_1", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": true, 
        "isPartOf": {
          "isbn": [
            "978-3-642-30563-4", 
            "978-3-642-30564-1"
          ], 
          "name": "Software Composition", 
          "type": "Book"
        }, 
        "name": "Modeling Dynamic Architectures Using Dy-BIP", 
        "pagination": "1-16", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-642-30564-1_1"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "15ffbe30dd5a998c19edba00b2cccd7eb81f4d38c980c3614d24c0c0cbc500f7"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1004616748"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-642-30564-1_1", 
          "https://app.dimensions.ai/details/publication/pub.1004616748"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T11:31", 
        "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_8660_00000245.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/978-3-642-30564-1_1"
      }
    ]
     

    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-642-30564-1_1'

    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-642-30564-1_1'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-30564-1_1'

    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-642-30564-1_1'


     

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

    139 TRIPLES      23 PREDICATES      39 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-642-30564-1_1 schema:about anzsrc-for:08
    2 anzsrc-for:0806
    3 schema:author N6a72a68768a0482eacf4ad32d108213b
    4 schema:citation sg:pub.10.1007/978-3-540-68855-6_8
    5 sg:pub.10.1007/978-3-540-92188-2_8
    6 sg:pub.10.1007/bfb0053581
    7 https://doi.org/10.1016/j.entcs.2006.09.029
    8 https://doi.org/10.1016/j.jss.2010.01.049
    9 https://doi.org/10.1109/32.385973
    10 https://doi.org/10.1109/32.708567
    11 https://doi.org/10.1109/ms.2011.27
    12 https://doi.org/10.1145/1289927.1289935
    13 https://doi.org/10.1145/1925805.1925814
    14 https://doi.org/10.1145/250707.239104
    15 https://doi.org/10.1145/582128.582135
    16 schema:datePublished 2012
    17 schema:datePublishedReg 2012-01-01
    18 schema:description Dynamic architectures in which interactions between components can evolve during execution, are essential for modern computing systems such as web-based systems, reconfigurable middleware, wireless sensor networks and fault-tolerant systems. Currently, we lack rigorous frameworks for their modeling, development and implementation. We propose Dy-BIP a dynamic extension of the BIP component framework rooted in rigorous operational semantics and supporting a powerful and high-level set of primitives for describing dynamic interactions. These are expressed as symbolic constraints offered by interacting components and computed efficiently by an execution Engine. We present experimental results which validate the effectiveness of Dy-BIP and show significant advantages over using static architecture models.
    19 schema:editor Nca185ba2fec84369b28785520896d50c
    20 schema:genre chapter
    21 schema:inLanguage en
    22 schema:isAccessibleForFree true
    23 schema:isPartOf Ndf9c25b43cbb4a32af6e07412bc2d7ff
    24 schema:name Modeling Dynamic Architectures Using Dy-BIP
    25 schema:pagination 1-16
    26 schema:productId N98ad2d19ec54438b8fabf3bb9ccc9032
    27 Nbafff7930bc5407687020aa44c484040
    28 Neba348b8141f4628ba8840c20fff5f58
    29 schema:publisher N4f004d69fafb42df97e79e0fc121a2f5
    30 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004616748
    31 https://doi.org/10.1007/978-3-642-30564-1_1
    32 schema:sdDatePublished 2019-04-15T11:31
    33 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    34 schema:sdPublisher N5f84ac67d5154fb0bd4f7f2e4ad2fa36
    35 schema:url http://link.springer.com/10.1007/978-3-642-30564-1_1
    36 sgo:license sg:explorer/license/
    37 sgo:sdDataset chapters
    38 rdf:type schema:Chapter
    39 N26fb4dedd77b4be7aaf6446df3b5678e rdf:first Nf1c152cfb4a545c1b290ddff48038504
    40 rdf:rest N424d73c04ef34339970f249a391cbada
    41 N2801f957c503464cb01176da3143a2b0 schema:familyName Book
    42 schema:givenName Matthias
    43 rdf:type schema:Person
    44 N2dd88679e7c34bfda8e8a3add35b8adb schema:familyName Gruhn
    45 schema:givenName Volker
    46 rdf:type schema:Person
    47 N424d73c04ef34339970f249a391cbada rdf:first sg:person.015257171315.40
    48 rdf:rest rdf:nil
    49 N4f004d69fafb42df97e79e0fc121a2f5 schema:location Berlin, Heidelberg
    50 schema:name Springer Berlin Heidelberg
    51 rdf:type schema:Organisation
    52 N5e54ba962bf74cc1bafe29c7776c7045 rdf:first N2dd88679e7c34bfda8e8a3add35b8adb
    53 rdf:rest N9dfe239bb5614a6793b3ddb90e655c6c
    54 N5f84ac67d5154fb0bd4f7f2e4ad2fa36 schema:name Springer Nature - SN SciGraph project
    55 rdf:type schema:Organization
    56 N6a72a68768a0482eacf4ad32d108213b rdf:first sg:person.015023416242.87
    57 rdf:rest Nb88000cc5bf64b81b550664979d1edfc
    58 N8d303ca349714ed383b22bfa4616587f schema:familyName De Paoli
    59 schema:givenName Flavio
    60 rdf:type schema:Person
    61 N98ad2d19ec54438b8fabf3bb9ccc9032 schema:name doi
    62 schema:value 10.1007/978-3-642-30564-1_1
    63 rdf:type schema:PropertyValue
    64 N9dfe239bb5614a6793b3ddb90e655c6c rdf:first N2801f957c503464cb01176da3143a2b0
    65 rdf:rest rdf:nil
    66 Na5ccd05badb34b3391fda7b8dc7cbd8a rdf:first N8d303ca349714ed383b22bfa4616587f
    67 rdf:rest N5e54ba962bf74cc1bafe29c7776c7045
    68 Naeb00b471f624d7fa57faaaf2a180351 schema:familyName Gschwind
    69 schema:givenName Thomas
    70 rdf:type schema:Person
    71 Nb88000cc5bf64b81b550664979d1edfc rdf:first sg:person.016412127660.40
    72 rdf:rest N26fb4dedd77b4be7aaf6446df3b5678e
    73 Nbafff7930bc5407687020aa44c484040 schema:name readcube_id
    74 schema:value 15ffbe30dd5a998c19edba00b2cccd7eb81f4d38c980c3614d24c0c0cbc500f7
    75 rdf:type schema:PropertyValue
    76 Nca185ba2fec84369b28785520896d50c rdf:first Naeb00b471f624d7fa57faaaf2a180351
    77 rdf:rest Na5ccd05badb34b3391fda7b8dc7cbd8a
    78 Ndf9c25b43cbb4a32af6e07412bc2d7ff schema:isbn 978-3-642-30563-4
    79 978-3-642-30564-1
    80 schema:name Software Composition
    81 rdf:type schema:Book
    82 Neba348b8141f4628ba8840c20fff5f58 schema:name dimensions_id
    83 schema:value pub.1004616748
    84 rdf:type schema:PropertyValue
    85 Nf1c152cfb4a545c1b290ddff48038504 schema:affiliation https://www.grid.ac/institutes/grid.9621.c
    86 schema:familyName Maris
    87 schema:givenName Nikolaos
    88 rdf:type schema:Person
    89 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    90 schema:name Information and Computing Sciences
    91 rdf:type schema:DefinedTerm
    92 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
    93 schema:name Information Systems
    94 rdf:type schema:DefinedTerm
    95 sg:person.015023416242.87 schema:affiliation https://www.grid.ac/institutes/grid.9621.c
    96 schema:familyName Bozga
    97 schema:givenName Marius
    98 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015023416242.87
    99 rdf:type schema:Person
    100 sg:person.015257171315.40 schema:affiliation https://www.grid.ac/institutes/grid.9621.c
    101 schema:familyName Sifakis
    102 schema:givenName Joseph
    103 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015257171315.40
    104 rdf:type schema:Person
    105 sg:person.016412127660.40 schema:affiliation https://www.grid.ac/institutes/grid.9621.c
    106 schema:familyName Jaber
    107 schema:givenName Mohamad
    108 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016412127660.40
    109 rdf:type schema:Person
    110 sg:pub.10.1007/978-3-540-68855-6_8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049665702
    111 https://doi.org/10.1007/978-3-540-68855-6_8
    112 rdf:type schema:CreativeWork
    113 sg:pub.10.1007/978-3-540-92188-2_8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048547914
    114 https://doi.org/10.1007/978-3-540-92188-2_8
    115 rdf:type schema:CreativeWork
    116 sg:pub.10.1007/bfb0053581 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022261246
    117 https://doi.org/10.1007/bfb0053581
    118 rdf:type schema:CreativeWork
    119 https://doi.org/10.1016/j.entcs.2006.09.029 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028671416
    120 rdf:type schema:CreativeWork
    121 https://doi.org/10.1016/j.jss.2010.01.049 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034150812
    122 rdf:type schema:CreativeWork
    123 https://doi.org/10.1109/32.385973 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061153942
    124 rdf:type schema:CreativeWork
    125 https://doi.org/10.1109/32.708567 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061154454
    126 rdf:type schema:CreativeWork
    127 https://doi.org/10.1109/ms.2011.27 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061421311
    128 rdf:type schema:CreativeWork
    129 https://doi.org/10.1145/1289927.1289935 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012265529
    130 rdf:type schema:CreativeWork
    131 https://doi.org/10.1145/1925805.1925814 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022257093
    132 rdf:type schema:CreativeWork
    133 https://doi.org/10.1145/250707.239104 schema:sameAs https://app.dimensions.ai/details/publication/pub.1063162836
    134 rdf:type schema:CreativeWork
    135 https://doi.org/10.1145/582128.582135 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037553291
    136 rdf:type schema:CreativeWork
    137 https://www.grid.ac/institutes/grid.9621.c schema:alternateName Joseph Fourier University
    138 schema:name UJF-Grenoble 1 / CNRS, VERIMAG UMR 5104, Grenoble, F-38041, France
    139 rdf:type schema:Organization
     




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


    ...