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 N251e6ce6f9c24e97ba8e8d750dc3f10c
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 N84bb3a4a8ffe424fa8cea778784b8ebf
19 schema:genre chapter
20 schema:inLanguage en
21 schema:isAccessibleForFree false
22 schema:isPartOf Nfad1c8867a524158977afe05e4a261f8
23 schema:name DReAM: Dynamic Reconfigurable Architecture Modeling
24 schema:pagination 13-31
25 schema:productId Naad2d7d5ce6f49d5a0076561c44c7ff5
26 Nb636ac0abc0143cf9954427bceafbdcc
27 Nf4154097f653439aad4c207d921c5917
28 schema:publisher Nc6bc63214cfc4b4781c137ac70feae17
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 Nc9fed755df2d4be4afda040f86adc7fb
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 N251e6ce6f9c24e97ba8e8d750dc3f10c rdf:first sg:person.07767717642.84
39 rdf:rest N81ed5a1ce51447f7afff9a3d8a5776d9
40 N2a371b2190994528aa22752dacbc3423 rdf:first Nc03db8f4c1164970b9ee5472ee04bde3
41 rdf:rest rdf:nil
42 N4f55de8356f24d0f955337e61fa65cb1 schema:familyName Margaria
43 schema:givenName Tiziana
44 rdf:type schema:Person
45 N81ed5a1ce51447f7afff9a3d8a5776d9 rdf:first sg:person.011642110503.89
46 rdf:rest N2a371b2190994528aa22752dacbc3423
47 N84bb3a4a8ffe424fa8cea778784b8ebf rdf:first N4f55de8356f24d0f955337e61fa65cb1
48 rdf:rest N99fcc775b19747059e990d1960669797
49 N99fcc775b19747059e990d1960669797 rdf:first N9fe19d204c3140589365f9a3946fbeca
50 rdf:rest rdf:nil
51 N9fe19d204c3140589365f9a3946fbeca schema:familyName Steffen
52 schema:givenName Bernhard
53 rdf:type schema:Person
54 Naad2d7d5ce6f49d5a0076561c44c7ff5 schema:name dimensions_id
55 schema:value pub.1107922861
56 rdf:type schema:PropertyValue
57 Nb636ac0abc0143cf9954427bceafbdcc schema:name readcube_id
58 schema:value 8720b7de4e62e80f036a8484d48bd69594d6a56858d94aa0d0a9ca3e747010ff
59 rdf:type schema:PropertyValue
60 Nc03db8f4c1164970b9ee5472ee04bde3 schema:affiliation https://www.grid.ac/institutes/grid.450308.a
61 schema:familyName Sifakis
62 schema:givenName Joseph
63 rdf:type schema:Person
64 Nc6bc63214cfc4b4781c137ac70feae17 schema:location Cham
65 schema:name Springer International Publishing
66 rdf:type schema:Organisation
67 Nc9fed755df2d4be4afda040f86adc7fb schema:name Springer Nature - SN SciGraph project
68 rdf:type schema:Organization
69 Nf4154097f653439aad4c207d921c5917 schema:name doi
70 schema:value 10.1007/978-3-030-03424-5_2
71 rdf:type schema:PropertyValue
72 Nfad1c8867a524158977afe05e4a261f8 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)


...