COOL: A Model-Driven and Automated System for Guided and Verifiable Cloud Solution Design View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2017

AUTHORS

Hamid R. Motahari Nezhad , Karen Yorov , Peifeng Yin , Taiga Nakamura , Scott Trent , Gil Shurek , Takayuki Kushida , Uma Subramanian

ABSTRACT

In this paper, we present COOL (ClOud sOlution design tooL), which is a model-driven cloud solution design tool for automatic solution generation, and solution verification. It offers a guided solutioning and customization method starting from complex client business and IT requirements, and enables verification of solution correctness by leveraging constraint satisfaction solvers. More... »

PAGES

194-198

References to SciGraph publications

Book

TITLE

Service-Oriented Computing – ICSOC 2016 Workshops

ISBN

978-3-319-68135-1
978-3-319-68136-8

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-319-68136-8_23

DOI

http://dx.doi.org/10.1007/978-3-319-68136-8_23

DIMENSIONS

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


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": {
          "name": [
            "IBM Research Almaden Center"
          ], 
          "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": {
          "name": [
            "IBM Haifa Research Lab"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Yorov", 
        "givenName": "Karen", 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "name": [
            "IBM Research Almaden Center"
          ], 
          "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": {
          "name": [
            "IBM Research Almaden Center"
          ], 
          "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": {
          "name": [
            "IBM Tokyo Research Lab"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Trent", 
        "givenName": "Scott", 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "name": [
            "IBM Haifa Research Lab"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Shurek", 
        "givenName": "Gil", 
        "id": "sg:person.016437167004.23", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016437167004.23"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "name": [
            "IBM Tokyo Research Lab"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Kushida", 
        "givenName": "Takayuki", 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "name": [
            "IBM Cloud Business Unit"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Subramanian", 
        "givenName": "Uma", 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "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": "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": "2017", 
    "datePublishedReg": "2017-01-01", 
    "description": "In this paper, we present COOL (ClOud sOlution design tooL), which is a model-driven cloud solution design tool for automatic solution generation, and solution verification. It offers a guided solutioning and customization method starting from complex client business and IT requirements, and enables verification of solution correctness by leveraging constraint satisfaction solvers.", 
    "editor": [
      {
        "familyName": "Drira", 
        "givenName": "Khalil", 
        "type": "Person"
      }, 
      {
        "familyName": "Wang", 
        "givenName": "Hongbing", 
        "type": "Person"
      }, 
      {
        "familyName": "Yu", 
        "givenName": "Qi", 
        "type": "Person"
      }, 
      {
        "familyName": "Wang", 
        "givenName": "Yan", 
        "type": "Person"
      }, 
      {
        "familyName": "Yan", 
        "givenName": "Yuhong", 
        "type": "Person"
      }, 
      {
        "familyName": "Charoy", 
        "givenName": "Fran\u00e7ois", 
        "type": "Person"
      }, 
      {
        "familyName": "Mendling", 
        "givenName": "Jan", 
        "type": "Person"
      }, 
      {
        "familyName": "Mohamed", 
        "givenName": "Mohamed", 
        "type": "Person"
      }, 
      {
        "familyName": "Wang", 
        "givenName": "Zhongjie", 
        "type": "Person"
      }, 
      {
        "familyName": "Bhiri", 
        "givenName": "Sami", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-319-68136-8_23", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-319-68135-1", 
        "978-3-319-68136-8"
      ], 
      "name": "Service-Oriented Computing \u2013 ICSOC 2016 Workshops", 
      "type": "Book"
    }, 
    "name": "COOL: A Model-Driven and Automated System for Guided and Verifiable Cloud Solution Design", 
    "pagination": "194-198", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-319-68136-8_23"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "7f2e9f6de80d520ead41e83e7ff23dea96fce9c2d16ac0b372f30156665cbe86"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1092350196"
        ]
      }
    ], 
    "publisher": {
      "location": "Cham", 
      "name": "Springer International Publishing", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-319-68136-8_23", 
      "https://app.dimensions.ai/details/publication/pub.1092350196"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T10:39", 
    "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/0000000001_0000000264/records_8659_00000280.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/978-3-319-68136-8_23"
  }
]
 

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-319-68136-8_23'

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-319-68136-8_23'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-68136-8_23'

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-319-68136-8_23'


 

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

178 TRIPLES      23 PREDICATES      30 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-319-68136-8_23 schema:about anzsrc-for:08
2 anzsrc-for:0803
3 schema:author N76d1e25107024e099535e56fb3a1b53c
4 schema:citation sg:pub.10.1007/978-1-4614-7535-4_22
5 https://doi.org/10.1109/cloud.2013.133
6 https://doi.org/10.1109/cloud.2015.117
7 schema:datePublished 2017
8 schema:datePublishedReg 2017-01-01
9 schema:description In this paper, we present COOL (ClOud sOlution design tooL), which is a model-driven cloud solution design tool for automatic solution generation, and solution verification. It offers a guided solutioning and customization method starting from complex client business and IT requirements, and enables verification of solution correctness by leveraging constraint satisfaction solvers.
10 schema:editor Ncb4bbf2eb2f643719fa68ea778d947a2
11 schema:genre chapter
12 schema:inLanguage en
13 schema:isAccessibleForFree false
14 schema:isPartOf Ncd016fce8dc34625a64042b7e2eec714
15 schema:name COOL: A Model-Driven and Automated System for Guided and Verifiable Cloud Solution Design
16 schema:pagination 194-198
17 schema:productId N0595faa1137b418faf998d8e99a7ae02
18 Nd258495df37c4f59948c00999152f4f4
19 Nfa0d5698a59e457bab4b9bd5f9d8ac2d
20 schema:publisher N468d4910d8e64bfb94c016ee355df22c
21 schema:sameAs https://app.dimensions.ai/details/publication/pub.1092350196
22 https://doi.org/10.1007/978-3-319-68136-8_23
23 schema:sdDatePublished 2019-04-15T10:39
24 schema:sdLicense https://scigraph.springernature.com/explorer/license/
25 schema:sdPublisher Ne5cdbffe067942b18392e59a7b5c777b
26 schema:url http://link.springer.com/10.1007/978-3-319-68136-8_23
27 sgo:license sg:explorer/license/
28 sgo:sdDataset chapters
29 rdf:type schema:Chapter
30 N01cec212188a465d80d21c759a152b10 rdf:first N54ab7d4fea12441a85e73baa001df5cf
31 rdf:rest Ncfbdd65470c141748c5daf117db65421
32 N0561f57d65f046e48545ab9352a587e4 schema:name IBM Haifa Research Lab
33 rdf:type schema:Organization
34 N0595faa1137b418faf998d8e99a7ae02 schema:name dimensions_id
35 schema:value pub.1092350196
36 rdf:type schema:PropertyValue
37 N080ce8386d8c4bfbaf2dd84d543994c9 schema:familyName Wang
38 schema:givenName Yan
39 rdf:type schema:Person
40 N0dcdbd3c391444f59e3d26802275e9b6 schema:name IBM Research Almaden Center
41 rdf:type schema:Organization
42 N0e0e3a7d13d9442aa56f12c071c0f698 schema:affiliation Nd47c24ff33ca4e53a031a62f61deb1e7
43 schema:familyName Trent
44 schema:givenName Scott
45 rdf:type schema:Person
46 N128a40a87ca54d8ab459a07cb5060457 rdf:first N67829572bff44d14b0c58ef7174e6268
47 rdf:rest rdf:nil
48 N1545366bb05f4e47a51165d7f04fbb5a schema:familyName Charoy
49 schema:givenName François
50 rdf:type schema:Person
51 N1bc63fb6caf34ca7be80dfad52f6654f schema:familyName Drira
52 schema:givenName Khalil
53 rdf:type schema:Person
54 N1ed9d9cf8b5d42a4be545ebb65838827 rdf:first N70107755f64a4249802ac7bb77cc5b8c
55 rdf:rest N128a40a87ca54d8ab459a07cb5060457
56 N26b361f564134905a146eaa9ea2d9f5c schema:familyName Mohamed
57 schema:givenName Mohamed
58 rdf:type schema:Person
59 N280f50a2a31e45fcbcb367e85109a7f9 rdf:first N080ce8386d8c4bfbaf2dd84d543994c9
60 rdf:rest N608f5c7ac59b42dfa0e7621ca9733b61
61 N2e9e135c2f294925852d5a5c12b00708 schema:name IBM Cloud Business Unit
62 rdf:type schema:Organization
63 N35485829542b47db85b2bd852eb4b055 rdf:first Ndaf5e1056b0d447d878973f98a9536ea
64 rdf:rest Nb523503bb2964e7e945efa7ed9a31c0e
65 N402665dc926146b094e87e2c713ac290 rdf:first N1545366bb05f4e47a51165d7f04fbb5a
66 rdf:rest Nb9463f787326455db604850c72951371
67 N468d4910d8e64bfb94c016ee355df22c schema:location Cham
68 schema:name Springer International Publishing
69 rdf:type schema:Organisation
70 N514ccdf2f53b4600878f32aca022df3c schema:familyName Yan
71 schema:givenName Yuhong
72 rdf:type schema:Person
73 N54ab7d4fea12441a85e73baa001df5cf schema:familyName Wang
74 schema:givenName Zhongjie
75 rdf:type schema:Person
76 N54f69a1dc01d4835a72e95184e790b1c rdf:first sg:person.016437167004.23
77 rdf:rest N1ed9d9cf8b5d42a4be545ebb65838827
78 N5e6fb0be9330424ba5577ecf02576107 rdf:first Nb743eabe03e84b0989c22524cadbb23f
79 rdf:rest Nbeddca8faa8a4904bab40fee7e75cfd2
80 N608f5c7ac59b42dfa0e7621ca9733b61 rdf:first N514ccdf2f53b4600878f32aca022df3c
81 rdf:rest N402665dc926146b094e87e2c713ac290
82 N60e95d42101b4afebea28c380b518ddb rdf:first sg:person.011627566457.23
83 rdf:rest Nd8b8d00cdbeb48a586325e80eb8e27d2
84 N67829572bff44d14b0c58ef7174e6268 schema:affiliation N2e9e135c2f294925852d5a5c12b00708
85 schema:familyName Subramanian
86 schema:givenName Uma
87 rdf:type schema:Person
88 N685b362aeb114b74b83c0651f335ee75 rdf:first N26b361f564134905a146eaa9ea2d9f5c
89 rdf:rest N01cec212188a465d80d21c759a152b10
90 N68b9729e7ecc4c389bddcadec0a023e3 schema:name IBM Haifa Research Lab
91 rdf:type schema:Organization
92 N70107755f64a4249802ac7bb77cc5b8c schema:affiliation N8890786ac2b14b6089b9ae031c24a425
93 schema:familyName Kushida
94 schema:givenName Takayuki
95 rdf:type schema:Person
96 N76d1e25107024e099535e56fb3a1b53c rdf:first sg:person.013674731417.00
97 rdf:rest N5e6fb0be9330424ba5577ecf02576107
98 N77e9df5ae065488f98100f699a333fb1 schema:name IBM Research Almaden Center
99 rdf:type schema:Organization
100 N8890786ac2b14b6089b9ae031c24a425 schema:name IBM Tokyo Research Lab
101 rdf:type schema:Organization
102 Na18baad6605244ebabb2d4c68a14ad00 schema:familyName Yu
103 schema:givenName Qi
104 rdf:type schema:Person
105 Na341c8e6d59848e191e2d20418050d43 schema:name IBM Research Almaden Center
106 rdf:type schema:Organization
107 Nb523503bb2964e7e945efa7ed9a31c0e rdf:first Na18baad6605244ebabb2d4c68a14ad00
108 rdf:rest N280f50a2a31e45fcbcb367e85109a7f9
109 Nb743eabe03e84b0989c22524cadbb23f schema:affiliation N68b9729e7ecc4c389bddcadec0a023e3
110 schema:familyName Yorov
111 schema:givenName Karen
112 rdf:type schema:Person
113 Nb9463f787326455db604850c72951371 rdf:first Ncd474243183f4a58a773dc2616c0a727
114 rdf:rest N685b362aeb114b74b83c0651f335ee75
115 Nbeddca8faa8a4904bab40fee7e75cfd2 rdf:first sg:person.013334364651.70
116 rdf:rest N60e95d42101b4afebea28c380b518ddb
117 Nca27b157b92f4f7ca3d9a05c62b08372 schema:familyName Bhiri
118 schema:givenName Sami
119 rdf:type schema:Person
120 Ncb4bbf2eb2f643719fa68ea778d947a2 rdf:first N1bc63fb6caf34ca7be80dfad52f6654f
121 rdf:rest N35485829542b47db85b2bd852eb4b055
122 Ncd016fce8dc34625a64042b7e2eec714 schema:isbn 978-3-319-68135-1
123 978-3-319-68136-8
124 schema:name Service-Oriented Computing – ICSOC 2016 Workshops
125 rdf:type schema:Book
126 Ncd474243183f4a58a773dc2616c0a727 schema:familyName Mendling
127 schema:givenName Jan
128 rdf:type schema:Person
129 Ncfbdd65470c141748c5daf117db65421 rdf:first Nca27b157b92f4f7ca3d9a05c62b08372
130 rdf:rest rdf:nil
131 Nd258495df37c4f59948c00999152f4f4 schema:name doi
132 schema:value 10.1007/978-3-319-68136-8_23
133 rdf:type schema:PropertyValue
134 Nd47c24ff33ca4e53a031a62f61deb1e7 schema:name IBM Tokyo Research Lab
135 rdf:type schema:Organization
136 Nd8b8d00cdbeb48a586325e80eb8e27d2 rdf:first N0e0e3a7d13d9442aa56f12c071c0f698
137 rdf:rest N54f69a1dc01d4835a72e95184e790b1c
138 Ndaf5e1056b0d447d878973f98a9536ea schema:familyName Wang
139 schema:givenName Hongbing
140 rdf:type schema:Person
141 Ne5cdbffe067942b18392e59a7b5c777b schema:name Springer Nature - SN SciGraph project
142 rdf:type schema:Organization
143 Nfa0d5698a59e457bab4b9bd5f9d8ac2d schema:name readcube_id
144 schema:value 7f2e9f6de80d520ead41e83e7ff23dea96fce9c2d16ac0b372f30156665cbe86
145 rdf:type schema:PropertyValue
146 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
147 schema:name Information and Computing Sciences
148 rdf:type schema:DefinedTerm
149 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
150 schema:name Computer Software
151 rdf:type schema:DefinedTerm
152 sg:person.011627566457.23 schema:affiliation Na341c8e6d59848e191e2d20418050d43
153 schema:familyName Nakamura
154 schema:givenName Taiga
155 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011627566457.23
156 rdf:type schema:Person
157 sg:person.013334364651.70 schema:affiliation N77e9df5ae065488f98100f699a333fb1
158 schema:familyName Yin
159 schema:givenName Peifeng
160 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013334364651.70
161 rdf:type schema:Person
162 sg:person.013674731417.00 schema:affiliation N0dcdbd3c391444f59e3d26802275e9b6
163 schema:familyName Nezhad
164 schema:givenName Hamid R. Motahari
165 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013674731417.00
166 rdf:type schema:Person
167 sg:person.016437167004.23 schema:affiliation N0561f57d65f046e48545ab9352a587e4
168 schema:familyName Shurek
169 schema:givenName Gil
170 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016437167004.23
171 rdf:type schema:Person
172 sg:pub.10.1007/978-1-4614-7535-4_22 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009312877
173 https://doi.org/10.1007/978-1-4614-7535-4_22
174 rdf:type schema:CreativeWork
175 https://doi.org/10.1109/cloud.2013.133 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094247229
176 rdf:type schema:CreativeWork
177 https://doi.org/10.1109/cloud.2015.117 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094043764
178 rdf:type schema:CreativeWork
 




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


...