{"id":"https://openalex.org/W2035069750","doi":"https://doi.org/10.1145/2523599.2523610","title":"Invariant preservation in iterative modeling","display_name":"Invariant preservation in iterative modeling","publication_year":2012,"publication_date":"2012-10-01","ids":{"openalex":"https://openalex.org/W2035069750","doi":"https://doi.org/10.1145/2523599.2523610","mag":"2035069750"},"language":"en","primary_location":{"id":"doi:10.1145/2523599.2523610","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2523599.2523610","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 6th International Workshop on Models and Evolution","raw_type":"proceedings-article"},"type":"conference-paper","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/A5113794124","display_name":"Lucio Levi","orcid":null},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Levi L\u00facio","raw_affiliation_strings":["McGill University, Montreal QC, Canada","McGill University, Montreal, QC, Canada.;"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"McGill University, Montreal QC, Canada","institution_ids":["https://openalex.org/I5023651"]},{"raw_affiliation_string":"McGill University, Montreal, QC, Canada.;","institution_ids":["https://openalex.org/I5023651"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049129140","display_name":"Eugene Syriani","orcid":"https://orcid.org/0000-0001-6527-1651"},"institutions":[{"id":"https://openalex.org/I17301866","display_name":"University of Alabama","ror":"https://ror.org/03xrrjk67","country_code":"US","type":"education","lineage":["https://openalex.org/I17301866"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Eugene Syriani","raw_affiliation_strings":["University of Alabama, Tuscaloosa, AL"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Alabama, Tuscaloosa, AL","institution_ids":["https://openalex.org/I17301866"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103239660","display_name":"Moussa Amrani","orcid":"https://orcid.org/0000-0002-6987-1037"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Moussa Amrani","raw_affiliation_strings":["University of Luxembourg, Luxembourg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100418224","display_name":"Qin Zhang","orcid":"https://orcid.org/0000-0002-6851-3115"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Qin Zhang","raw_affiliation_strings":["University of Luxembourg, Luxembourg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007007501","display_name":"Hans Vangheluwe","orcid":"https://orcid.org/0000-0003-2079-6643"},"institutions":[{"id":"https://openalex.org/I149213910","display_name":"University of Antwerp","ror":"https://ror.org/008x57b05","country_code":"BE","type":"education","lineage":["https://openalex.org/I149213910"]},{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["BE","CA"],"is_corresponding":false,"raw_author_name":"Hans Vangheluwe","raw_affiliation_strings":["McGill University, Canada and Antwerp University, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"McGill University, Canada and Antwerp University, Belgium","institution_ids":["https://openalex.org/I149213910","https://openalex.org/I5023651"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"57","last_page":"62"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9995999932289124,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9995999932289124,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9995999932289124,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9994999766349792,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.8624647855758667},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.6672741174697876},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.651065468788147},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.5469985604286194},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5167426466941833},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.4904341399669647},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3657948970794678},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.20730042457580566}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8624647855758667},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.6672741174697876},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.651065468788147},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.5469985604286194},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5167426466941833},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.4904341399669647},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3657948970794678},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.20730042457580566},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2523599.2523610","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2523599.2523610","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 6th International Workshop on Models and Evolution","raw_type":"proceedings-article"},{"id":"pmh:oai:orbilu.uni.lu:10993/14729","is_oa":false,"landing_page_url":"https://orbilu.uni.lu/handle/10993/14729","pdf_url":null,"source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Workshop on Models And Evolution, co-located with MoDELS 2012, 1-6. (2012).","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W130666907","https://openalex.org/W1492647207","https://openalex.org/W1502491819","https://openalex.org/W1527747853","https://openalex.org/W1566035118","https://openalex.org/W1577672332","https://openalex.org/W1584823812","https://openalex.org/W1788026644","https://openalex.org/W1978613757","https://openalex.org/W2000106464","https://openalex.org/W2054887793","https://openalex.org/W2085757751","https://openalex.org/W2100386043","https://openalex.org/W2131399871","https://openalex.org/W2147281200","https://openalex.org/W2162022335","https://openalex.org/W2290231101","https://openalex.org/W2294921960","https://openalex.org/W2307448499","https://openalex.org/W2342004777","https://openalex.org/W4253821709"],"related_works":["https://openalex.org/W1543378523","https://openalex.org/W2916743419","https://openalex.org/W2381491984","https://openalex.org/W2257573499","https://openalex.org/W1980200158","https://openalex.org/W2091203523","https://openalex.org/W1513546254","https://openalex.org/W2148229336","https://openalex.org/W2125164140","https://openalex.org/W2342925000"],"abstract_inverted_index":{"In":[0,36],"a":[1,13,27,58],"Model-Driven":[2],"Development":[3],"project,":[4],"models":[5,46],"are":[6,78],"typically":[7],"built":[8],"iteratively":[9],"to":[10,21,57,80],"better":[11],"satisfy":[12],"set":[14],"of":[15,26,44],"requirements.":[16],"Therefore":[17],"it":[18],"is":[19,55],"crucial":[20],"guarantee":[22],"that":[23,77],"one":[24],"iteration":[25],"model":[28],"evolution":[29],"does":[30],"not":[31],"hinder":[32],"the":[33],"previous":[34],"version.":[35],"this":[37,69],"paper,":[38],"we":[39],"focus":[40],"on":[41,74],"invariant":[42],"preservation":[43],"behavioral":[45],"expressed":[47],"in":[48],"Algebraic":[49,81],"Petri":[50,82],"Nets.":[51,83],"The":[52],"theory":[53],"developed":[54],"applied":[56,73],"Multi-Level":[59],"Security":[60],"File":[61],"System":[62],"modeled":[63],"iteratively.":[64],"We":[65],"also":[66],"discuss":[67],"how":[68],"approach":[70],"can":[71],"be":[72],"Domain-Specific":[75],"Languages":[76],"translated":[79]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-19T07:52:34.831488","created_date":"2025-10-10T00:00:00"}