{"id":"https://openalex.org/W1965072772","doi":"https://doi.org/10.1142/s0218194011005281","title":"VERIFYING JAVA OBJECT INVARIANTS AT RUNTIME","display_name":"VERIFYING JAVA OBJECT INVARIANTS AT RUNTIME","publication_year":2011,"publication_date":"2011-06-01","ids":{"openalex":"https://openalex.org/W1965072772","doi":"https://doi.org/10.1142/s0218194011005281","mag":"1965072772"},"language":"en","primary_location":{"id":"doi:10.1142/s0218194011005281","doi":"https://doi.org/10.1142/s0218194011005281","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194011005281","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,"listed_in":["anvur-scientific","ccf-c","cwts-core","dongbi-c","jufo-1","norway-1","poland-70","russia-white-list-2"],"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"},"volume":null,"type":"article","is_traditional":true,"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/A5011481562","display_name":"Thu-Trang Nguyen","orcid":"https://orcid.org/0000-0002-3596-2352","observed_orcids":["https://orcid.org/0000-0002-3596-2352"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"THU-TRANG NGUYEN","raw_affiliation_strings":["Hanoi University of Technology, 1, Dai Co Viet, Hai Ba Trung, Hanoi, Vietnam"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hanoi University of Technology, 1, Dai Co Viet, Hai Ba Trung, Hanoi, Vietnam","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071986836","display_name":"Ninh-Thuan Truong","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I177233841","display_name":"Vietnam National University, Hanoi","ror":"https://ror.org/02jmfj006","country_code":"VN","type":"education","lineage":["https://openalex.org/I177233841"]},{"id":"https://openalex.org/I4405277059","display_name":"VNU University of Engineering and Technology","ror":"https://ror.org/019sx5d52","country_code":"VN","type":"education","lineage":["https://openalex.org/I177233841","https://openalex.org/I4405277059"]}],"countries":["VN"],"is_corresponding":false,"raw_author_name":"NINH-THUAN TRUONG","raw_affiliation_strings":["College of Technology, Vietnam National University, 144, Xuan Thuy, Cau Giay, Hanoi, Vietnam"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Technology, Vietnam National University, 144, Xuan Thuy, Cau Giay, Hanoi, Vietnam","institution_ids":["https://openalex.org/I177233841","https://openalex.org/I4405277059"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100825834","display_name":"VIET-HA NGUYEN","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I177233841","display_name":"Vietnam National University, Hanoi","ror":"https://ror.org/02jmfj006","country_code":"VN","type":"education","lineage":["https://openalex.org/I177233841"]},{"id":"https://openalex.org/I4405277059","display_name":"VNU University of Engineering and Technology","ror":"https://ror.org/019sx5d52","country_code":"VN","type":"education","lineage":["https://openalex.org/I177233841","https://openalex.org/I4405277059"]}],"countries":["VN"],"is_corresponding":false,"raw_author_name":"VIET-HA NGUYEN","raw_affiliation_strings":["College of Technology, Vietnam National University, 144, Xuan Thuy, Cau Giay, Hanoi, Vietnam"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Technology, Vietnam National University, 144, Xuan Thuy, Cau Giay, Hanoi, Vietnam","institution_ids":["https://openalex.org/I177233841","https://openalex.org/I4405277059"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"21","issue":"04","first_page":"605","last_page":"619"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.46950000524520874,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.46950000524520874,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.27390000224113464,"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/T10126","display_name":"Logic, programming, and type systems","score":0.12250000238418579,"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/object-invariants","display_name":"object invariants","score":0.9610000252723694},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"runtime verification","score":0.9279999732971191},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.7670000195503235},{"id":"https://openalex.org/keywords/aspect-oriented-programming","display_name":"aspect-oriented programming","score":0.996999979019165},{"id":"https://openalex.org/keywords/ocl-constraints","display_name":"OCL constraints","score":0.8930000066757202},{"id":"https://openalex.org/keywords/uml-models","display_name":"UML models","score":0.8569999933242798},{"id":"https://openalex.org/keywords/crosscutting-concerns","display_name":"crosscutting concerns","score":0.8830000162124634},{"id":"https://openalex.org/keywords/weaving","display_name":"weaving","score":0.39800000190734863},{"id":"https://openalex.org/keywords/software-verification","display_name":"software verification","score":0.41100001335144043}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8186129331588745},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7680463194847107},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.5755521059036255},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.5286422371864319},{"id":"https://openalex.org/C60051680","wikidata":"https://www.wikidata.org/wiki/Q30267","display_name":"Aspect-oriented programming","level":3,"score":0.5062640905380249},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.43794065713882446},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.43599557876586914},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3976615369319916},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.2202487587928772}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0218194011005281","doi":"https://doi.org/10.1142/s0218194011005281","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194011005281","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,"listed_in":["anvur-scientific","ccf-c","cwts-core","dongbi-c","jufo-1","norway-1","poland-70","russia-white-list-2"],"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":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320309617","display_name":"National Foundation for Science and Technology Development","ror":"https://ror.org/04rw64z44"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W1482647442","https://openalex.org/W1518695183","https://openalex.org/W1532079015","https://openalex.org/W1532926224","https://openalex.org/W1536956420","https://openalex.org/W1540492331","https://openalex.org/W1544633123"],"related_works":["https://openalex.org/W29585317","https://openalex.org/W166092202","https://openalex.org/W1558367238","https://openalex.org/W172108143","https://openalex.org/W7096342430","https://openalex.org/W2369595345","https://openalex.org/W2790502308","https://openalex.org/W7096456019","https://openalex.org/W2155942461","https://openalex.org/W1968932663"],"abstract_inverted_index":{"An":[0],"object":[1,29,109],"invariant":[2],"consisting":[3],"of":[4,7,15,49,120,135,153],"a":[5,16,35,44,58],"set":[6],"properties":[8],"that":[9,57],"must":[10],"hold":[11],"for":[12,46],"all":[13],"instances":[14],"class":[17],"at":[18,31,52,113],"any":[19],"time":[20],"is":[21,33,61,76],"usually":[22],"used":[23],"in":[24,38,71,118],"object-oriented":[25],"design.":[26,84],"However,":[27],"verifying":[28,47,154],"invariants":[30,48,110],"runtime":[32,53],"always":[34],"challenging":[36],"task":[37,132],"software":[39,59,75],"verification.":[40],"This":[41],"paper":[42],"proposes":[43],"method":[45],"Java":[50,104],"objects":[51],"using":[54,63,81],"AOP.":[55],"Suppose":[56],"application":[60],"designed":[62],"UML":[64,83],"models":[65],"and":[66,123],"its":[67],"constraints":[68],"are":[69,92,111,138],"specified":[70],"OCL":[72,96],"expressions,":[73],"the":[74,82,130,150,157],"then":[77],"implemented,":[78],"by":[79],"default,":[80],"They":[85],"propose":[86],"to":[87,106],"construct":[88],"verifiable":[89],"aspects":[90,99,127,155],"which":[91],"automatically":[93],"generated":[94,126],"from":[95,116,156],"constraints.":[97,159],"These":[98],"can":[100,128],"be":[101],"woven":[102],"into":[103],"code":[105],"check":[107],"whether":[108],"violated":[112],"runtime.":[114],"Benefiting":[115],"AOP":[117],"separation":[119],"crosscutting":[121],"concerns":[122],"weaving":[124],"mechanisms,":[125],"do":[129],"verification":[131],"whenever":[133],"values":[134],"objects'":[136],"attributes":[137],"changed.":[139],"A":[140],"Verification":[141],"Aspect":[142],"Generator":[143],"(VAG)":[144],"tool":[145],"has":[146],"been":[147],"developed":[148],"allowing":[149],"automatic":[151],"generation":[152],"UML/OCL":[158]},"counts_by_year":[],"updated_date":"2026-09-22T17:25:34.749102","created_date":"2016-06-24T00:00:00"}