DReAM: Dynamic Reconfigurable Architecture Modeling View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2018-10-31

AUTHORS

Rocco De Nicola , Alessandro Maggi , Joseph Sifakis

ABSTRACT

Modern systems evolve in unpredictable environments and have to continuously adapt their behavior to changing conditions. The “DReAM” (Dynamic Reconfigurable Architecture Modeling) framework, has been designed for modeling reconfigurable dynamic systems. It provides a rule-based language, inspired from Interaction Logic, expressive and easy to use, and encompassing all aspects of dynamicity including parametric multi-modal coordination with creation/deletion of components as well as mobility. Additionally, it allows the description of both endogenous/modular and exogenous/centralized coordination styles and sound transformations from one style to the other. The DReAM framework is implemented in the form of a Java API bundled with an execution engine. It allows to develop runnable systems combining the expressiveness of the rule-based notation together with the flexibility of this widespread programming language. More... »

PAGES

13-31

References to SciGraph publications

Book

TITLE

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

ISBN

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

Identifiers

URI

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

DOI

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

DIMENSIONS

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


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": "IMT Institute for Advanced Studies Lucca", 
          "id": "https://www.grid.ac/institutes/grid.462365.0", 
          "name": [
            "IMT School for Advanced Studies Lucca, Lucca, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "De Nicola", 
        "givenName": "Rocco", 
        "id": "sg:person.07767717642.84", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07767717642.84"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "IMT Institute for Advanced Studies Lucca", 
          "id": "https://www.grid.ac/institutes/grid.462365.0", 
          "name": [
            "IMT School for Advanced Studies Lucca, Lucca, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Maggi", 
        "givenName": "Alessandro", 
        "id": "sg:person.011642110503.89", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011642110503.89"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Institut N\u00e9el", 
          "id": "https://www.grid.ac/institutes/grid.450308.a", 
          "name": [
            "Universit\u00e9 Grenoble Alpes, Grenoble, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Sifakis", 
        "givenName": "Joseph", 
        "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": "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.1016/j.entcs.2009.05.012", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1027190943"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/2593882.2593886", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1043690771"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0890-5401(92)90008-4", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1045157295"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/828.833", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1048529830"
        ], 
        "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/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": "sg:pub.10.1007/3-540-10235-3", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1109702119", 
          "https://doi.org/10.1007/3-540-10235-3"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-10235-3", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1109702119", 
          "https://doi.org/10.1007/3-540-10235-3"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-10235-3", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1109702119", 
          "https://doi.org/10.1007/3-540-10235-3"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2018-10-31", 
    "datePublishedReg": "2018-10-31", 
    "description": "Modern systems evolve in unpredictable environments and have to continuously adapt their behavior to changing conditions. The \u201cDReAM\u201d (Dynamic Reconfigurable Architecture Modeling) framework, has been designed for modeling reconfigurable dynamic systems. It provides a rule-based language, inspired from Interaction Logic, expressive and easy to use, and encompassing all aspects of dynamicity including parametric multi-modal coordination with creation/deletion of components as well as mobility. Additionally, it allows the description of both endogenous/modular and exogenous/centralized coordination styles and sound transformations from one style to the other. The DReAM framework is implemented in the form of a Java API bundled with an execution engine. It allows to develop runnable systems combining the expressiveness of the rule-based notation together with the flexibility of this widespread programming language.", 
    "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_2", 
    "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": "DReAM: Dynamic Reconfigurable Architecture Modeling", 
    "pagination": "13-31", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-030-03424-5_2"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "8720b7de4e62e80f036a8484d48bd69594d6a56858d94aa0d0a9ca3e747010ff"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1107922861"
        ]
      }
    ], 
    "publisher": {
      "location": "Cham", 
      "name": "Springer International Publishing", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-030-03424-5_2", 
      "https://app.dimensions.ai/details/publication/pub.1107922861"
    ], 
    "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_65025_00000000.jsonl", 
    "type": "Chapter", 
    "url": "https://link.springer.com/10.1007%2F978-3-030-03424-5_2"
  }
]
 

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_2'

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_2'

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_2'

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_2'


 

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

