乐胖代购免代理版

{"id":"https://openalex.org/W2898221105","doi":"https://doi.org/10.1145/3276604.3276611","title":"Constraint-based run-time state migration for live modeling","display_name":"Constraint-based run-time state migration for live modeling","publication_year":2018,"publication_date":"2018-10-24","ids":{"openalex":"https://openalex.org/W2898221105","doi":"https://doi.org/10.1145/3276604.3276611","mag":"2898221105"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/3276604.3276611","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"preprint","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-01896207/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5006128416","display_name":"Ulyana Tikhonova","orcid":null},"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"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Ulyana Tikhonova","raw_affiliation_strings":["CWI - Centrum Wiskunde & Informatica (Science Park 123, 1098 XG Amsterdam - Netherlands)"],"affiliations":[{"raw_affiliation_string":"CWI - Centrum Wiskunde & Informatica (Science Park 123, 1098 XG Amsterdam - Netherlands)","institution_ids":["https://openalex.org/I1341640284"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084382223","display_name":"Jouke Stoel","orcid":"https://orcid.org/0000-0002-8432-1551"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]},{"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"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jouke Stoel","raw_affiliation_strings":["CWI - Centrum Wiskunde & Informatica (Science Park 123, 1098 XG Amsterdam - Netherlands)","TU/e - Eindhoven University of Technology [Eindhoven] (Den Dolech 2 5612 AZ Eindhoven - Netherlands)"],"affiliations":[{"raw_affiliation_string":"TU/e - Eindhoven University of Technology [Eindhoven] (Den Dolech 2 5612 AZ Eindhoven - Netherlands)","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"CWI - Centrum Wiskunde & Informatica (Science Park 123, 1098 XG Amsterdam - Netherlands)","institution_ids":["https://openalex.org/I1341640284"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014852863","display_name":"Tijs van der Storm","orcid":"https://orcid.org/0000-0001-8853-7934"},"institutions":[{"id":"https://openalex.org/I169381384","display_name":"University of Groningen","ror":"https://ror.org/012p63287","country_code":"NL","type":"education","lineage":["https://openalex.org/I169381384"]},{"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"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Tijs van der Storm","raw_affiliation_strings":["CWI - Centrum Wiskunde & Informatica (Science Park 123, 1098 XG Amsterdam - Netherlands)","University of Groningen [Groningen] (PO Box 72 , 9700 AB Groningen - Netherlands)"],"affiliations":[{"raw_affiliation_string":"University of Groningen [Groningen] (PO Box 72 , 9700 AB Groningen - Netherlands)","institution_ids":["https://openalex.org/I169381384"]},{"raw_affiliation_string":"CWI - Centrum Wiskunde & Informatica (Science Park 123, 1098 XG Amsterdam - Netherlands)","institution_ids":["https://openalex.org/I1341640284"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033349869","display_name":"Thomas Degueule","orcid":"https://orcid.org/0000-0002-5961-7940"},"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"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Thomas Degueule","raw_affiliation_strings":["CWI - Centrum Wiskunde & Informatica (Science Park 123, 1098 XG Amsterdam - Netherlands)"],"affiliations":[{"raw_affiliation_string":"CWI - Centrum Wiskunde & Informatica (Science Park 123, 1098 XG Amsterdam - Netherlands)","institution_ids":["https://openalex.org/I1341640284"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":6,"citation_normalized_percentile":{"value":0.776243,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":80,"max":82},"biblio":{"volume":null,"issue":null,"first_page":"108","last_page":"120"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.999,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9987,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.54334414},{"id":"https://openalex.org/keywords/time-constraint","display_name":"Time constraint","score":0.5420031},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.44621402}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8639134},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.69442064},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.6549973},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.54334414},{"id":"https://openalex.org/C2775907273","wikidata":"https://www.wikidata.org/wiki/Q7805281","display_name":"Time constraint","level":2,"score":0.5420031},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.51006466},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.44621402},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.40866506},{"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/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/3276604.3276611","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.science/hal-01896207","pdf_url":"https://hal.science/hal-01896207/document","source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://research.rug.nl/en/publications/1247ade0-0e4e-4f47-9ee0-ab16259539b8","pdf_url":"https://research.rug.nl/files/121027946/3276604.3276611.pdf","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":["Royal Netherlands Academy of Arts and Sciences"],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/28317","pdf_url":"https://ir.cwi.nl/pub/28317/28317.pdf","source":{"id":"https://openalex.org/S4306400859","display_name":"CWI's Institutional Repository (Centrum Wiskunde & Informatica)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1341640284","host_organization_name":"Centrum Wiskunde & Informatica","host_organization_lineage":["https://openalex.org/I1341640284"],"host_organization_lineage_names":["Centrum Wiskunde & Informatica"],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"https://pure.rug.nl/ws/files/121027946/3276604.3276611.pdf","pdf_url":"https://pure.rug.nl/ws/files/121027946/3276604.3276611.pdf","source":{"id":"https://openalex.org/S4306400420","display_name":"University of Groningen research database (University of Groningen / Centre for Information Technology)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169381384","host_organization_name":"University of Groningen","host_organization_lineage":["https://openalex.org/I169381384"],"host_organization_lineage_names":["University of Groningen"],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-01896207/file/nextstep.pdf","pdf_url":"https://hal.archives-ouvertes.fr/hal-01896207/file/nextstep.pdf","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-01896207/document","pdf_url":"https://hal.archives-ouvertes.fr/hal-01896207/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://hal.science/hal-01896207","pdf_url":"https://hal.science/hal-01896207/document","source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[{"score":0.81,"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":30,"referenced_works":["https://openalex.org/W1511832825","https://openalex.org/W1525686383","https://openalex.org/W187889024","https://openalex.org/W1895387792","https://openalex.org/W1969667418","https://openalex.org/W1992874956","https://openalex.org/W2000616678","https://openalex.org/W2027346590","https://openalex.org/W2051834506","https://openalex.org/W2063169555","https://openalex.org/W2067130140","https://openalex.org/W2072524792","https://openalex.org/W2075262418","https://openalex.org/W2077793982","https://openalex.org/W2132704909","https://openalex.org/W2133549192","https://openalex.org/W2137009822","https://openalex.org/W2153019760","https://openalex.org/W2490622085","https://openalex.org/W2499905456","https://openalex.org/W2523983521","https://openalex.org/W2534173360","https://openalex.org/W2573246803","https://openalex.org/W2615167068","https://openalex.org/W2746459597","https://openalex.org/W2769814451","https://openalex.org/W2794837265","https://openalex.org/W2898960497","https://openalex.org/W3125799933","https://openalex.org/W4212902469"],"related_works":["https://openalex.org/W4399396045","https://openalex.org/W4313469555","https://openalex.org/W3200670168","https://openalex.org/W3125309996","https://openalex.org/W2963261759","https://openalex.org/W2727768280","https://openalex.org/W2388258497","https://openalex.org/W2107238869","https://openalex.org/W2090344631","https://openalex.org/W2064309607"],"abstract_inverted_index":{"Live":[0],"modeling":[1],"enables":[2,66],"modelers":[3],"to":[4,47,52,67,114,129],"incrementally":[5],"update":[6],"models":[7],"as":[8],"they":[9],"are":[10],"running":[11],"and":[12,33,94,136,141],"get":[13],"immediate":[14],"feedback":[15],"about":[16],"the":[17,31,39,49,55,79,84,123],"impact":[18],"of":[19],"their":[20],"changes.":[21],"Changes":[22],"introduced":[23],"in":[24,42],"a":[25,43,88,102,112,117],"model":[26,32,103,107,120],"may":[27],"trigger":[28],"inconsistencies":[29],"between":[30],"its":[34,139],"run-time":[35,50,71,98,119],"state":[36,41,51,72,99],"(e.g.,":[37],"deleting":[38],"current":[40],"statemachine);":[44],"effectively":[45],"requiring":[46],"migrate":[48,69],"comply":[53],"with":[54],"updated":[56],"model.":[57],"In":[58],"this":[59],"paper,":[60],"we":[61],"introduce":[62],"an":[63],"approach":[64,85],"that":[65,121],"automatically":[68,115],"such":[70],"based":[73],"on":[74,97,138],"declarative":[75],"constraints":[76,96],"defined":[77],"by":[78,111],"language":[80,90],"designer.":[81],"We":[82,126],"illustrate":[83],"using":[86],"Nextep,":[87],"meta-modeling":[89],"for":[91,133],"defining":[92],"invariants":[93],"migration":[95,131],"models.":[100],"When":[101],"changes,":[104],"Nextep":[105,128],"employs":[106],"finding":[108],"techniques,":[109],"backed":[110],"solver,":[113],"infer":[116],"new":[118],"satisfies":[122],"declared":[124],"constraints.":[125],"apply":[127],"define":[130],"strategies":[132],"two":[134],"DSLs,":[135],"report":[137],"expressiveness":[140],"performance.":[142]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2898221105","counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1}],"updated_date":"2024-12-27T16:20:53.569893","created_date":"2018-11-02"}