{"id":"https://openalex.org/W2117484396","doi":"https://doi.org/10.1145/1229375.1229382","title":"Verification of Aspect-UML models using alloy","display_name":"Verification of Aspect-UML models using alloy","publication_year":2007,"publication_date":"2007-03-12","ids":{"openalex":"https://openalex.org/W2117484396","doi":"https://doi.org/10.1145/1229375.1229382","mag":"2117484396"},"language":"en","primary_location":{"id":"doi:10.1145/1229375.1229382","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1229375.1229382","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 10th international workshop on Aspect-oriented modeling","raw_type":"proceedings-article"},"type":"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/A5052970780","display_name":"Farida Mostefaoui","orcid":null},"institutions":[{"id":"https://openalex.org/I70931966","display_name":"Universit\u00e9 de Montr\u00e9al","ror":"https://ror.org/0161xgx34","country_code":"CA","type":"education","lineage":["https://openalex.org/I70931966"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Farida Mostefaoui","raw_affiliation_strings":["University of Montreal, Quebec, Canada"],"affiliations":[{"raw_affiliation_string":"University of Montreal, Quebec, Canada","institution_ids":["https://openalex.org/I70931966"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076120598","display_name":"Julie Vachon","orcid":null},"institutions":[{"id":"https://openalex.org/I70931966","display_name":"Universit\u00e9 de Montr\u00e9al","ror":"https://ror.org/0161xgx34","country_code":"CA","type":"education","lineage":["https://openalex.org/I70931966"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Julie Vachon","raw_affiliation_strings":["University of Montreal, Quebec, Canada"],"affiliations":[{"raw_affiliation_string":"University of Montreal, Quebec, Canada","institution_ids":["https://openalex.org/I70931966"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5052970780"],"corresponding_institution_ids":["https://openalex.org/I70931966"],"apc_list":null,"apc_paid":null,"fwci":3.3854,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.92752762,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"41","last_page":"48"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998999834060669,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9937000274658203,"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/T10260","display_name":"Software Engineering Research","score":0.9933000206947327,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.688320517539978},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6685954332351685},{"id":"https://openalex.org/keywords/uml-tool","display_name":"UML tool","score":0.4718230664730072},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3916754126548767},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.383664071559906},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.09748944640159607}],"concepts":[{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.688320517539978},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6685954332351685},{"id":"https://openalex.org/C146939238","wikidata":"https://www.wikidata.org/wiki/Q2467310","display_name":"UML tool","level":4,"score":0.4718230664730072},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3916754126548767},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.383664071559906},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.09748944640159607}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1229375.1229382","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1229375.1229382","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 10th international workshop on Aspect-oriented modeling","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.101.5928","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.5928","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.aspect-modeling.org/aosd07/accepted_papers/a7-mostefaoui.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.5099999904632568,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W144117294","https://openalex.org/W1539188132","https://openalex.org/W1559071892","https://openalex.org/W1895387792","https://openalex.org/W2007949277","https://openalex.org/W2029414465","https://openalex.org/W2060440626","https://openalex.org/W2063162028","https://openalex.org/W2075867419","https://openalex.org/W2095355321","https://openalex.org/W2143238865","https://openalex.org/W2144973245","https://openalex.org/W2153324799","https://openalex.org/W2798338883","https://openalex.org/W4254691308"],"related_works":["https://openalex.org/W2368976463","https://openalex.org/W1775132212","https://openalex.org/W2381137142","https://openalex.org/W1510078815","https://openalex.org/W2391415470","https://openalex.org/W2377944081","https://openalex.org/W1547407117","https://openalex.org/W2043210732","https://openalex.org/W2083535558","https://openalex.org/W2113680476"],"abstract_inverted_index":{"Aspect-oriented":[0],"(A-O)":[1],"programming":[2],"has":[3],"emerged":[4],"as":[5,150,158],"a":[6,35,51,71,156,160],"promising":[7],"paradigm":[8],"to":[9,15,29,66,111,141],"improve":[10],"modularity":[11],"by":[12,38],"providing":[13],"mechanisms":[14],"capture":[16],"and":[17,119,180],"execute":[18],"crosscutting":[19,43],"concerns":[20,44,59],"in":[21,60,133],"software":[22],"applications.":[23],"Among":[24],"others,":[25],"A-O":[26,122,130,142],"allows":[27],"developers":[28],"incrementally":[30],"modifies":[31],"the":[32,55,68,104,116,153,176],"behavior":[33],"of":[34,58,70,106,121,155,159],"base":[36,76,93],"program,":[37],"introducing":[39],"aspects":[40],"which":[41],"implement":[42],"having":[45],"effects":[46],"at":[47],"various":[48],"points":[49],"throughout":[50],"program.":[52,77],"Hence,":[53],"despite":[54],"clean":[56],"separation":[57],"aspect-oriented":[61],"systems,":[62],"it":[63,86,91,101],"remains":[64],"difficult":[65],"predict":[67],"effect":[69],"given":[72],"aspect":[73,82,182],"on":[74],"this":[75,127,166],"Once":[78],"woven,":[79],"does":[80],"an":[81],"still":[83],"achieve":[84],"what":[85],"was":[87],"intended":[88],"for?":[89],"Does":[90,100],"violate":[92],"program":[94],"properties":[95,105],"that":[96],"should":[97],"be":[98,152,173,186],"preserved?":[99],"interfere":[102],"with":[103],"other":[107],"aspects?":[108],"We":[109],"propose":[110],"address":[112],"these":[113,146],"questions":[114],"through":[115],"formal":[117],"analysis":[118],"verification":[120],"system":[123],"model.":[124],"More":[125],"precisely,":[126],"work":[128],"considers":[129],"models":[131,147,171],"written":[132],"Aspect-UML":[134,170],"(our":[135],"UML":[136],"profile).":[137],"Having":[138],"no":[139],"regards":[140],"language":[143],"specific":[144],"features,":[145],"might":[148],"just":[149],"well":[151],"result":[154],"forward":[157],"backward":[161],"engineering":[162],"process.":[163],"In":[164],"particular,":[165],"article":[167],"explains":[168],"how":[169,181],"can":[172,184],"specified":[174],"within":[175],"Alloy":[177],"model":[178],"analyzer":[179],"interactions":[183],"therefore":[185],"verified.":[187]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}