Federating Policy-Driven Autonomous Systems: Interaction Specification and Management Patterns View Full Text


Ontology type: schema:ScholarlyArticle      Open Access: True


Article Info

DATE

2014-06-13

AUTHORS

Alberto Schaeffer-Filho, Emil Lupu, Morris Sloman

ABSTRACT

Ubiquitous systems and applications involve interactions between multiple autonomous entities—for example, robots in a mobile ad-hoc network collaborating to achieve a goal, communications between teams of emergency workers involved in disaster relief operations or interactions between patients’ and healthcare workers’ mobile devices. We have previously proposed the Self-Managed Cell (SMC) as an architectural pattern for managing autonomous ubiquitous systems that comprise both hardware and software components and that implement policy-based adaptation strategies. We have also shown how basic management interactions between autonomous SMCs can be realised through exchanges of notifications and policies, to effectively program management and context-aware adaptations. We present here how autonomous SMCs can be composed and federated into complex structures through the systematic composition of interaction patterns. By composing simpler abstractions as building blocks of more complex interactions it is possible to leverage commonalities across the structural, control and communication views to manage a broad variety of composite autonomous systems including peer-to-peer collaborations, federations and aggregations with varying degrees of devolution of control. Although the approach is more broadly applicable, we focus on systems where declarative policies are used to specify adaptation and on context-aware ubiquitous systems that present some degree of autonomy in the physical world, such as body sensor networks and autonomous vehicles. Finally, we present a formalisation of our model that allows a rigorous verification of the properties satisfied by the SMC interactions before policies are deployed in physical devices. More... »

PAGES

753-793

