乐胖代购免代理版

{"id":"https://openalex.org/W1980875214","doi":"https://doi.org/10.1109/quatic.2012.59","title":"Towards a Robust Solution in Building Automation Systems: Supporting Rapid Prototyping and Analysis","display_name":"Towards a Robust Solution in Building Automation Systems: Supporting Rapid Prototyping and Analysis","publication_year":2012,"publication_date":"2012-09-01","ids":{"openalex":"https://openalex.org/W1980875214","doi":"https://doi.org/10.1109/quatic.2012.59","mag":"1980875214"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/quatic.2012.59","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000123304","display_name":"Vasco Amaral","orcid":"https://orcid.org/0000-0003-3791-5151"},"institutions":[{"id":"https://openalex.org/I83558840","display_name":"Universidade Nova de Lisboa","ror":"https://ror.org/02xankh89","country_code":"PT","type":"education","lineage":["https://openalex.org/I83558840"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Vasco Amaral","raw_affiliation_strings":["Dept. de Inf., Univ. Nova de Lisboa, Lisbon, Portugal"],"affiliations":[{"raw_affiliation_string":"Dept. de Inf., Univ. Nova de Lisboa, Lisbon, Portugal","institution_ids":["https://openalex.org/I83558840"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081180341","display_name":"Bruno Barroca","orcid":"https://orcid.org/0000-0001-6653-0803"},"institutions":[{"id":"https://openalex.org/I83558840","display_name":"Universidade Nova de Lisboa","ror":"https://ror.org/02xankh89","country_code":"PT","type":"education","lineage":["https://openalex.org/I83558840"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Bruno Barroca","raw_affiliation_strings":["Dept. de Inf., Univ. Nova de Lisboa, Lisbon, Portugal"],"affiliations":[{"raw_affiliation_string":"Dept. de Inf., Univ. Nova de Lisboa, Lisbon, Portugal","institution_ids":["https://openalex.org/I83558840"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043571779","display_name":"Paulo Carreira","orcid":"https://orcid.org/0000-0002-2244-9138"},"institutions":[{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Paulo Carreira","raw_affiliation_strings":["IST & INESC-ID Lisboa, Porto Salvo, Portugal"],"affiliations":[{"raw_affiliation_string":"IST & INESC-ID Lisboa, Porto Salvo, Portugal","institution_ids":["https://openalex.org/I121345201"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.217,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":2,"citation_normalized_percentile":{"value":0.342781,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":72,"max":75},"biblio":{"volume":null,"issue":null,"first_page":"261","last_page":"264"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9999,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9999,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9962,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9918,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.5798428},{"id":"https://openalex.org/keywords/usable","display_name":"USable","score":0.49121135},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model Transformation","score":0.4887676}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7957206},{"id":"https://openalex.org/C14185376","wikidata":"https://www.wikidata.org/wiki/Q30232","display_name":"Agile software development","level":2,"score":0.6657362},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.63838714},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.5798428},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.534697},{"id":"https://openalex.org/C2780615836","wikidata":"https://www.wikidata.org/wiki/Q2471869","display_name":"USable","level":2,"score":0.49121135},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.4887676},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.39226317},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.36349},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10999951},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10702881},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.0},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/quatic.2012.59","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Affordable and clean energy","id":"https://metadata.un.org/sdg/7","score":0.52}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":30,"referenced_works":["https://openalex.org/W1522397019","https://openalex.org/W1533837160","https://openalex.org/W1535841123","https://openalex.org/W1553368968","https://openalex.org/W1556622123","https://openalex.org/W1566935473","https://openalex.org/W1721257846","https://openalex.org/W1788026644","https://openalex.org/W1966972150","https://openalex.org/W1998618036","https://openalex.org/W2021327849","https://openalex.org/W2024315400","https://openalex.org/W2062952062","https://openalex.org/W2068094527","https://openalex.org/W2076469123","https://openalex.org/W2087319533","https://openalex.org/W2105001783","https://openalex.org/W2105655408","https://openalex.org/W2131366257","https://openalex.org/W2140404938","https://openalex.org/W2149786528","https://openalex.org/W2151109130","https://openalex.org/W2166490913","https://openalex.org/W2167374930","https://openalex.org/W2169954581","https://openalex.org/W2399834472","https://openalex.org/W390638459","https://openalex.org/W4240539718","https://openalex.org/W4244167827","https://openalex.org/W56907422"],"related_works":["https://openalex.org/W3151542570","https://openalex.org/W3006129753","https://openalex.org/W2583163392","https://openalex.org/W2129492722","https://openalex.org/W2100040503","https://openalex.org/W2099725993","https://openalex.org/W2014419036","https://openalex.org/W1994068812","https://openalex.org/W18182073","https://openalex.org/W145312585"],"abstract_inverted_index":{"It":[0],"is":[1,67,131,140,176,223],"presently":[2],"required":[3],"agile":[4],"and":[5,14,48,94,100,182,191,258,270],"systematic":[6,43],"solutions":[7],"aiming":[8],"at":[9,29],"streamlining":[10],"the":[11,50,55,72,108,116,122,134,170,185,206,209,218,226,253,274,288,292,296],"development,":[12,47],"maintenance":[13],"configuration":[15],"of":[16,57,86,107,118,136,152,173,203,229,238,252,263,276,291],"complex":[17],"Building":[18,256],"Automation":[19,257],"Systems":[20],"(BASs)":[21],"in":[22,102,241,255,273,280,286,295],"an":[23,261],"energy":[24],"aware":[25],"manner.":[26],"We":[27,112],"aim":[28],"defining":[30],"usable":[31],"Domain":[32],"Specific":[33],"Languages":[34],"(DSLs)":[35],"using":[36],"a":[37,153,250,264,277],"Software":[38],"Language":[39],"Engineering":[40],"(SLE),":[41],"as":[42,121],"approach":[44,124,130],"for":[45,53,97],"language":[46,155],"develop":[49],"right":[51],"tools":[52,96],"specifying":[54],"behavior":[56],"BASs":[58],"components":[59],"along":[60],"with":[61,169,194,208],"their":[62,284],"energy-related":[63],"requirements.":[64],"The":[65,167],"goal":[66],"to":[68,83,104,115,125,143,163,216,282],"not":[69],"only":[70],"assist":[71],"systems":[73],"engineers":[74],"while":[75],"rapid-prototyping/developing":[76],"affordable,":[77],"high-quality,":[78],"energy-efficient(EE)":[79],"BASs,":[80,231],"but":[81],"also":[82,160],"take":[84],"advantage":[85],"high":[87],"level":[88],"abstractions,":[89],"efficient":[90],"special-purpose":[91],"verification":[92],"algorithms":[93],"analysis":[95,165,195],"early":[98],"validation":[99],"verification,":[101],"order":[103,281],"promote":[105],"Quality":[106],"generated":[109],"software":[110],"products.":[111],"are":[113],"watching":[114],"rise":[117],"Model-Driven":[119],"Development":[120],"pragmatic":[123],"build":[126],"them,":[127],"since":[128],"this":[129,221,244],"based":[132],"on":[133],"notion":[135],"explicit":[137],"abstractions/models.":[138],"This":[139],"achieved":[141],"thanks":[142],"model":[144,271],"transformations":[145],"that,":[146],"besides":[147],"automatically":[148],"translating":[149],"any":[150],"specification":[151],"given":[154],"into":[156,188],"other":[157],"execution":[158,189,301],"specifications,":[159],"allow":[161],"us":[162],"derive":[164],"specifications.":[166],"problem":[168,222],"referred":[171],"types":[172],"transformation":[174],"purposes":[175],"that":[177,234,267],"we":[178,198,232,247,259],"cannot":[179],"guarantee":[180],"quality":[181],"coherence":[183],"between":[184],"derived":[186],"specifications":[187,190,196],"combine":[192],"it":[193,235],"unless":[197],"can":[199,236],"either":[200,300],"make":[201],"use":[202],"testing":[204],"over":[205],"execution,":[207],"problems":[210],"already":[211],"known,":[212],"or":[213,302],"have":[214],"mechanisms":[215],"study":[217],"transformations.":[219],"While":[220],"motivated":[224],"by":[225],"concrete":[227],"need":[228],"developing":[230],"foresee":[233],"be":[237],"general":[239],"application":[240],"SLE.":[242],"In":[243],"position":[245],"paper":[246],"will":[248],"give":[249,260],"state":[251],"art":[254],"overview":[262],"possible":[265],"solution":[266],"uses":[268],"MDD":[269],"transformations,":[272],"context":[275],"BAS":[278],"solution,":[279],"check":[283],"correctness":[285],"w.r.t.":[287],"formal":[289],"semantics":[290],"languages":[293],"used":[294],"target":[297],"platforms":[298],"(i.e":[299],"analysis).":[303]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1980875214","counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2024-12-12T20:24:41.213900","created_date":"2016-06-24"}