121 TRIPLES      23 PREDICATES      37 URIs      19 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-030-03424-5_2 schema:about anzsrc-for:08
2 anzsrc-for:0803
3 schema:author N885e707bdcb741dd939cae1b49c9e8a5
4 schema:citation sg:pub.10.1007/3-540-10235-3
5 sg:pub.10.1007/978-3-642-30564-1_1
6 https://doi.org/10.1016/0890-5401(92)90008-4
7 https://doi.org/10.1016/j.entcs.2009.05.012
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/tc.2008.26
12 https://doi.org/10.1109/tse.2012.74
13 https://doi.org/10.1145/2593882.2593886
14 https://doi.org/10.1145/828.833
15 schema:datePublished 2018-10-31
16 schema:datePublishedReg 2018-10-31
17 schema:description Modern systems evolve in unpredictable environments and have to continuously adapt their behavior to changing conditions. The “DReAM” (Dynamic Reconfigurable Architecture Modeling) framework, has been designed for modeling reconfigurable dynamic systems. It provides a rule-based language, inspired from Interaction Logic, expressive and easy to use, and encompassing all aspects of dynamicity including parametric multi-modal coordination with creation/deletion of components as well as mobility. Additionally, it allows the description of both endogenous/modular and exogenous/centralized coordination styles and sound transformations from one style to the other. The DReAM framework is implemented in the form of a Java API bundled with an execution engine. It allows to develop runnable systems combining the expressiveness of the rule-based notation together with the flexibility of this widespread programming language.
18 schema:editor N56a056fe885348feaf568cd1aa50bd5c
19 schema:genre chapter
20 schema:inLanguage en
21 schema:isAccessibleForFree false
22 schema:isPartOf Nf3eb526aefb74ccb94e5f49f8f42eeb9
23 schema:name DReAM: Dynamic Reconfigurable Architecture Modeling
24 schema:pagination 13-31
25 schema:productId N818e4386874247a792586c6422c287ac
26 Nb5ea2999bb454e2d8e41c272eccc9b71
27 Nbb9b6b6830ec43e982f65e25069aa9c2
28 schema:publisher N8b1b4cbc595e43b0817e00ce8011a1db
29 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922861
30 https://doi.org/10.1007/978-3-030-03424-5_2
31 schema:sdDatePublished 2019-04-16T04:41
32 schema:sdLicense https://scigraph.springernature.com/explorer/license/
33 schema:sdPublisher Na46b8102d9cb4006b718d45a9504fff8
34 schema:url https://link.springer.com/10.1007%2F978-3-030-03424-5_2
35 sgo:license sg:explorer/license/
36 sgo:sdDataset chapters
37 rdf:type schema:Chapter
38 N0690ff3ff688475091030f69e18e6382 rdf:first sg:person.011642110503.89
39 rdf:rest N0edc47e91f9b48e994831c7d1afff0de
40 N0edc47e91f9b48e994831c7d1afff0de rdf:first N2e29e946d2994de6b1ef69e7c5c88c2f
41 rdf:rest rdf:nil
42 N2e29e946d2994de6b1ef69e7c5c88c2f schema:affiliation https://www.grid.ac/institutes/grid.450308.a
43 schema:familyName Sifakis
44 schema:givenName Joseph
45 rdf:type schema:Person
46 N4d08123b6e0348ec877b1e1d938dbd67 rdf:first N9676bf3cf5944dc9900472710d4d9893
47 rdf:rest rdf:nil
48 N56a056fe885348feaf568cd1aa50bd5c rdf:first N99af98d14921416c94d4aadcf0536107
49 rdf:rest N4d08123b6e0348ec877b1e1d938dbd67
50 N818e4386874247a792586c6422c287ac schema:name readcube_id
51 schema:value 8720b7de4e62e80f036a8484d48bd69594d6a56858d94aa0d0a9ca3e747010ff
52 rdf:type schema:PropertyValue
53 N885e707bdcb741dd939cae1b49c9e8a5 rdf:first sg:person.07767717642.84
54 rdf:rest N0690ff3ff688475091030f69e18e6382
55 N8b1b4cbc595e43b0817e00ce8011a1db schema:location Cham
56 schema:name Springer International Publishing
57 rdf:type schema:Organisation
58 N9676bf3cf5944dc9900472710d4d9893 schema:familyName Steffen
59 schema:givenName Bernhard
60 rdf:type schema:Person
61 N99af98d14921416c94d4aadcf0536107 schema:familyName Margaria
62 schema:givenName Tiziana
63 rdf:type schema:Person
64 Na46b8102d9cb4006b718d45a9504fff8 schema:name Springer Nature - SN SciGraph project
65 rdf:type schema:Organization
66 Nb5ea2999bb454e2d8e41c272eccc9b71 schema:name doi
67 schema:value 10.1007/978-3-030-03424-5_2
68 rdf:type schema:PropertyValue
69 Nbb9b6b6830ec43e982f65e25069aa9c2 schema:name dimensions_id
70 schema:value pub.1107922861
71 rdf:type schema:PropertyValue
72 Nf3eb526aefb74ccb94e5f49f8f42eeb9 schema:isbn 978-3-030-03423-8
73 978-3-030-03424-5
74 schema:name Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
75 rdf:type schema:Book
76 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
77 schema:name Information and Computing Sciences
78 rdf:type schema:DefinedTerm
79 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
80 schema:name Computer Software
81 rdf:type schema:DefinedTerm
82 sg:person.011642110503.89 schema:affiliation https://www.grid.ac/institutes/grid.462365.0
83 schema:familyName Maggi
84 schema:givenName Alessandro
85 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011642110503.89
86 rdf:type schema:Person
87 sg:person.07767717642.84 schema:affiliation https://www.grid.ac/institutes/grid.462365.0
88 schema:familyName De Nicola
89 schema:givenName Rocco
90 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07767717642.84
91 rdf:type schema:Person
92 sg:pub.10.1007/3-540-10235-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1109702119
93 https://doi.org/10.1007/3-540-10235-3
94 rdf:type schema:CreativeWork
95 sg:pub.10.1007/978-3-642-30564-1_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004616748
96 https://doi.org/10.1007/978-3-642-30564-1_1
97 rdf:type schema:CreativeWork
98 https://doi.org/10.1016/0890-5401(92)90008-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1045157295
99 rdf:type schema:CreativeWork
100 https://doi.org/10.1016/j.entcs.2009.05.012 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027190943
101 rdf:type schema:CreativeWork
102 https://doi.org/10.1016/j.infsof.2006.08.006 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025332067
103 rdf:type schema:CreativeWork
104 https://doi.org/10.1109/compsac.2014.56 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095013647
105 rdf:type schema:CreativeWork
106 https://doi.org/10.1109/iros.2016.7759558 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094217924
107 rdf:type schema:CreativeWork
108 https://doi.org/10.1109/tc.2008.26 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061534646
109 rdf:type schema:CreativeWork
110 https://doi.org/10.1109/tse.2012.74 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061788996
111 rdf:type schema:CreativeWork
112 https://doi.org/10.1145/2593882.2593886 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043690771
113 rdf:type schema:CreativeWork
114 https://doi.org/10.1145/828.833 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048529830
115 rdf:type schema:CreativeWork
116 https://www.grid.ac/institutes/grid.450308.a schema:alternateName Institut Néel
117 schema:name Université Grenoble Alpes, Grenoble, France
118 rdf:type schema:Organization
119 https://www.grid.ac/institutes/grid.462365.0 schema:alternateName IMT Institute for Advanced Studies Lucca
120 schema:name IMT School for Advanced Studies Lucca, Lucca, Italy
121 rdf:type schema:Organization
 




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


...