{"id":"https://openalex.org/W2799543732","doi":"https://doi.org/10.1109/access.2018.2825254","title":"DecompositionJ: Parallel and Deterministic Simulation of Concurrent Java Executions in Cyber-Physical Systems","display_name":"DecompositionJ: Parallel and Deterministic Simulation of Concurrent Java Executions in Cyber-Physical Systems","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2799543732","doi":"https://doi.org/10.1109/access.2018.2825254","mag":"2799543732"},"language":"en","primary_location":{"id":"doi:10.1109/access.2018.2825254","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2018.2825254","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1109/access.2018.2825254","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009841425","display_name":"Chong Shum","orcid":"https://orcid.org/0000-0001-9273-4025"},"institutions":[{"id":"https://openalex.org/I168719708","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23","country_code":"HK","type":"education","lineage":["https://openalex.org/I168719708"]}],"countries":["HK"],"is_corresponding":true,"raw_author_name":"Chong Shum","raw_affiliation_strings":["Center for Smart Energy Conversion and Utilization, City University of Hong Kong, Hong Kong"],"affiliations":[{"raw_affiliation_string":"Center for Smart Energy Conversion and Utilization, City University of Hong Kong, Hong Kong","institution_ids":["https://openalex.org/I168719708"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108233469","display_name":"Wing-Hong Lau","orcid":null},"institutions":[{"id":"https://openalex.org/I168719708","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23","country_code":"HK","type":"education","lineage":["https://openalex.org/I168719708"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Wing-Hong Lau","raw_affiliation_strings":["Center for Smart Energy Conversion and Utilization, City University of Hong Kong, Hong Kong"],"affiliations":[{"raw_affiliation_string":"Center for Smart Energy Conversion and Utilization, City University of Hong Kong, Hong Kong","institution_ids":["https://openalex.org/I168719708"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033706142","display_name":"Tian Mao","orcid":"https://orcid.org/0000-0001-9313-4427"},"institutions":[{"id":"https://openalex.org/I74872605","display_name":"China Southern Power Grid (China)","ror":"https://ror.org/03hkh9419","country_code":"CN","type":"company","lineage":["https://openalex.org/I74872605"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tian Mao","raw_affiliation_strings":["Electric Power Research Institute, China Southern Power Grid, Guangzhou, China"],"affiliations":[{"raw_affiliation_string":"Electric Power Research Institute, China Southern Power Grid, Guangzhou, China","institution_ids":["https://openalex.org/I74872605"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100679597","display_name":"Henry Shu-Hung Chung","orcid":"https://orcid.org/0000-0003-4890-8256"},"institutions":[{"id":"https://openalex.org/I168719708","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23","country_code":"HK","type":"education","lineage":["https://openalex.org/I168719708"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Henry Shu-Hung Chung","raw_affiliation_strings":["Center for Smart Energy Conversion and Utilization, City University of Hong Kong, Hong Kong"],"affiliations":[{"raw_affiliation_string":"Center for Smart Energy Conversion and Utilization, City University of Hong Kong, Hong Kong","institution_ids":["https://openalex.org/I168719708"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101865409","display_name":"Norman C. F. Tse","orcid":"https://orcid.org/0000-0002-5472-2389"},"institutions":[{"id":"https://openalex.org/I168719708","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23","country_code":"HK","type":"education","lineage":["https://openalex.org/I168719708"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Norman Chung-Fai Tse","raw_affiliation_strings":["Center for Smart Energy Conversion and Utilization, City University of Hong Kong, Hong Kong"],"affiliations":[{"raw_affiliation_string":"Center for Smart Energy Conversion and Utilization, City University of Hong Kong, Hong Kong","institution_ids":["https://openalex.org/I168719708"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037894365","display_name":"Kim Fung Tsang","orcid":"https://orcid.org/0000-0002-8332-227X"},"institutions":[{"id":"https://openalex.org/I168719708","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23","country_code":"HK","type":"education","lineage":["https://openalex.org/I168719708"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Kim-Fung Tsang","raw_affiliation_strings":["Center for Smart Energy Conversion and Utilization, City University of Hong Kong, Hong Kong"],"affiliations":[{"raw_affiliation_string":"Center for Smart Energy Conversion and Utilization, City University of Hong Kong, Hong Kong","institution_ids":["https://openalex.org/I168719708"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029853791","display_name":"Loi Lei Lai","orcid":"https://orcid.org/0000-0003-4786-7931"},"institutions":[{"id":"https://openalex.org/I139024713","display_name":"Guangdong University of Technology","ror":"https://ror.org/04azbjn80","country_code":"CN","type":"education","lineage":["https://openalex.org/I139024713"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Loi Lei Lai","raw_affiliation_strings":["Guangdong University of Technology, Guangzhou, Guangdong, CN"],"affiliations":[{"raw_affiliation_string":"Guangdong University of Technology, Guangzhou, Guangdong, CN","institution_ids":["https://openalex.org/I139024713"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5009841425"],"corresponding_institution_ids":["https://openalex.org/I168719708"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.5263,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.61104009,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"6","issue":null,"first_page":"21991","last_page":"22010"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9984999895095825,"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.8971319198608398},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.7721396088600159},{"id":"https://openalex.org/keywords/java-concurrency","display_name":"Java concurrency","score":0.6278467178344727},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.5772116780281067},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5525868535041809},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5145735144615173},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.4877799153327942},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.48335880041122437},{"id":"https://openalex.org/keywords/real-time-java","display_name":"Real time Java","score":0.4718216359615326},{"id":"https://openalex.org/keywords/strictfp","display_name":"strictfp","score":0.46636471152305603},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.45952922105789185},{"id":"https://openalex.org/keywords/virtual-machine","display_name":"Virtual machine","score":0.41905510425567627},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3533216416835785},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3159659504890442}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8971319198608398},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.7721396088600159},{"id":"https://openalex.org/C181907185","wikidata":"https://www.wikidata.org/wiki/Q1100098","display_name":"Java concurrency","level":4,"score":0.6278467178344727},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5772116780281067},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5525868535041809},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5145735144615173},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.4877799153327942},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.48335880041122437},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.4718216359615326},{"id":"https://openalex.org/C174954855","wikidata":"https://www.wikidata.org/wiki/Q7623626","display_name":"strictfp","level":4,"score":0.46636471152305603},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45952922105789185},{"id":"https://openalex.org/C25344961","wikidata":"https://www.wikidata.org/wiki/Q192726","display_name":"Virtual machine","level":2,"score":0.41905510425567627},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3533216416835785},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3159659504890442}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/access.2018.2825254","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2018.2825254","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:publications/7187c4f9-fe8f-44dc-ac26-3a58aef3713e","is_oa":true,"landing_page_url":"https://hdl.handle.net/2031/7187c4f9-fe8f-44dc-ac26-3a58aef3713e","pdf_url":"https://scholars.cityu.edu.hk/files/34725369/230.pdf","source":{"id":"https://openalex.org/S7407055387","display_name":"CityU Scholars","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"SHUM, C, LAU, W-H, MAO, T, CHUNG, H S-H, TSE, N C-F, TSANG, K-F & LAI, L L 2018, 'DecompositionJ : Parallel and Deterministic Simulation of Concurrent Java Executions in Cyber-Physical Systems', IEEE Access, vol. 6, pp. 21991-22010. https://doi.org/10.1109/ACCESS.2018.2825254","raw_type":"article"},{"id":"pmh:oai:doaj.org/article:2ef4011fb7474db5aa56e4ce4fe99948","is_oa":true,"landing_page_url":"https://doaj.org/article/2ef4011fb7474db5aa56e4ce4fe99948","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 6, Pp 21991-22010 (2018)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2018.2825254","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2018.2825254","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6234302894","display_name":null,"funder_award_id":"CityU-116013","funder_id":"https://openalex.org/F4320321592","funder_display_name":"Research Grants Council, University Grants Committee"}],"funders":[{"id":"https://openalex.org/F4320309893","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23"},{"id":"https://openalex.org/F4320321592","display_name":"Research Grants Council, University Grants Committee","ror":"https://ror.org/00djwmt25"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W64027241","https://openalex.org/W268795945","https://openalex.org/W1589643726","https://openalex.org/W1964857732","https://openalex.org/W2034062945","https://openalex.org/W2044206819","https://openalex.org/W2060821576","https://openalex.org/W2070821087","https://openalex.org/W2079381438","https://openalex.org/W2083836378","https://openalex.org/W2084646168","https://openalex.org/W2091085450","https://openalex.org/W2105599110","https://openalex.org/W2117476851","https://openalex.org/W2119541875","https://openalex.org/W2121696621","https://openalex.org/W2133970185","https://openalex.org/W2135233439","https://openalex.org/W2135491165","https://openalex.org/W2155461324","https://openalex.org/W2161522487","https://openalex.org/W2164264749","https://openalex.org/W2169605615","https://openalex.org/W2207823432","https://openalex.org/W2561672146","https://openalex.org/W3001351914","https://openalex.org/W4235462708","https://openalex.org/W6609887394","https://openalex.org/W6677140075","https://openalex.org/W6682769721","https://openalex.org/W6688472757"],"related_works":["https://openalex.org/W2170470279","https://openalex.org/W412736943","https://openalex.org/W3172992491","https://openalex.org/W2582080837","https://openalex.org/W2186199411","https://openalex.org/W4297798586","https://openalex.org/W2360912707","https://openalex.org/W1780290295","https://openalex.org/W2145676264","https://openalex.org/W1678486327"],"abstract_inverted_index":{"Simulation":[0],"and":[1,19,23,46,50,74,80,118,137],"performance":[2,149],"evaluation":[3],"of":[4,16,36,82,110,150,169],"concurrent":[5,98],"Java":[6,39,64,102,135,159],"program":[7,112,146],"execution":[8,108],"have":[9,164],"been":[10,154],"difficult":[11],"due":[12],"to":[13,76],"the":[14,33,63,78,89,93,106,134,144,151,157],"lack":[15],"proper":[17],"model":[18,60,68],"tools.":[20],"Previous":[21],"modeling":[22],"simulation":[24,35,44,59,95,100,109,179],"approaches":[25],"cannot":[26],"simultaneously":[27],"achieve":[28],"three":[29],"tasks:":[30],"(1)":[31],"support":[32],"direct":[34,107],"unmodified":[37],"multi-thread":[38],"programs;":[40],"(2)":[41],"guarantee":[42],"deterministic":[43],"results;":[45],"(3)":[47],"offer":[48],"low-overhead":[49],"scalable":[51],"simulation.":[52],"This":[53],"paper":[54],"first":[55],"presents":[56],"a":[57,83,119,166],"novel":[58],"based":[61,87],"on":[62,88,143],"memory":[65],"model.":[66],"The":[67,124,148],"axiomatically":[69],"defines":[70],"action":[71],"ordering,":[72],"relationships,":[73],"constraints":[75],"ensure":[77],"well-formedness":[79],"determinism":[81],"simulated":[84],"execution.":[85],"Then,":[86],"model,":[90],"we":[91],"implement":[92],"DecompositionJ":[94],"framework":[96,125,152],"(deterministic,":[97],"multi-processsing":[99],"for":[101],"programs)":[103],"which":[104,175],"enables":[105],"target":[111,145],"by":[113],"using":[114],"compiler-based":[115],"source-to-source":[116],"transformation":[117],"purposely":[120],"designed":[121],"runtime":[122],"library.":[123],"is":[126],"compatible":[127],"with":[128,133,156],"any":[129],"JVM":[130],"that":[131],"complies":[132],"specifications,":[136],"does":[138],"not":[139],"require":[140],"manual":[141],"modifications":[142],"code.":[147],"has":[153],"evaluated":[155],"Grande":[158],"concurrency":[160],"benchmark":[161],"suite,":[162],"results":[163],"shown":[165],"geometric":[167],"mean":[168],"98.9%":[170],"overhead":[171],"over":[172],"all":[173],"cases,":[174],"significantly":[176],"outperforms":[177],"full-system":[178],"techniques.":[180]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}