{"id":"https://openalex.org/W2621082443","doi":null,"title":"Envisage: Developing SLA-aware Deployed Services with Formal Methods","display_name":"Envisage: Developing SLA-aware Deployed Services with Formal Methods","publication_year":2016,"publication_date":"2016-09-05","ids":{"openalex":"https://openalex.org/W2621082443","mag":"2621082443"},"language":"en","primary_location":{"id":"pmh:oai:HAL:hal-01345020v1","doi":null,"is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01345020","pdf_url":"https://inria.hal.science/hal-01345020v1/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ESOCC 2016:Fifth European Conference on Service-Oriented and Cloud Computing, Sep 2016, Wien, Austria","raw_type":"info:eu-repo/semantics/conferenceObject"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-01345020v1/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091905437","display_name":"Elvira Albert","orcid":"https://orcid.org/0000-0003-0048-0705","observed_orcids":["https://orcid.org/0000-0003-0048-0705"]},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Albert, Elvira","raw_affiliation_strings":["UCM - Universidad Complutense de Madrid =  Complutense University of Madrid  [Madrid] (Avda. de S\u00e9neca, 2, Ciudad Universitaria, 28040 Madrid - Spain)","Universidad Complutense de Madrid =  Complutense University of Madrid  [Madrid]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UCM - Universidad Complutense de Madrid =  Complutense University of Madrid  [Madrid] (Avda. de S\u00e9neca, 2, Ciudad Universitaria, 28040 Madrid - Spain)","institution_ids":["https://openalex.org/I121748325"]},{"raw_affiliation_string":"Universidad Complutense de Madrid =  Complutense University of Madrid  [Madrid]","institution_ids":["https://openalex.org/I121748325"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111968270","display_name":"Frank S. de Boer","orcid":"https://orcid.org/0000-0003-3950-6271","observed_orcids":["https://orcid.org/0000-0003-3950-6271"]},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832","https://openalex.org/I4405262988"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"de Boer, Frank","raw_affiliation_strings":["CWI - Centrum Wiskunde & Informatica (Science Park 123, 1098 XG Amsterdam - Netherlands)","Centrum Wiskunde & Informatica"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CWI - Centrum Wiskunde & Informatica (Science Park 123, 1098 XG Amsterdam - Netherlands)","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Centrum Wiskunde & Informatica","institution_ids":["https://openalex.org/I1341640284"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084143460","display_name":"Reiner H\u00e4hnle","orcid":"https://orcid.org/0000-0001-8000-7613","observed_orcids":["https://orcid.org/0000-0001-8000-7613"]},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"H\u00e4hnle, Reiner","raw_affiliation_strings":["TU Darmstadt - Technische Universit\u00e4t Darmstadt - Technical University of Darmstadt [Darmstadt] (Karolinenplatz 5, 64289 Darmstadt - Germany)","Technische Universit\u00e4t Darmstadt - Technical University of Darmstadt"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Darmstadt - Technische Universit\u00e4t Darmstadt - Technical University of Darmstadt [Darmstadt] (Karolinenplatz 5, 64289 Darmstadt - Germany)","institution_ids":["https://openalex.org/I31512782"]},{"raw_affiliation_string":"Technische Universit\u00e4t Darmstadt - Technical University of Darmstadt","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039414480","display_name":"Einar Broch Johnsen","orcid":"https://orcid.org/0000-0001-5382-3949","observed_orcids":["https://orcid.org/0000-0001-5382-3949"]},"institutions":[{"id":"https://openalex.org/I184942183","display_name":"University of Oslo","ror":"https://ror.org/01xtthb56","country_code":"NO","type":"education","lineage":["https://openalex.org/I184942183"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Johnsen, Einar Broch","raw_affiliation_strings":["Department of Informatics [Oslo] (Informatikkbygget Gaustadall\u00e9en 23 N-0371 Oslo Norway - Norway)","Department of Informatics [Oslo]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Informatics [Oslo] (Informatikkbygget Gaustadall\u00e9en 23 N-0371 Oslo Norway - Norway)","institution_ids":["https://openalex.org/I184942183"]},{"raw_affiliation_string":"Department of Informatics [Oslo]","institution_ids":["https://openalex.org/I184942183"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010877867","display_name":"Cosimo Laneve","orcid":"https://orcid.org/0000-0002-0052-4061","observed_orcids":["https://orcid.org/0000-0002-0052-4061"]},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Laneve, Cosimo","raw_affiliation_strings":["DISI - Department of Computer Science and Engineering [Bologna] (Universit\u00e0 di Bologna Dipartimento di Informatica - Scienza e Ingegneria Mura Anteo Zamboni, 7 40126 Bologna Italiy - Italy)","FOCUS - Foundations of Component-based Ubiquitous Systems (Dipartimento di Informatica - Scienza e Ingegneria (DISI)\r\nUniversita' di Bologna\r\nMura Anteo Zamboni, 7\r\n40126 Bologna\r\nITALY - Italy)","Department of Computer Science and Engineering [Bologna]","Foundations of Component-based Ubiquitous Systems"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DISI - Department of Computer Science and Engineering [Bologna] (Universit\u00e0 di Bologna Dipartimento di Informatica - Scienza e Ingegneria Mura Anteo Zamboni, 7 40126 Bologna Italiy - Italy)","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"FOCUS - Foundations of Component-based Ubiquitous Systems (Dipartimento di Informatica - Scienza e Ingegneria (DISI)\r\nUniversita' di Bologna\r\nMura Anteo Zamboni, 7\r\n40126 Bologna\r\nITALY - Italy)","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"Department of Computer Science and Engineering [Bologna]","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"Foundations of Component-based Ubiquitous Systems","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":5,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.21838328,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10101","display_name":"Cloud Computing and Resource Management","score":0.9657999873161316,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10101","display_name":"Cloud Computing and Resource Management","score":0.9657999873161316,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.006500000134110451,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.004699999932199717,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/service-level-agreements","display_name":"service level agreements","score":0.9259999990463257},{"id":"https://openalex.org/keywords/cloud-deployment","display_name":"cloud deployment","score":0.7160000205039978},{"id":"https://openalex.org/keywords/scalability","display_name":"scalability","score":0.5400000214576721},{"id":"https://openalex.org/keywords/resource-management","display_name":"resource management","score":0.9120000004768372},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.5809999704360962},{"id":"https://openalex.org/keywords/deductive-verification","display_name":"deductive verification","score":0.656000018119812},{"id":"https://openalex.org/keywords/deadlock-analysis","display_name":"deadlock analysis","score":0.7269999980926514},{"id":"https://openalex.org/keywords/automatic-test-generation","display_name":"automated test generation","score":0.7699999809265137},{"id":"https://openalex.org/keywords/performance-monitoring","display_name":"performance monitoring","score":0.6690000295639038},{"id":"https://openalex.org/keywords/cost-quality-trade-off","display_name":"cost-quality trade-off","score":0.5720000267028809}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.750805139541626},{"id":"https://openalex.org/C2778160497","wikidata":"https://www.wikidata.org/wiki/Q869830","display_name":"Service-level agreement","level":3,"score":0.5518343448638916},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.5508114695549011},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.48531168699264526},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.443437784910202},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3982197046279907},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.30362534523010254}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:HAL:hal-01345020v1","doi":null,"is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01345020","pdf_url":"https://inria.hal.science/hal-01345020v1/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ESOCC 2016:Fifth European Conference on Service-Oriented and Cloud Computing, Sep 2016, Wien, Austria","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01345020v1","doi":null,"is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01345020","pdf_url":"https://inria.hal.science/hal-01345020v1/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ESOCC 2016:Fifth European Conference on Service-Oriented and Cloud Computing, Sep 2016, Wien, Austria","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.428600013256073}],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2621082443.pdf","grobid_xml":"https://content.openalex.org/works/W2621082443.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2970592915","https://openalex.org/W2937668694","https://openalex.org/W2578390472","https://openalex.org/W2769196561","https://openalex.org/W7098592473","https://openalex.org/W2007478226","https://openalex.org/W2663742036","https://openalex.org/W2117939791","https://openalex.org/W3216073319","https://openalex.org/W4313894817"],"abstract_inverted_index":{"Insufficient":[0],"scalability":[1],"and":[2,61,93,144,152,155,172,200,212,256,274,303,314,337],"bad":[3,94],"resource":[4,134],"management":[5],"of":[6,108,118,136,146,150,219,231,249,254,259,293,341],"software":[7,110,119,127],"services":[8,203],"can":[9,162,183],"easily":[10],"eat":[11],"up":[12],"any":[13],"potential":[14],"savings":[15],"from":[16,105],"cloud":[17,125,221,262,344],"deployment.":[18],"Failed":[19],"service-level":[20],"agreements":[21],"(SLAs)":[22],"cause":[23],"penalties":[24],"for":[25,83,181,287,300],"the":[26,34,78,106,109,124,133,137,142,148,156,169,173,220,252,257,342],"provider,":[27],"while":[28],"oversized":[29],"SLAs":[30],"waste":[31],"resources":[32,263,345],"on":[33,123,335],"customer's":[35],"side.":[36],"IBM":[37],"Systems":[38],"Sciences":[39],"Institute":[40],"estimates":[41],"that":[42,215,331],"a":[43,247,268,291],"defect":[44],"which":[45,178],"costs":[46,53],"one":[47],"unit":[48],"to":[49,56,66,87,113,191,198,208],"fix":[50,57,67],"in":[51,58,68],"design,":[52],"15":[54],"units":[55,63],"testing":[59],"(system/acceptance)":[60],"100":[62],"or":[64],"more":[65],"production":[69],"[6];":[70],"this":[71,159],"cost":[72,80,171,253,308,336],"estimation":[73],"does":[74],"not":[75],"even":[76,184],"consider":[77],"impact":[79],"due":[81],"to,":[82],"example,":[84],"delayed":[85],"time":[86],"market,":[88],"lost":[89,91],"revenue,":[90],"customers,":[92],"public":[95],"relations.":[96],"The":[97,239],"Envisage":[98,196],"project":[99],"aims":[100],"at":[101,189],"shifting":[102],"deployment":[103,347],"decisions":[104],"end":[107],"engineering":[111],"process":[112],"become":[114],"an":[115,213,217],"integral":[116],"part":[117],"design":[120,199],"[2].":[121],"Deployment":[122],"gives":[126],"designers":[128,161],"far":[129],"reaching":[130],"control":[131,164],"over":[132],"parameters":[135,187],"execution":[138,255],"environment,":[139,222],"such":[140],"as":[141,283],"number":[143],"kind":[145],"processors,":[147],"amount":[149],"memory":[151],"storage":[153],"capacity,":[154],"bandwidth.":[157],"In":[158],"context,":[160],"also":[163],"their":[165,193],"software's":[166],"trade-offs":[167],"between":[168,251],"incurred":[170],"delivered":[174],"quality-of-service.":[175],"SLA-aware":[176],"services,":[177],"are":[179,266],"designed":[180,286],"scalability,":[182],"change":[185],"these":[186,202],"dynamically,":[188],"runtime,":[190],"meet":[192],"service":[194,210],"contracts.":[195],"permits":[197],"validate":[201],"by":[204],"connecting":[205],"executable":[206],"models":[207],"formal":[209,295],"contracts":[211],"API":[214],"is":[216],"abstraction":[218],"see":[223],"Fig.":[224],"1.":[225],"This":[226],"approach":[227],"enables":[228,290],"new":[229],"kinds":[230],"analysis:":[232],"\u2013":[233,276,319],"Simulation":[234],"(\"":[235,279,321],"Early":[236,280],"modeling":[237,242],"\"):":[238,282,324],"formally":[240],"defined":[241],"language":[243],"ABS":[244,284,325],"[10]":[245],"realizes":[246],"separation":[248],"concerns":[250],"capacity":[258],"dynamically":[260],"provisioned":[261,343],"[11].":[264],"Models":[265],"executable;":[267],"simulation":[269],"tool":[270],"supports":[271,326],"rapid":[272],"prototyping":[273],"visualization.":[275],"Formal":[277],"methods":[278],"analysis":[281,302,309,323],"was":[285],"analysis,":[288],"it":[289],"range":[292],"tool-supported":[294],"techniques,":[296],"including":[297],"behavioral":[298],"types":[299],"deadlock":[301],"SLA":[304],"compliance":[305],"[8],":[306],"worst-case":[307],"[1],":[310],"deductive":[311],"verification":[312],"[7],":[313],"automated":[315],"test-case":[316],"generation":[317,328],"[4].":[318],"Monitoring":[320],"Late":[322],"code":[327],"backends":[329],"[5]":[330],"preserve":[332],"upper":[333],"bounds":[334],"permit":[338],"performance":[339],"monitoring":[340],"after":[346],"[13].":[348]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2017-06-09T00:00:00"}