{"id":"https://openalex.org/W1970851575","doi":"https://doi.org/10.1142/s0218194013400123","title":"VERIFYING ASPECT-ORIENTED MODELS AGAINST CROSSCUTTING PROPERTIES","display_name":"VERIFYING ASPECT-ORIENTED MODELS AGAINST CROSSCUTTING PROPERTIES","publication_year":2013,"publication_date":"2013-06-01","ids":{"openalex":"https://openalex.org/W1970851575","doi":"https://doi.org/10.1142/s0218194013400123","mag":"1970851575"},"language":"en","primary_location":{"id":"doi:10.1142/s0218194013400123","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194013400123","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","raw_type":"journal-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/A5071655887","display_name":"Zhanqi Cui","orcid":"https://orcid.org/0000-0002-5537-9236"},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]},{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"ZHANQI CUI","raw_affiliation_strings":["Key Laboratory of Optical Fiber Sensing and Communications, Ministry of Education, School of Communication and Information Engineering, University of Electronic Science and Technology of China, Chengdu, 611731, China","State Key Laboratory of Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Nanjing, 210046, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory of Optical Fiber Sensing and Communications, Ministry of Education, School of Communication and Information Engineering, University of Electronic Science and Technology of China, Chengdu, 611731, China","institution_ids":["https://openalex.org/I150229711"]},{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Nanjing, 210046, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090305216","display_name":"Linzhang Wang","orcid":"https://orcid.org/0000-0003-4794-1652"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"LINZHANG WANG","raw_affiliation_strings":["State Key Laboratory of Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Nanjing, 210046, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Nanjing, 210046, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100450781","display_name":"Xi Liu","orcid":"https://orcid.org/0000-0001-9118-9301"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"XI LIU","raw_affiliation_strings":["State Key Laboratory of Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Nanjing, 210046, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Nanjing, 210046, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029676029","display_name":"Lei Bu","orcid":"https://orcid.org/0000-0003-0517-7801"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"LEI BU","raw_affiliation_strings":["State Key Laboratory of Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Nanjing, 210046, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Nanjing, 210046, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103295231","display_name":"Jianhua Zhao","orcid":"https://orcid.org/0009-0004-3869-5108"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"JIANHUA ZHAO","raw_affiliation_strings":["State Key Laboratory of Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Nanjing, 210046, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Nanjing, 210046, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090810072","display_name":"Xuandong Li","orcid":"https://orcid.org/0000-0003-3090-9568"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"XUANDONG LI","raw_affiliation_strings":["State Key Laboratory of Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Nanjing, 210046, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Nanjing, 210046, China","institution_ids":["https://openalex.org/I881766915"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4868,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.74829911,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"23","issue":"05","first_page":"655","last_page":"676"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998000264167786,"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.9998000264167786,"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.9994000196456909,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9973999857902527,"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/computer-science","display_name":"Computer science","score":0.7077754735946655},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6582977771759033},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.654739260673523},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.6281535029411316},{"id":"https://openalex.org/keywords/aspect-oriented-programming","display_name":"Aspect-oriented programming","score":0.5427402257919312},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5083455443382263},{"id":"https://openalex.org/keywords/activity-diagram","display_name":"Activity diagram","score":0.49651461839675903},{"id":"https://openalex.org/keywords/uml-tool","display_name":"UML tool","score":0.48170238733291626},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.47221165895462036},{"id":"https://openalex.org/keywords/applications-of-uml","display_name":"Applications of UML","score":0.4644145369529724},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.39298728108406067},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.31856340169906616},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1397377848625183}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7077754735946655},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6582977771759033},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.654739260673523},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.6281535029411316},{"id":"https://openalex.org/C60051680","wikidata":"https://www.wikidata.org/wiki/Q30267","display_name":"Aspect-oriented programming","level":3,"score":0.5427402257919312},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5083455443382263},{"id":"https://openalex.org/C64219723","wikidata":"https://www.wikidata.org/wiki/Q423262","display_name":"Activity diagram","level":4,"score":0.49651461839675903},{"id":"https://openalex.org/C146939238","wikidata":"https://www.wikidata.org/wiki/Q2467310","display_name":"UML tool","level":4,"score":0.48170238733291626},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.47221165895462036},{"id":"https://openalex.org/C41298492","wikidata":"https://www.wikidata.org/wiki/Q4781506","display_name":"Applications of UML","level":4,"score":0.4644145369529724},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.39298728108406067},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.31856340169906616},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1397377848625183}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0218194013400123","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194013400123","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W118689832","https://openalex.org/W1509607930","https://openalex.org/W1555934676","https://openalex.org/W1558435340","https://openalex.org/W1590315663","https://openalex.org/W1610570299","https://openalex.org/W1972746808","https://openalex.org/W1978966756","https://openalex.org/W1996109622","https://openalex.org/W2000737219","https://openalex.org/W2018704560","https://openalex.org/W2029414465","https://openalex.org/W2090376610","https://openalex.org/W2129083927","https://openalex.org/W2143238865","https://openalex.org/W2163990803","https://openalex.org/W2401042747","https://openalex.org/W2491312619","https://openalex.org/W6600103761","https://openalex.org/W6609380268"],"related_works":["https://openalex.org/W2387087283","https://openalex.org/W2359043774","https://openalex.org/W2103939680","https://openalex.org/W2489425329","https://openalex.org/W2101953902","https://openalex.org/W2374395319","https://openalex.org/W1951066104","https://openalex.org/W1553991707","https://openalex.org/W2020544977","https://openalex.org/W2118995851"],"abstract_inverted_index":{"Dealing":[0],"with":[1,29,38,50],"crosscutting":[2,16,46,154],"concerns":[3,17,35,47,155],"has":[4],"been":[5],"a":[6,120,192],"critical":[7],"problem":[8],"in":[9,156,163],"software":[10,86],"development":[11],"processes.":[12,97],"To":[13],"facilitate":[14],"handling":[15],"at":[18],"design":[19,75,114,184],"phases,":[20],"we":[21,137,190],"proposed":[22,211],"an":[23],"aspect-oriented":[24,124,183],"modeling":[25,94],"and":[26,112,146],"integration":[27,96],"approach":[28,69],"UML":[30,39,125],"activity":[31,40,53,126,141],"diagrams.":[32],"The":[33,67,98],"primary":[34,43,64],"are":[36,48,159,173,203],"depicted":[37],"diagrams":[41,54,127,142],"as":[42,55],"models,":[44],"whereas":[45],"described":[49],"aspectual":[51],"extended":[52],"aspect":[56],"models.":[57,76],"Aspect":[58],"models":[59,65,111,185],"can":[60,70],"be":[61,90],"integrated":[62,140],"into":[63,143],"automatically.":[66],"AOM":[68],"reduce":[71],"the":[72,85,93,108,139,148,151,164,170,176,182,187,198,207,210],"complexity":[73],"of":[74,84,110,150,166,209],"However,":[77],"potential":[78],"faults":[79],"that":[80],"violate":[81],"desired":[82],"properties":[83,162,178],"system":[87,157],"might":[88],"still":[89],"introduced":[91],"during":[92],"or":[95],"verification":[99,132,135,199],"technique":[100],"is":[101],"well-known":[102],"for":[103],"its":[104],"ability":[105],"to":[106,122,161,179,196,205],"assure":[107],"correctness":[109],"uncover":[113],"problems":[115],"before":[116],"implementation.":[117],"We":[118],"propose":[119],"framework":[121],"verify":[123],"based":[128],"on":[129],"Petri":[130,144,171],"net":[131],"techniques.":[133],"For":[134],"purpose,":[136],"transform":[138],"nets":[145,172],"prove":[147],"consistency":[149],"transformation.":[152],"Then,":[153],"requirements":[158],"refined":[160],"form":[165],"CTL":[167],"formulas.":[168],"Finally,":[169],"verified":[174],"against":[175],"formalized":[177],"report":[180],"whether":[181],"satisfies":[186],"requirements.":[188],"Furthermore,":[189],"implement":[191],"tool":[193],"named":[194],"Jasmine-AOV":[195],"support":[197],"process.":[200],"Case":[201],"studies":[202],"conducted":[204],"evaluate":[206],"effectiveness":[208],"approach.":[212]},"counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}