References to SciGraph publications

  • 1996. The B Language and Method, A Guide to Practical Formal Development in NONE
  • 1998. Mobile ambients in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
  • 2009. Learning Rules from User Behaviour in ARTIFICIAL INTELLIGENCE APPLICATIONS AND INNOVATIONS III
  • 2011-05-07. Self-Management Framework for Mobile Autonomous Systems in JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT
  • 2008-03-05. DARE: a system for distributed abductive reasoning in AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS
  • 2011. Distributed Abductive Reasoning with Constraints in DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES VIII
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s10922-014-9317-5

    DOI

    http://dx.doi.org/10.1007/s10922-014-9317-5

    DIMENSIONS

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


    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/08", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information and Computing Sciences", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0801", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Artificial Intelligence and Image Processing", 
            "type": "DefinedTerm"
          }, 
          {
            "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"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Institute of Informatics, Federal University of Rio Grande do Sul, Porto Alegre, Brazil", 
              "id": "http://www.grid.ac/institutes/grid.8532.c", 
              "name": [
                "Institute of Informatics, Federal University of Rio Grande do Sul, Porto Alegre, Brazil"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Schaeffer-Filho", 
            "givenName": "Alberto", 
            "id": "sg:person.016661106103.79", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016661106103.79"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Department of Computing, Imperial College London, London, UK", 
              "id": "http://www.grid.ac/institutes/grid.7445.2", 
              "name": [
                "Department of Computing, Imperial College London, London, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Lupu", 
            "givenName": "Emil", 
            "id": "sg:person.013404167044.28", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013404167044.28"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Department of Computing, Imperial College London, London, UK", 
              "id": "http://www.grid.ac/institutes/grid.7445.2", 
              "name": [
                "Department of Computing, Imperial College London, London, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Sloman", 
            "givenName": "Morris", 
            "id": "sg:person.014167643026.41", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014167643026.41"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/s10922-011-9201-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003973323", 
              "https://doi.org/10.1007/s10922-011-9201-5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10458-008-9028-y", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026130685", 
              "https://doi.org/10.1007/s10458-008-9028-y"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-1-4471-1494-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1019478687", 
              "https://doi.org/10.1007/978-1-4471-1494-9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-1-4419-0221-4_54", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016854411", 
              "https://doi.org/10.1007/978-1-4419-0221-4_54"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-20715-0_9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003715430", 
              "https://doi.org/10.1007/978-3-642-20715-0_9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0053547", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1045998308", 
              "https://doi.org/10.1007/bfb0053547"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2014-06-13", 
        "datePublishedReg": "2014-06-13", 
        "description": "Ubiquitous systems and applications involve interactions between multiple autonomous entities\u2014for example, robots in a mobile ad-hoc network collaborating to achieve a goal, communications between teams of emergency workers involved in disaster relief operations or interactions between patients\u2019 and healthcare workers\u2019 mobile devices. We have previously proposed the Self-Managed Cell (SMC) as an architectural pattern for managing autonomous ubiquitous systems that comprise both hardware and software components and that implement policy-based adaptation strategies. We have also shown how basic management interactions between autonomous SMCs can be realised through exchanges of notifications and policies, to effectively program management and context-aware adaptations. We present here how autonomous SMCs can be composed and federated into complex structures through the systematic composition of interaction patterns. By composing simpler abstractions as building blocks of more complex interactions it is possible to leverage commonalities across the structural, control and communication views to manage a broad variety of composite autonomous systems including peer-to-peer collaborations, federations and aggregations with varying degrees of devolution of control. Although the approach is more broadly applicable, we focus on systems where declarative policies are used to specify adaptation and on context-aware ubiquitous systems that present some degree of autonomy in the physical world, such as body sensor networks and autonomous vehicles. Finally, we present a formalisation of our model that allows a rigorous verification of the properties satisfied by the SMC interactions before policies are deployed in physical devices.", 
        "genre": "article", 
        "id": "sg:pub.10.1007/s10922-014-9317-5", 
        "inLanguage": "en", 
        "isAccessibleForFree": true, 
        "isFundedItemOf": [
          {
            "id": "sg:grant.3732066", 
            "type": "MonetaryGrant"
          }
        ], 
        "isPartOf": [
          {
            "id": "sg:journal.1136514", 
            "issn": [
              "1064-7570", 
              "1573-7705"
            ], 
            "name": "Journal of Network and Systems Management", 
            "publisher": "Springer Nature", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "3", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "23"
          }
        ], 
        "keywords": [
          "Self-Managed Cell", 
          "ubiquitous systems", 
          "context-aware ubiquitous systems", 
          "autonomous systems", 
          "Mobile Ad Hoc Networks", 
          "context-aware adaptation", 
          "multiple autonomous entities", 
          "Ad Hoc Networks", 
          "body sensor networks", 
          "disaster relief operations", 
          "software components", 
          "declarative policies", 
          "interaction specifications", 
          "sensor networks", 
          "mobile devices", 
          "physical devices", 
          "simple abstraction", 
          "autonomous entities", 
          "physical world", 
          "autonomous vehicles", 
          "communication view", 
          "rigorous verification", 
          "architectural patterns", 
          "relief operations", 
          "degree of devolution", 
          "systematic composition", 
          "degree of autonomy", 
          "interaction patterns", 
          "peer collaboration", 
          "network", 
          "robot", 
          "hardware", 
          "emergency workers", 
          "SMC interactions", 
          "system", 
          "abstraction", 
          "formalisation", 
          "management interactions", 
          "management patterns", 
          "verification", 
          "devices", 
          "specification", 
          "communication", 
          "notification", 
          "complex structure", 
          "broad variety", 
          "peers", 
          "vehicles", 
          "collaboration", 
          "applications", 
          "entities", 
          "operation", 
          "goal", 
          "adaptation", 
          "team", 
          "adaptation strategies", 
          "example", 
          "block", 
          "complex interactions", 
          "model", 
          "management", 
          "autonomy", 
          "commonalities", 
          "world", 
          "policy", 
          "view", 
          "patterns", 
          "interaction", 
          "control", 
          "variety", 
          "exchange", 
          "strategies", 
          "Federation", 
          "aggregation", 
          "components", 
          "degree", 
          "structure", 
          "workers", 
          "properties", 
          "healthcare workers", 
          "composition", 
          "devolution", 
          "patients", 
          "cells", 
          "approach"
        ], 
        "name": "Federating Policy-Driven Autonomous Systems: Interaction Specification and Management Patterns", 
        "pagination": "753-793", 
        "productId": [
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1011606230"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s10922-014-9317-5"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s10922-014-9317-5", 
          "https://app.dimensions.ai/details/publication/pub.1011606230"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2022-06-01T22:13", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20220601/entities/gbq_results/article/article_638.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "https://doi.org/10.1007/s10922-014-9317-5"
      }
    ]
     

    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/s10922-014-9317-5'

    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/s10922-014-9317-5'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10922-014-9317-5'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10922-014-9317-5'


     

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

    190 TRIPLES      22 PREDICATES      117 URIs      102 LITERALS      6 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s10922-014-9317-5 schema:about anzsrc-for:08
    2 anzsrc-for:0801
    3 anzsrc-for:0806
    4 schema:author N253884620e144204b137a510f65d4b34
    5 schema:citation sg:pub.10.1007/978-1-4419-0221-4_54
    6 sg:pub.10.1007/978-1-4471-1494-9
    7 sg:pub.10.1007/978-3-642-20715-0_9
    8 sg:pub.10.1007/bfb0053547
    9 sg:pub.10.1007/s10458-008-9028-y
    10 sg:pub.10.1007/s10922-011-9201-5
    11 schema:datePublished 2014-06-13
    12 schema:datePublishedReg 2014-06-13
    13 schema:description Ubiquitous systems and applications involve interactions between multiple autonomous entities—for example, robots in a mobile ad-hoc network collaborating to achieve a goal, communications between teams of emergency workers involved in disaster relief operations or interactions between patients’ and healthcare workers’ mobile devices. We have previously proposed the Self-Managed Cell (SMC) as an architectural pattern for managing autonomous ubiquitous systems that comprise both hardware and software components and that implement policy-based adaptation strategies. We have also shown how basic management interactions between autonomous SMCs can be realised through exchanges of notifications and policies, to effectively program management and context-aware adaptations. We present here how autonomous SMCs can be composed and federated into complex structures through the systematic composition of interaction patterns. By composing simpler abstractions as building blocks of more complex interactions it is possible to leverage commonalities across the structural, control and communication views to manage a broad variety of composite autonomous systems including peer-to-peer collaborations, federations and aggregations with varying degrees of devolution of control. Although the approach is more broadly applicable, we focus on systems where declarative policies are used to specify adaptation and on context-aware ubiquitous systems that present some degree of autonomy in the physical world, such as body sensor networks and autonomous vehicles. Finally, we present a formalisation of our model that allows a rigorous verification of the properties satisfied by the SMC interactions before policies are deployed in physical devices.
    14 schema:genre article
    15 schema:inLanguage en
    16 schema:isAccessibleForFree true
    17 schema:isPartOf N0ee9b2186d7843d7b4287e43cac5f5a3
    18 Nd1cbf6a92fa04c78b0490bdf8aa0208b
    19 sg:journal.1136514
    20 schema:keywords Ad Hoc Networks
    21 Federation
    22 Mobile Ad Hoc Networks
    23 SMC interactions
    24 Self-Managed Cell
    25 abstraction
    26 adaptation
    27 adaptation strategies
    28 aggregation
    29 applications
    30 approach
    31 architectural patterns
    32 autonomous entities
    33 autonomous systems
    34 autonomous vehicles
    35 autonomy
    36 block
    37 body sensor networks
    38 broad variety
    39 cells
    40 collaboration
    41 commonalities
    42 communication
    43 communication view
    44 complex interactions
    45 complex structure
    46 components
    47 composition
    48 context-aware adaptation
    49 context-aware ubiquitous systems
    50 control
    51 declarative policies
    52 degree
    53 degree of autonomy
    54 degree of devolution
    55 devices
    56 devolution
    57 disaster relief operations
    58 emergency workers
    59 entities
    60 example
    61 exchange
    62 formalisation
    63 goal
    64 hardware
    65 healthcare workers
    66 interaction
    67 interaction patterns
    68 interaction specifications
    69 management
    70 management interactions
    71 management patterns
    72 mobile devices
    73 model
    74 multiple autonomous entities
    75 network
    76 notification
    77 operation
    78 patients
    79 patterns
    80 peer collaboration
    81 peers
    82 physical devices
    83 physical world
    84 policy
    85 properties
    86 relief operations
    87 rigorous verification
    88 robot
    89 sensor networks
    90 simple abstraction
    91 software components
    92 specification
    93 strategies
    94 structure
    95 system
    96 systematic composition
    97 team
    98 ubiquitous systems
    99 variety
    100 vehicles
    101 verification
    102 view
    103 workers
    104 world
    105 schema:name Federating Policy-Driven Autonomous Systems: Interaction Specification and Management Patterns
    106 schema:pagination 753-793
    107 schema:productId N25f0972f95d24af9a7bf9d874169344e
    108 N65bd26957d034f558eb9042ee1bd3dd6
    109 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011606230
    110 https://doi.org/10.1007/s10922-014-9317-5
    111 schema:sdDatePublished 2022-06-01T22:13
    112 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    113 schema:sdPublisher N4af6b33850a74df09f92c6fe0b148171
    114 schema:url https://doi.org/10.1007/s10922-014-9317-5
    115 sgo:license sg:explorer/license/
    116 sgo:sdDataset articles
    117 rdf:type schema:ScholarlyArticle
    118 N0ee9b2186d7843d7b4287e43cac5f5a3 schema:volumeNumber 23
    119 rdf:type schema:PublicationVolume
    120 N253884620e144204b137a510f65d4b34 rdf:first sg:person.016661106103.79
    121 rdf:rest Nba833a7a21644103afa48787fc2cf412
    122 N25f0972f95d24af9a7bf9d874169344e schema:name doi
    123 schema:value 10.1007/s10922-014-9317-5
    124 rdf:type schema:PropertyValue
    125 N2bc7fc61e25842998e760ce47b5db7d0 rdf:first sg:person.014167643026.41
    126 rdf:rest rdf:nil
    127 N4af6b33850a74df09f92c6fe0b148171 schema:name Springer Nature - SN SciGraph project
    128 rdf:type schema:Organization
    129 N65bd26957d034f558eb9042ee1bd3dd6 schema:name dimensions_id
    130 schema:value pub.1011606230
    131 rdf:type schema:PropertyValue
    132 Nba833a7a21644103afa48787fc2cf412 rdf:first sg:person.013404167044.28
    133 rdf:rest N2bc7fc61e25842998e760ce47b5db7d0
    134 Nd1cbf6a92fa04c78b0490bdf8aa0208b schema:issueNumber 3
    135 rdf:type schema:PublicationIssue
    136 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    137 schema:name Information and Computing Sciences
    138 rdf:type schema:DefinedTerm
    139 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
    140 schema:name Artificial Intelligence and Image Processing
    141 rdf:type schema:DefinedTerm
    142 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
    143 schema:name Information Systems
    144 rdf:type schema:DefinedTerm
    145 sg:grant.3732066 http://pending.schema.org/fundedItem sg:pub.10.1007/s10922-014-9317-5
    146 rdf:type schema:MonetaryGrant
    147 sg:journal.1136514 schema:issn 1064-7570
    148 1573-7705
    149 schema:name Journal of Network and Systems Management
    150 schema:publisher Springer Nature
    151 rdf:type schema:Periodical
    152 sg:person.013404167044.28 schema:affiliation grid-institutes:grid.7445.2
    153 schema:familyName Lupu
    154 schema:givenName Emil
    155 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013404167044.28
    156 rdf:type schema:Person
    157 sg:person.014167643026.41 schema:affiliation grid-institutes:grid.7445.2
    158 schema:familyName Sloman
    159 schema:givenName Morris
    160 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014167643026.41
    161 rdf:type schema:Person
    162 sg:person.016661106103.79 schema:affiliation grid-institutes:grid.8532.c
    163 schema:familyName Schaeffer-Filho
    164 schema:givenName Alberto
    165 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016661106103.79
    166 rdf:type schema:Person
    167 sg:pub.10.1007/978-1-4419-0221-4_54 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016854411
    168 https://doi.org/10.1007/978-1-4419-0221-4_54
    169 rdf:type schema:CreativeWork
    170 sg:pub.10.1007/978-1-4471-1494-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019478687
    171 https://doi.org/10.1007/978-1-4471-1494-9
    172 rdf:type schema:CreativeWork
    173 sg:pub.10.1007/978-3-642-20715-0_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003715430
    174 https://doi.org/10.1007/978-3-642-20715-0_9
    175 rdf:type schema:CreativeWork
    176 sg:pub.10.1007/bfb0053547 schema:sameAs https://app.dimensions.ai/details/publication/pub.1045998308
    177 https://doi.org/10.1007/bfb0053547
    178 rdf:type schema:CreativeWork
    179 sg:pub.10.1007/s10458-008-9028-y schema:sameAs https://app.dimensions.ai/details/publication/pub.1026130685
    180 https://doi.org/10.1007/s10458-008-9028-y
    181 rdf:type schema:CreativeWork
    182 sg:pub.10.1007/s10922-011-9201-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003973323
    183 https://doi.org/10.1007/s10922-011-9201-5
    184 rdf:type schema:CreativeWork
    185 grid-institutes:grid.7445.2 schema:alternateName Department of Computing, Imperial College London, London, UK
    186 schema:name Department of Computing, Imperial College London, London, UK
    187 rdf:type schema:Organization
    188 grid-institutes:grid.8532.c schema:alternateName Institute of Informatics, Federal University of Rio Grande do Sul, Porto Alegre, Brazil
    189 schema:name Institute of Informatics, Federal University of Rio Grande do Sul, Porto Alegre, Brazil
    190 rdf:type schema:Organization
     




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


    ...