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 Nc3f4a4593bce4ed384a841b6ddfacae6
    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 Na8c152aacd8d4bb790b6e19838c60db2
    17 schema:genre chapter
    18 schema:inLanguage en
    19 schema:isAccessibleForFree false
    20 schema:isPartOf Ne3ccfa0463a2432aafec43ba2d8dcd89
    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 N4f57dd26e0704ef6a53827afef7ab1e3
    24 N757e5f2c6ab24c31b4afbee8dbb51f33
    25 Nf2c9481041ab46459e42b43c4f923033
    26 schema:publisher N0e826b0f05264eeeb79216756686fb25
    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 Nca3ca4554c6e44a0b2d454f818f3007c
    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 N0e826b0f05264eeeb79216756686fb25 schema:location Cham
    37 schema:name Springer International Publishing
    38 rdf:type schema:Organisation
    39 N10f816ba14ad4d188cdf20b276b6671a rdf:first sg:person.013334364651.70
    40 rdf:rest Nccbd7d23e14449ecb58e0603ce3e876b
    41 N19d81e48747848078c30f9cd0624fedf schema:familyName Yu
    42 schema:givenName Qi
    43 rdf:type schema:Person
    44 N34848f4850a949f0a8c9ee5271fcd2e0 schema:familyName Yin
    45 schema:givenName Jianwei
    46 rdf:type schema:Person
    47 N4c0f02f1c9e449319b21b35488f19904 schema:familyName Pahl
    48 schema:givenName Claus
    49 rdf:type schema:Person
    50 N4f57dd26e0704ef6a53827afef7ab1e3 schema:name dimensions_id
    51 schema:value pub.1108060027
    52 rdf:type schema:PropertyValue
    53 N757e5f2c6ab24c31b4afbee8dbb51f33 schema:name doi
    54 schema:value 10.1007/978-3-030-03596-9_51
    55 rdf:type schema:PropertyValue
    56 N9595a27e4c5041e88da7a99d4188d9fb rdf:first N34848f4850a949f0a8c9ee5271fcd2e0
    57 rdf:rest Nce835544c2df44d7b39db91a77f7fcbe
    58 Na8c152aacd8d4bb790b6e19838c60db2 rdf:first N4c0f02f1c9e449319b21b35488f19904
    59 rdf:rest Nd582aa1ad0084bfc85e5ecf121cbd91c
    60 Naa6136db82314ca2bdfb70e8a40f65fe rdf:first sg:person.011627566457.23
    61 rdf:rest Nb6c5f172885a4d6b91125eec7ea9e51f
    62 Nb6c5f172885a4d6b91125eec7ea9e51f rdf:first sg:person.013020365011.98
    63 rdf:rest N10f816ba14ad4d188cdf20b276b6671a
    64 Nc3f4a4593bce4ed384a841b6ddfacae6 rdf:first sg:person.013674731417.00
    65 rdf:rest Naa6136db82314ca2bdfb70e8a40f65fe
    66 Nca3ca4554c6e44a0b2d454f818f3007c schema:name Springer Nature - SN SciGraph project
    67 rdf:type schema:Organization
    68 Nccbd7d23e14449ecb58e0603ce3e876b rdf:first sg:person.014010072235.74
    69 rdf:rest rdf:nil
    70 Ncd4b18a625e647898d55efca9537af62 schema:familyName Vukovic
    71 schema:givenName Maja
    72 rdf:type schema:Person
    73 Nce835544c2df44d7b39db91a77f7fcbe rdf:first N19d81e48747848078c30f9cd0624fedf
    74 rdf:rest rdf:nil
    75 Nd582aa1ad0084bfc85e5ecf121cbd91c rdf:first Ncd4b18a625e647898d55efca9537af62
    76 rdf:rest N9595a27e4c5041e88da7a99d4188d9fb
    77 Ne3ccfa0463a2432aafec43ba2d8dcd89 schema:isbn 978-3-030-03595-2
    78 978-3-030-03596-9
    79 schema:name Service-Oriented Computing
    80 rdf:type schema:Book
    81 Nf2c9481041ab46459e42b43c4f923033 schema:name readcube_id
    82 schema:value f67053749201b210faf7cafadeffadcd56028981c6f677dfcb50b8a834c14101
    83 rdf:type schema:PropertyValue
    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)


    ...