The Meaning of Adaptation: Mastering the Unforeseen? View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2018-10-31

AUTHORS

Stefan Jähnichen , Rocco De Nicola , Martin Wirsing

ABSTRACT

This short paper gives an introduction to a panel held as part of the track on ‘Rigorous Engineering of Collective Adaptive Systems’ at ISOLA 2018. The discussion was structured on the basis of twenty questions ranging from the evolution and universality of autonomous systems to correctness, reliability, and legal issues. ‘Do you consider adaptivity to be a realistic and desirable property of technical systems?’, ‘what is the new challenge in software engineering for the design and implementation of adaptive systems?’, ‘why should artificial intelligence open new horizons to implement adaptivity?’, ‘can we expect machines to adapt by evolution?’ as well as ‘is there a mathematical characterisation of adaptation?’ were some of the questions that were considered. For all questions, the paper also indicates related work. More... »

PAGES

109-117

References to SciGraph publications

  • 2013. A Software Lifecycle Process to Support Consistent Evolutions in SOFTWARE ENGINEERING FOR SELF-ADAPTIVE SYSTEMS II
  • 2011. Towards a System Model for Ensembles in FORMAL MODELING: ACTORS, OPEN SYSTEMS, BIOLOGICAL SYSTEMS
  • 2016. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques in NONE
  • 2017. Safety Verification of Deep Neural Networks in COMPUTER AIDED VERIFICATION
  • 2018-10-31. Data-Driven Modelling and Simulation of Urban Transportation Systems Using Carma in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2013. ASCENS: Engineering Autonomic Service-Component Ensembles in FORMAL METHODS FOR COMPONENTS AND OBJECTS
  • 2018-10-31. The Sharer’s Dilemma in Collective Adaptive Systems of Self-interested Agents in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2018-10-31. Measuring and Evaluating the Performance of Self-Organization Mechanisms Within Collective Adaptive Systems in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2018-10-31. Differential Equivalence Yields Network Centrality in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2018-10-31. Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2018-10-31. Mutation-Based Test Suite Evolution for Self-Organizing Systems in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2012. A Conceptual Framework for Adaptation in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
  • 2018-10-31. Modelling the Transition to Distributed Ledgers in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2018-10-31. Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2008. Engineering of Software-Intensive Systems: State of the Art and Research Challenges in SOFTWARE-INTENSIVE SYSTEMS AND NEW COMPUTING PARADIGMS
  • 2015. The Ensemble Development Life Cycle and Best Practices for Collective Autonomic Systems in SOFTWARE ENGINEERING FOR COLLECTIVE AUTONOMIC SYSTEMS
  • 2015. Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation in SOFTWARE ENGINEERING FOR COLLECTIVE AUTONOMIC SYSTEMS
  • 2018-10-31. A Collective Adaptive Socio-Technical System for Remote- and Self-supervised Exercise in the Treatment of Intermittent Claudication in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2018-10-31. Synthesizing Capabilities for Collective Adaptive Systems from Self-descriptive Hardware Devices Bridging the Reality Gap in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2016-01. Mastering the game of Go with deep neural networks and tree search in NATURE
  • 2018-10-31. Dynamic Logic for Ensembles in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2016. Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel – Panel Introduction in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES
  • 2013. Software Engineering for Self-Adaptive Systems: A Second Research Roadmap in SOFTWARE ENGINEERING FOR SELF-ADAPTIVE SYSTEMS II
  • 2015. Correctness of Service Components and Service Component Ensembles in SOFTWARE ENGINEERING FOR COLLECTIVE AUTONOMIC SYSTEMS
  • 2016. Safe Artificial Intelligence and Formal Methods in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES
  • 2015. Software Engineering for Collective Autonomic Systems, The ASCENS Approach in NONE
  • 2016. Collective Autonomic Systems: Towards Engineering Principles and Their Foundations in TRANSACTIONS ON FOUNDATIONS FOR MASTERING CHANGE I
  • 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_8

    DOI

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

    DIMENSIONS

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


    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/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/08", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information and Computing Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Technical University of Berlin", 
              "id": "https://www.grid.ac/institutes/grid.6734.6", 
              "name": [
                "Technische Universit\u00e4t Berlin and FZI Forschungszentrum Informatik Berlin, Berlin, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "J\u00e4hnichen", 
            "givenName": "Stefan", 
            "id": "sg:person.01060061215.31", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01060061215.31"
            ], 
            "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": "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": "Ludwig Maximilian University of Munich", 
              "id": "https://www.grid.ac/institutes/grid.5252.0", 
              "name": [
                "Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, Munich, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Wirsing", 
            "givenName": "Martin", 
            "id": "sg:person.010602274463.18", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010602274463.18"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/978-3-319-47166-2_49", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001795624", 
              "https://doi.org/10.1007/978-3-319-47166-2_49"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-28872-2_17", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001870749", 
              "https://doi.org/10.1007/978-3-642-28872-2_17"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-47166-2_44", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012151068", 
              "https://doi.org/10.1007/978-3-319-47166-2_44"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-16310-9_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015134678", 
              "https://doi.org/10.1007/978-3-319-16310-9_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-35813-5_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020512286", 
              "https://doi.org/10.1007/978-3-642-35813-5_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-47166-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021184041", 
              "https://doi.org/10.1007/978-3-319-47166-2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-35887-6_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021286910", 
              "https://doi.org/10.1007/978-3-642-35887-6_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2382570.2382575", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025408069"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-16310-9_9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1033254121", 
              "https://doi.org/10.1007/978-3-319-16310-9_9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-16310-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034573417", 
              "https://doi.org/10.1007/978-3-319-16310-9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-16310-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034573417", 
              "https://doi.org/10.1007/978-3-319-16310-9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-24933-4_12", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1035098854", 
              "https://doi.org/10.1007/978-3-642-24933-4_12"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-35813-5_10", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1035825820", 
              "https://doi.org/10.1007/978-3-642-35813-5_10"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-16310-9_3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1038273054", 
              "https://doi.org/10.1007/978-3-319-16310-9_3"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-89437-7_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039389334", 
              "https://doi.org/10.1007/978-3-540-89437-7_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-89437-7_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039389334", 
              "https://doi.org/10.1007/978-3-540-89437-7_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1038/nature16961", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039427823", 
              "https://doi.org/10.1038/nature16961"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/proc.1963.1852", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061435932"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.4271/2016-01-0128", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1072437020"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.4271/2016-01-0128", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1072437020"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.4271/2016-01-0128", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1072437020"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-46508-1_10", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1084848846", 
              "https://doi.org/10.1007/978-3-319-46508-1_10"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-63387-9_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1090657161", 
              "https://doi.org/10.1007/978-3-319-63387-9_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/cvpr.2015.7298640", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094486642"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/saso.2008.66", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095166933"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.7312/kell16856", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1099400171"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/3191513", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1103644775"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/3191513", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1103644775"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1080/01441647.2018.1494640", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1105487788"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_10", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922851", 
              "https://doi.org/10.1007/978-3-030-03424-5_10"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_10", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922851", 
              "https://doi.org/10.1007/978-3-030-03424-5_10"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_11", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922852", 
              "https://doi.org/10.1007/978-3-030-03424-5_11"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_11", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922852", 
              "https://doi.org/10.1007/978-3-030-03424-5_11"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922854", 
              "https://doi.org/10.1007/978-3-030-03424-5_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922854", 
              "https://doi.org/10.1007/978-3-030-03424-5_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_14", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922855", 
              "https://doi.org/10.1007/978-3-030-03424-5_14"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_14", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922855", 
              "https://doi.org/10.1007/978-3-030-03424-5_14"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_16", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922857", 
              "https://doi.org/10.1007/978-3-030-03424-5_16"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_16", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922857", 
              "https://doi.org/10.1007/978-3-030-03424-5_16"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_18", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922859", 
              "https://doi.org/10.1007/978-3-030-03424-5_18"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_18", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922859", 
              "https://doi.org/10.1007/978-3-030-03424-5_18"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922872", 
              "https://doi.org/10.1007/978-3-030-03424-5_3"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922872", 
              "https://doi.org/10.1007/978-3-030-03424-5_3"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922878", 
              "https://doi.org/10.1007/978-3-030-03424-5_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922878", 
              "https://doi.org/10.1007/978-3-030-03424-5_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922879", 
              "https://doi.org/10.1007/978-3-030-03424-5_5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922879", 
              "https://doi.org/10.1007/978-3-030-03424-5_5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922881", 
              "https://doi.org/10.1007/978-3-030-03424-5_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922881", 
              "https://doi.org/10.1007/978-3-030-03424-5_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922883", 
              "https://doi.org/10.1007/978-3-030-03424-5_9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-03424-5_9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1107922883", 
              "https://doi.org/10.1007/978-3-030-03424-5_9"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2018-10-31", 
        "datePublishedReg": "2018-10-31", 
        "description": "This short paper gives an introduction to a panel held as part of the track on \u2018Rigorous Engineering of Collective Adaptive Systems\u2019 at ISOLA 2018. The discussion was structured on the basis of twenty questions ranging from the evolution and universality of autonomous systems to correctness, reliability, and legal issues. \u2018Do you consider adaptivity to be a realistic and desirable property of technical systems?\u2019, \u2018what is the new challenge in software engineering for the design and implementation of adaptive systems?\u2019, \u2018why should artificial intelligence open new horizons to implement adaptivity?\u2019, \u2018can we expect machines to adapt by evolution?\u2019 as well as \u2018is there a mathematical characterisation of adaptation?\u2019 were some of the questions that were considered. For all questions, the paper also indicates related work.", 
        "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_8", 
        "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": "The Meaning of Adaptation: Mastering the Unforeseen?", 
        "pagination": "109-117", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-030-03424-5_8"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "f71c7af3a6a9204c7a0ecec13c964c86142b43202871f1033d3db6adf17bda3a"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1107922882"
            ]
          }
        ], 
        "publisher": {
          "location": "Cham", 
          "name": "Springer International Publishing", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-030-03424-5_8", 
          "https://app.dimensions.ai/details/publication/pub.1107922882"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-16T04:40", 
        "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_64987_00000000.jsonl", 
        "type": "Chapter", 
        "url": "https://link.springer.com/10.1007%2F978-3-030-03424-5_8"
      }
    ]
     

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

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

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

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


     

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

    222 TRIPLES      23 PREDICATES      61 URIs      19 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-030-03424-5_8 schema:about anzsrc-for:08
    2 anzsrc-for:0801
    3 schema:author N66eda8848fce4f48b837e912034d306b
    4 schema:citation sg:pub.10.1007/978-3-030-03424-5_10
    5 sg:pub.10.1007/978-3-030-03424-5_11
    6 sg:pub.10.1007/978-3-030-03424-5_13
    7 sg:pub.10.1007/978-3-030-03424-5_14
    8 sg:pub.10.1007/978-3-030-03424-5_16
    9 sg:pub.10.1007/978-3-030-03424-5_18
    10 sg:pub.10.1007/978-3-030-03424-5_3
    11 sg:pub.10.1007/978-3-030-03424-5_4
    12 sg:pub.10.1007/978-3-030-03424-5_5
    13 sg:pub.10.1007/978-3-030-03424-5_7
    14 sg:pub.10.1007/978-3-030-03424-5_9
    15 sg:pub.10.1007/978-3-319-16310-9
    16 sg:pub.10.1007/978-3-319-16310-9_3
    17 sg:pub.10.1007/978-3-319-16310-9_4
    18 sg:pub.10.1007/978-3-319-16310-9_9
    19 sg:pub.10.1007/978-3-319-46508-1_10
    20 sg:pub.10.1007/978-3-319-47166-2
    21 sg:pub.10.1007/978-3-319-47166-2_44
    22 sg:pub.10.1007/978-3-319-47166-2_49
    23 sg:pub.10.1007/978-3-319-63387-9_1
    24 sg:pub.10.1007/978-3-540-89437-7_1
    25 sg:pub.10.1007/978-3-642-24933-4_12
    26 sg:pub.10.1007/978-3-642-28872-2_17
    27 sg:pub.10.1007/978-3-642-35813-5_1
    28 sg:pub.10.1007/978-3-642-35813-5_10
    29 sg:pub.10.1007/978-3-642-35887-6_1
    30 sg:pub.10.1038/nature16961
    31 https://doi.org/10.1080/01441647.2018.1494640
    32 https://doi.org/10.1109/cvpr.2015.7298640
    33 https://doi.org/10.1109/proc.1963.1852
    34 https://doi.org/10.1109/saso.2008.66
    35 https://doi.org/10.1145/2382570.2382575
    36 https://doi.org/10.1145/3191513
    37 https://doi.org/10.4271/2016-01-0128
    38 https://doi.org/10.7312/kell16856
    39 schema:datePublished 2018-10-31
    40 schema:datePublishedReg 2018-10-31
    41 schema:description This short paper gives an introduction to a panel held as part of the track on ‘Rigorous Engineering of Collective Adaptive Systems’ at ISOLA 2018. The discussion was structured on the basis of twenty questions ranging from the evolution and universality of autonomous systems to correctness, reliability, and legal issues. ‘Do you consider adaptivity to be a realistic and desirable property of technical systems?’, ‘what is the new challenge in software engineering for the design and implementation of adaptive systems?’, ‘why should artificial intelligence open new horizons to implement adaptivity?’, ‘can we expect machines to adapt by evolution?’ as well as ‘is there a mathematical characterisation of adaptation?’ were some of the questions that were considered. For all questions, the paper also indicates related work.
    42 schema:editor Na60b82c4f9a845eca9c427512217b250
    43 schema:genre chapter
    44 schema:inLanguage en
    45 schema:isAccessibleForFree false
    46 schema:isPartOf N75f8318734924d98b39d0461fe30a656
    47 schema:name The Meaning of Adaptation: Mastering the Unforeseen?
    48 schema:pagination 109-117
    49 schema:productId N2e42f0b0bb644d19bc18b511a9670385
    50 Nbdeedbfa69b0470286233116400a317c
    51 Ne551f49893cb45a4ab4b0b11e17605fd
    52 schema:publisher N80d8da01462d4df2b5f495681a61891a
    53 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922882
    54 https://doi.org/10.1007/978-3-030-03424-5_8
    55 schema:sdDatePublished 2019-04-16T04:40
    56 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    57 schema:sdPublisher N870bef1ce5f547f793694b17ff6b8544
    58 schema:url https://link.springer.com/10.1007%2F978-3-030-03424-5_8
    59 sgo:license sg:explorer/license/
    60 sgo:sdDataset chapters
    61 rdf:type schema:Chapter
    62 N0a760f0ba435486795499c0149f8adc4 rdf:first sg:person.010602274463.18
    63 rdf:rest rdf:nil
    64 N2bef289464674798ba749937010c3266 schema:familyName Margaria
    65 schema:givenName Tiziana
    66 rdf:type schema:Person
    67 N2e42f0b0bb644d19bc18b511a9670385 schema:name readcube_id
    68 schema:value f71c7af3a6a9204c7a0ecec13c964c86142b43202871f1033d3db6adf17bda3a
    69 rdf:type schema:PropertyValue
    70 N66eda8848fce4f48b837e912034d306b rdf:first sg:person.01060061215.31
    71 rdf:rest Ncd707e8499fe48eb923ad5bbefc5cb0d
    72 N67a7433f706443b6b31640a592782949 rdf:first Nddae9759231c485490d0910b3b3624bd
    73 rdf:rest rdf:nil
    74 N75f8318734924d98b39d0461fe30a656 schema:isbn 978-3-030-03423-8
    75 978-3-030-03424-5
    76 schema:name Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
    77 rdf:type schema:Book
    78 N80d8da01462d4df2b5f495681a61891a schema:location Cham
    79 schema:name Springer International Publishing
    80 rdf:type schema:Organisation
    81 N870bef1ce5f547f793694b17ff6b8544 schema:name Springer Nature - SN SciGraph project
    82 rdf:type schema:Organization
    83 Na60b82c4f9a845eca9c427512217b250 rdf:first N2bef289464674798ba749937010c3266
    84 rdf:rest N67a7433f706443b6b31640a592782949
    85 Nbdeedbfa69b0470286233116400a317c schema:name doi
    86 schema:value 10.1007/978-3-030-03424-5_8
    87 rdf:type schema:PropertyValue
    88 Ncd707e8499fe48eb923ad5bbefc5cb0d rdf:first sg:person.07767717642.84
    89 rdf:rest N0a760f0ba435486795499c0149f8adc4
    90 Nddae9759231c485490d0910b3b3624bd schema:familyName Steffen
    91 schema:givenName Bernhard
    92 rdf:type schema:Person
    93 Ne551f49893cb45a4ab4b0b11e17605fd schema:name dimensions_id
    94 schema:value pub.1107922882
    95 rdf:type schema:PropertyValue
    96 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    97 schema:name Information and Computing Sciences
    98 rdf:type schema:DefinedTerm
    99 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
    100 schema:name Artificial Intelligence and Image Processing
    101 rdf:type schema:DefinedTerm
    102 sg:person.01060061215.31 schema:affiliation https://www.grid.ac/institutes/grid.6734.6
    103 schema:familyName Jähnichen
    104 schema:givenName Stefan
    105 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01060061215.31
    106 rdf:type schema:Person
    107 sg:person.010602274463.18 schema:affiliation https://www.grid.ac/institutes/grid.5252.0
    108 schema:familyName Wirsing
    109 schema:givenName Martin
    110 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010602274463.18
    111 rdf:type schema:Person
    112 sg:person.07767717642.84 schema:affiliation https://www.grid.ac/institutes/grid.462365.0
    113 schema:familyName De Nicola
    114 schema:givenName Rocco
    115 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07767717642.84
    116 rdf:type schema:Person
    117 sg:pub.10.1007/978-3-030-03424-5_10 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922851
    118 https://doi.org/10.1007/978-3-030-03424-5_10
    119 rdf:type schema:CreativeWork
    120 sg:pub.10.1007/978-3-030-03424-5_11 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922852
    121 https://doi.org/10.1007/978-3-030-03424-5_11
    122 rdf:type schema:CreativeWork
    123 sg:pub.10.1007/978-3-030-03424-5_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922854
    124 https://doi.org/10.1007/978-3-030-03424-5_13
    125 rdf:type schema:CreativeWork
    126 sg:pub.10.1007/978-3-030-03424-5_14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922855
    127 https://doi.org/10.1007/978-3-030-03424-5_14
    128 rdf:type schema:CreativeWork
    129 sg:pub.10.1007/978-3-030-03424-5_16 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922857
    130 https://doi.org/10.1007/978-3-030-03424-5_16
    131 rdf:type schema:CreativeWork
    132 sg:pub.10.1007/978-3-030-03424-5_18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922859
    133 https://doi.org/10.1007/978-3-030-03424-5_18
    134 rdf:type schema:CreativeWork
    135 sg:pub.10.1007/978-3-030-03424-5_3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922872
    136 https://doi.org/10.1007/978-3-030-03424-5_3
    137 rdf:type schema:CreativeWork
    138 sg:pub.10.1007/978-3-030-03424-5_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922878
    139 https://doi.org/10.1007/978-3-030-03424-5_4
    140 rdf:type schema:CreativeWork
    141 sg:pub.10.1007/978-3-030-03424-5_5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922879
    142 https://doi.org/10.1007/978-3-030-03424-5_5
    143 rdf:type schema:CreativeWork
    144 sg:pub.10.1007/978-3-030-03424-5_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922881
    145 https://doi.org/10.1007/978-3-030-03424-5_7
    146 rdf:type schema:CreativeWork
    147 sg:pub.10.1007/978-3-030-03424-5_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922883
    148 https://doi.org/10.1007/978-3-030-03424-5_9
    149 rdf:type schema:CreativeWork
    150 sg:pub.10.1007/978-3-319-16310-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034573417
    151 https://doi.org/10.1007/978-3-319-16310-9
    152 rdf:type schema:CreativeWork
    153 sg:pub.10.1007/978-3-319-16310-9_3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038273054
    154 https://doi.org/10.1007/978-3-319-16310-9_3
    155 rdf:type schema:CreativeWork
    156 sg:pub.10.1007/978-3-319-16310-9_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015134678
    157 https://doi.org/10.1007/978-3-319-16310-9_4
    158 rdf:type schema:CreativeWork
    159 sg:pub.10.1007/978-3-319-16310-9_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1033254121
    160 https://doi.org/10.1007/978-3-319-16310-9_9
    161 rdf:type schema:CreativeWork
    162 sg:pub.10.1007/978-3-319-46508-1_10 schema:sameAs https://app.dimensions.ai/details/publication/pub.1084848846
    163 https://doi.org/10.1007/978-3-319-46508-1_10
    164 rdf:type schema:CreativeWork
    165 sg:pub.10.1007/978-3-319-47166-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021184041
    166 https://doi.org/10.1007/978-3-319-47166-2
    167 rdf:type schema:CreativeWork
    168 sg:pub.10.1007/978-3-319-47166-2_44 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012151068
    169 https://doi.org/10.1007/978-3-319-47166-2_44
    170 rdf:type schema:CreativeWork
    171 sg:pub.10.1007/978-3-319-47166-2_49 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001795624
    172 https://doi.org/10.1007/978-3-319-47166-2_49
    173 rdf:type schema:CreativeWork
    174 sg:pub.10.1007/978-3-319-63387-9_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1090657161
    175 https://doi.org/10.1007/978-3-319-63387-9_1
    176 rdf:type schema:CreativeWork
    177 sg:pub.10.1007/978-3-540-89437-7_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039389334
    178 https://doi.org/10.1007/978-3-540-89437-7_1
    179 rdf:type schema:CreativeWork
    180 sg:pub.10.1007/978-3-642-24933-4_12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035098854
    181 https://doi.org/10.1007/978-3-642-24933-4_12
    182 rdf:type schema:CreativeWork
    183 sg:pub.10.1007/978-3-642-28872-2_17 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001870749
    184 https://doi.org/10.1007/978-3-642-28872-2_17
    185 rdf:type schema:CreativeWork
    186 sg:pub.10.1007/978-3-642-35813-5_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020512286
    187 https://doi.org/10.1007/978-3-642-35813-5_1
    188 rdf:type schema:CreativeWork
    189 sg:pub.10.1007/978-3-642-35813-5_10 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035825820
    190 https://doi.org/10.1007/978-3-642-35813-5_10
    191 rdf:type schema:CreativeWork
    192 sg:pub.10.1007/978-3-642-35887-6_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021286910
    193 https://doi.org/10.1007/978-3-642-35887-6_1
    194 rdf:type schema:CreativeWork
    195 sg:pub.10.1038/nature16961 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039427823
    196 https://doi.org/10.1038/nature16961
    197 rdf:type schema:CreativeWork
    198 https://doi.org/10.1080/01441647.2018.1494640 schema:sameAs https://app.dimensions.ai/details/publication/pub.1105487788
    199 rdf:type schema:CreativeWork
    200 https://doi.org/10.1109/cvpr.2015.7298640 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094486642
    201 rdf:type schema:CreativeWork
    202 https://doi.org/10.1109/proc.1963.1852 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061435932
    203 rdf:type schema:CreativeWork
    204 https://doi.org/10.1109/saso.2008.66 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095166933
    205 rdf:type schema:CreativeWork
    206 https://doi.org/10.1145/2382570.2382575 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025408069
    207 rdf:type schema:CreativeWork
    208 https://doi.org/10.1145/3191513 schema:sameAs https://app.dimensions.ai/details/publication/pub.1103644775
    209 rdf:type schema:CreativeWork
    210 https://doi.org/10.4271/2016-01-0128 schema:sameAs https://app.dimensions.ai/details/publication/pub.1072437020
    211 rdf:type schema:CreativeWork
    212 https://doi.org/10.7312/kell16856 schema:sameAs https://app.dimensions.ai/details/publication/pub.1099400171
    213 rdf:type schema:CreativeWork
    214 https://www.grid.ac/institutes/grid.462365.0 schema:alternateName IMT Institute for Advanced Studies Lucca
    215 schema:name IMT School for Advanced Studies Lucca, Lucca, Italy
    216 rdf:type schema:Organization
    217 https://www.grid.ac/institutes/grid.5252.0 schema:alternateName Ludwig Maximilian University of Munich
    218 schema:name Ludwig-Maximilians-Universität München, Munich, Germany
    219 rdf:type schema:Organization
    220 https://www.grid.ac/institutes/grid.6734.6 schema:alternateName Technical University of Berlin
    221 schema:name Technische Universität Berlin and FZI Forschungszentrum Informatik Berlin, Berlin, Germany
    222 rdf:type schema:Organization
     




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


    ...