A Model-Driven Framework for Automated Generation and Verification of Cloud Solutions from Requirements View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2018-11-07

AUTHORS

Hamid R. Motahari Nezhad , Taiga Nakamura , Adi Sosnovich , Peifeng Yin , Karen Yorav

ABSTRACT

Cloud computing projects require the design of a so-called Cloud Solution, which is an architectural blueprint for a particular cloud environment. A cloud solution defines the hosting infrastructure (servers, VMs, etc.), software stack, and services such as network, backup, disaster recovery, management, etc. The design of a cloud solution needs to consider existing client environments and future environment’s requirements, and at the same time comply with the cloud provider’s portfolio and limitations. As such, the design of enterprise cloud solutions is a very complex and challenging problem. In this paper, we present a novel framework for provider-side cloud solution design based on model-driven and formal methods that facilitates the job of automated solution generation, starting from client requirements and resulting in a complete and correct cloud solution. We present a set of novel methods and a tool, called COOL, which implements the method and is used in production in a large Cloud service provider. More... »

PAGES

714-721

References to SciGraph publications

  • 2014. TOSCA: Portable Automated Deployment and Management of Cloud Applications in ADVANCED WEB SERVICES
  • 2017. Solving Constraint Satisfaction Problems Containing Vectors of Unknown Size in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2014-04. Strategies and Methods for Cloud Migration in INTERNATIONAL JOURNAL OF AUTOMATION AND COMPUTING
  • 2017. COOL: A Model-Driven and Automated System for Guided and Verifiable Cloud Solution Design in SERVICE-ORIENTED COMPUTING – ICSOC 2016 WORKSHOPS
  • Book

    TITLE

    Service-Oriented Computing

    ISBN

    978-3-030-03595-2
    978-3-030-03596-9

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-030-03596-9_51

    DOI

    http://dx.doi.org/10.1007/978-3-030-03596-9_51

    DIMENSIONS

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


    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": "IBM Research - Almaden", 
              "id": "https://www.grid.ac/institutes/grid.481551.c", 
              "name": [
                "IBM Almaden Research Center, San Jose, CA, USA"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Nezhad", 
            "givenName": "Hamid R. Motahari", 
            "id": "sg:person.013674731417.00", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013674731417.00"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "IBM Research - Almaden", 
              "id": "https://www.grid.ac/institutes/grid.481551.c", 
              "name": [
                "IBM Almaden Research Center, San Jose, CA, USA"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Nakamura", 
            "givenName": "Taiga", 
            "id": "sg:person.011627566457.23", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011627566457.23"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "IBM Research - Haifa", 
              "id": "https://www.grid.ac/institutes/grid.11447.37", 
              "name": [
                "IBM Haifa Research Lab, Haifa, Israel"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Sosnovich", 
            "givenName": "Adi", 
            "id": "sg:person.013020365011.98", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013020365011.98"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "IBM Research - Almaden", 
              "id": "https://www.grid.ac/institutes/grid.481551.c", 
              "name": [
                "IBM Almaden Research Center, San Jose, CA, USA"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Yin", 
            "givenName": "Peifeng", 
            "id": "sg:person.013334364651.70", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013334364651.70"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "IBM Research - Haifa", 
              "id": "https://www.grid.ac/institutes/grid.11447.37", 
              "name": [
                "IBM Haifa Research Lab, Haifa, Israel"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Yorav", 
            "givenName": "Karen", 
            "id": "sg:person.014010072235.74", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014010072235.74"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "https://doi.org/10.1109/ms.2012.31", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004813796"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-1-4614-7535-4_22", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1009312877", 
              "https://doi.org/10.1007/978-1-4614-7535-4_22"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s11633-014-0776-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016319969", 
              "https://doi.org/10.1007/s11633-014-0776-7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.dcan.2016.12.002", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1052227357"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tcc.2013.10", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061541753"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-66158-2_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1091295122", 
              "https://doi.org/10.1007/978-3-319-66158-2_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-68136-8_23", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1092350196", 
              "https://doi.org/10.1007/978-3-319-68136-8_23"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/cloud.2015.117", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094043764"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/cloud.2013.133", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094247229"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/cloud.2013.133", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094247229"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2018-11-07", 
        "datePublishedReg": "2018-11-07", 
        "description": "Cloud computing projects require the design of a so-called Cloud Solution, which is an architectural blueprint for a particular cloud environment. A cloud solution defines the hosting infrastructure (servers, VMs, etc.), software stack, and services such as network, backup, disaster recovery, management, etc. The design of a cloud solution needs to consider existing client environments and future environment\u2019s requirements, and at the same time comply with the cloud provider\u2019s portfolio and limitations. As such, the design of enterprise cloud solutions is a very complex and challenging problem. In this paper, we present a novel framework for provider-side cloud solution design based on model-driven and formal methods that facilitates the job of automated solution generation, starting from client requirements and resulting in a complete and correct cloud solution. We present a set of novel methods and a tool, called COOL, which implements the method and is used in production in a large Cloud service provider.", 
        "editor": [
          {
            "familyName": "Pahl", 
            "givenName": "Claus", 
            "type": "Person"
          }, 
          {
            "familyName": "Vukovic", 
            "givenName": "Maja", 
            "type": "Person"
          }, 
          {
            "familyName": "Yin", 
            "givenName": "Jianwei", 
            "type": "Person"
          }, 
          {
            "familyName": "Yu", 
            "givenName": "Qi", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-030-03596-9_51", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-030-03595-2", 
            "978-3-030-03596-9"
          ], 
          "name": "Service-Oriented Computing", 
          "type": "Book"
        }, 
        "name": "A Model-Driven Framework for Automated Generation and Verification of Cloud Solutions from Requirements", 
        "pagination": "714-721", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-030-03596-9_51"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "f67053749201b210faf7cafadeffadcd56028981c6f677dfcb50b8a834c14101"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1108060027"
            ]
          }
        ], 
        "publisher": {
          "location": "Cham", 
          "name": "Springer International Publishing", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-030-03596-9_51", 
          "https://app.dimensions.ai/details/publication/pub.1108060027"
        ], 
        "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_65024_00000000.jsonl", 
        "type": "Chapter", 
        "url": "https://link.springer.com/10.1007%2F978-3-030-03596-9_51"
      }
    ]
     

    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-03596-9_51'

    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-03596-9_51'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-03596-9_51'

    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-03596-9_51'


     

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

    142 TRIPLES      23 PREDICATES      35 URIs      19 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-030-03596-9_51 schema:about anzsrc-for:08
    2 anzsrc-for:0803
    3 schema:author Neb47ae0af4584dc9ad7a956b1822539e
    4 schema:citation sg:pub.10.1007/978-1-4614-7535-4_22
    5 sg:pub.10.1007/978-3-319-66158-2_4
    6 sg:pub.10.1007/978-3-319-68136-8_23
    7 sg:pub.10.1007/s11633-014-0776-7
    8 https://doi.org/10.1016/j.dcan.2016.12.002
    9 https://doi.org/10.1109/cloud.2013.133
    10 https://doi.org/10.1109/cloud.2015.117
    11 https://doi.org/10.1109/ms.2012.31
    12 https://doi.org/10.1109/tcc.2013.10
    13 schema:datePublished 2018-11-07
    14 schema:datePublishedReg 2018-11-07
    15 schema:description Cloud computing projects require the design of a so-called Cloud Solution, which is an architectural blueprint for a particular cloud environment. A cloud solution defines the hosting infrastructure (servers, VMs, etc.), software stack, and services such as network, backup, disaster recovery, management, etc. The design of a cloud solution needs to consider existing client environments and future environment’s requirements, and at the same time comply with the cloud provider’s portfolio and limitations. As such, the design of enterprise cloud solutions is a very complex and challenging problem. In this paper, we present a novel framework for provider-side cloud solution design based on model-driven and formal methods that facilitates the job of automated solution generation, starting from client requirements and resulting in a complete and correct cloud solution. We present a set of novel methods and a tool, called COOL, which implements the method and is used in production in a large Cloud service provider.
    16 schema:editor Nfd67c7d2b4c64b738634f23bfc532d67
    17 schema:genre chapter
    18 schema:inLanguage en
    19 schema:isAccessibleForFree false
    20 schema:isPartOf Necafb03e311d4393b2f24455be01a3e3
    21 schema:name A Model-Driven Framework for Automated Generation and Verification of Cloud Solutions from Requirements
    22 schema:pagination 714-721
    23 schema:productId N063e98dbddc64543ab5dfe4d57c7e166
    24 N4ab6072056bb4b24b18d85a59f28ca64
    25 N9277e147c5c8449d9b6695e9a30265af
    26 schema:publisher N492e6a52b65c45b89da5006940108559
    27 schema:sameAs https://app.dimensions.ai/details/publication/pub.1108060027
    28 https://doi.org/10.1007/978-3-030-03596-9_51
    29 schema:sdDatePublished 2019-04-16T04:41
    30 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    31 schema:sdPublisher Nb0e9ef4ed95e4f6a817bf505432e5d1e
    32 schema:url https://link.springer.com/10.1007%2F978-3-030-03596-9_51
    33 sgo:license sg:explorer/license/
    34 sgo:sdDataset chapters
    35 rdf:type schema:Chapter
    36 N063e98dbddc64543ab5dfe4d57c7e166 schema:name dimensions_id
    37 schema:value pub.1108060027
    38 rdf:type schema:PropertyValue
    39 N20df27a978294cd299794db7f2bb06d8 rdf:first N767b066566f341e095247dc62b261ca6
    40 rdf:rest Na5468a2786e6425fb32a944825eb216a
    41 N3c01a5e5a21a488699f0ba1be42495d2 rdf:first sg:person.011627566457.23
    42 rdf:rest Nd899d6f474f640849d1a7bc4f53e748e
    43 N40c407e42a64409c89a8e9772fe19cc1 schema:familyName Pahl
    44 schema:givenName Claus
    45 rdf:type schema:Person
    46 N474277e17ead466abd53d1a7bc799dca schema:familyName Vukovic
    47 schema:givenName Maja
    48 rdf:type schema:Person
    49 N492e6a52b65c45b89da5006940108559 schema:location Cham
    50 schema:name Springer International Publishing
    51 rdf:type schema:Organisation
    52 N4ab6072056bb4b24b18d85a59f28ca64 schema:name readcube_id
    53 schema:value f67053749201b210faf7cafadeffadcd56028981c6f677dfcb50b8a834c14101
    54 rdf:type schema:PropertyValue
    55 N4cb2a11ab58f485b839da87c67e1d8f3 rdf:first N474277e17ead466abd53d1a7bc799dca
    56 rdf:rest N20df27a978294cd299794db7f2bb06d8
    57 N5f425fb9622544bf896f8ade928a3ef0 rdf:first sg:person.014010072235.74
    58 rdf:rest rdf:nil
    59 N6f6b896bb4924f19bfafeedccba9c9ca schema:familyName Yu
    60 schema:givenName Qi
    61 rdf:type schema:Person
    62 N767b066566f341e095247dc62b261ca6 schema:familyName Yin
    63 schema:givenName Jianwei
    64 rdf:type schema:Person
    65 N9277e147c5c8449d9b6695e9a30265af schema:name doi
    66 schema:value 10.1007/978-3-030-03596-9_51
    67 rdf:type schema:PropertyValue
    68 Na5468a2786e6425fb32a944825eb216a rdf:first N6f6b896bb4924f19bfafeedccba9c9ca
    69 rdf:rest rdf:nil
    70 Nb0e9ef4ed95e4f6a817bf505432e5d1e schema:name Springer Nature - SN SciGraph project
    71 rdf:type schema:Organization
    72 Nbecb9e56bc6d4c1bb5ab4e5cb1a7b608 rdf:first sg:person.013334364651.70
    73 rdf:rest N5f425fb9622544bf896f8ade928a3ef0
    74 Nd899d6f474f640849d1a7bc4f53e748e rdf:first sg:person.013020365011.98
    75 rdf:rest Nbecb9e56bc6d4c1bb5ab4e5cb1a7b608
    76 Neb47ae0af4584dc9ad7a956b1822539e rdf:first sg:person.013674731417.00
    77 rdf:rest N3c01a5e5a21a488699f0ba1be42495d2
    78 Necafb03e311d4393b2f24455be01a3e3 schema:isbn 978-3-030-03595-2
    79 978-3-030-03596-9
    80 schema:name Service-Oriented Computing
    81 rdf:type schema:Book
    82 Nfd67c7d2b4c64b738634f23bfc532d67 rdf:first N40c407e42a64409c89a8e9772fe19cc1
    83 rdf:rest N4cb2a11ab58f485b839da87c67e1d8f3
    84 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    85 schema:name Information and Computing Sciences
    86 rdf:type schema:DefinedTerm
    87 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    88 schema:name Computer Software
    89 rdf:type schema:DefinedTerm
    90 sg:person.011627566457.23 schema:affiliation https://www.grid.ac/institutes/grid.481551.c
    91 schema:familyName Nakamura
    92 schema:givenName Taiga
    93 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011627566457.23
    94 rdf:type schema:Person
    95 sg:person.013020365011.98 schema:affiliation https://www.grid.ac/institutes/grid.11447.37
    96 schema:familyName Sosnovich
    97 schema:givenName Adi
    98 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013020365011.98
    99 rdf:type schema:Person
    100 sg:person.013334364651.70 schema:affiliation https://www.grid.ac/institutes/grid.481551.c
    101 schema:familyName Yin
    102 schema:givenName Peifeng
    103 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013334364651.70
    104 rdf:type schema:Person
    105 sg:person.013674731417.00 schema:affiliation https://www.grid.ac/institutes/grid.481551.c
    106 schema:familyName Nezhad
    107 schema:givenName Hamid R. Motahari
    108 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013674731417.00
    109 rdf:type schema:Person
    110 sg:person.014010072235.74 schema:affiliation https://www.grid.ac/institutes/grid.11447.37
    111 schema:familyName Yorav
    112 schema:givenName Karen
    113 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014010072235.74
    114 rdf:type schema:Person
    115 sg:pub.10.1007/978-1-4614-7535-4_22 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009312877
    116 https://doi.org/10.1007/978-1-4614-7535-4_22
    117 rdf:type schema:CreativeWork
    118 sg:pub.10.1007/978-3-319-66158-2_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1091295122
    119 https://doi.org/10.1007/978-3-319-66158-2_4
    120 rdf:type schema:CreativeWork
    121 sg:pub.10.1007/978-3-319-68136-8_23 schema:sameAs https://app.dimensions.ai/details/publication/pub.1092350196
    122 https://doi.org/10.1007/978-3-319-68136-8_23
    123 rdf:type schema:CreativeWork
    124 sg:pub.10.1007/s11633-014-0776-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016319969
    125 https://doi.org/10.1007/s11633-014-0776-7
    126 rdf:type schema:CreativeWork
    127 https://doi.org/10.1016/j.dcan.2016.12.002 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052227357
    128 rdf:type schema:CreativeWork
    129 https://doi.org/10.1109/cloud.2013.133 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094247229
    130 rdf:type schema:CreativeWork
    131 https://doi.org/10.1109/cloud.2015.117 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094043764
    132 rdf:type schema:CreativeWork
    133 https://doi.org/10.1109/ms.2012.31 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004813796
    134 rdf:type schema:CreativeWork
    135 https://doi.org/10.1109/tcc.2013.10 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061541753
    136 rdf:type schema:CreativeWork
    137 https://www.grid.ac/institutes/grid.11447.37 schema:alternateName IBM Research - Haifa
    138 schema:name IBM Haifa Research Lab, Haifa, Israel
    139 rdf:type schema:Organization
    140 https://www.grid.ac/institutes/grid.481551.c schema:alternateName IBM Research - Almaden
    141 schema:name IBM Almaden Research Center, San Jose, CA, USA
    142 rdf:type schema:Organization
     




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


    ...