{"id":"https://openalex.org/W2525279004","doi":"https://doi.org/10.1142/s0218194016500388","title":"Multi-Resource Modeling of Real-Time Software Based on Resource Timed Process Algebra","display_name":"Multi-Resource Modeling of Real-Time Software Based on Resource Timed Process Algebra","publication_year":2016,"publication_date":"2016-09-01","ids":{"openalex":"https://openalex.org/W2525279004","doi":"https://doi.org/10.1142/s0218194016500388","mag":"2525279004"},"language":"en","primary_location":{"id":"doi:10.1142/s0218194016500388","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194016500388","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/A5045036903","display_name":"Yi Zhu","orcid":"https://orcid.org/0000-0002-0996-0142"},"institutions":[{"id":"https://openalex.org/I118574674","display_name":"Jiangsu Normal University","ror":"https://ror.org/051hvcm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I118574674"]},{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yi Zhu","raw_affiliation_strings":["College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, 29 Yudao Street, Nanjing 210016, P. R. China","School of Computer Science and Technology, Jiangsu Normal University, 101 Shanghai Road, Tongshan New Zone, Xuzhou, Jiangsu 221116, P. R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, 29 Yudao Street, Nanjing 210016, P. R. China","institution_ids":["https://openalex.org/I9842412"]},{"raw_affiliation_string":"School of Computer Science and Technology, Jiangsu Normal University, 101 Shanghai Road, Tongshan New Zone, Xuzhou, Jiangsu 221116, P. R. China","institution_ids":["https://openalex.org/I118574674"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025184050","display_name":"Zhiqiu Huang","orcid":"https://orcid.org/0000-0001-6843-1892"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhiqiu Huang","raw_affiliation_strings":["College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, 29 Yudao Street, Nanjing 210016, P. R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, 29 Yudao Street, Nanjing 210016, P. R. China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062192039","display_name":"Guangquan Zhang","orcid":"https://orcid.org/0000-0003-3960-0583"},"institutions":[{"id":"https://openalex.org/I3923682","display_name":"Soochow University","ror":"https://ror.org/05t8y2r12","country_code":"CN","type":"education","lineage":["https://openalex.org/I3923682"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guangquan Zhang","raw_affiliation_strings":["School of Computer Science and Technology, Soochow University, 1 Shizi Street, Suzhou 215006, P. R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Soochow University, 1 Shizi Street, Suzhou 215006, P. R. China","institution_ids":["https://openalex.org/I3923682"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100649870","display_name":"Hang Zhou","orcid":"https://orcid.org/0000-0002-2325-683X"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hang Zhou","raw_affiliation_strings":["College of Civil Aviation, Nanjing University of Aeronautics and Astronautics, 29 Yudao Street, Nanjing 210016, P. R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Civil Aviation, Nanjing University of Aeronautics and Astronautics, 29 Yudao Street, Nanjing 210016, P. R. China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036856614","display_name":"Fangxiong Xiao","orcid":null},"institutions":[{"id":"https://openalex.org/I163732180","display_name":"Guangxi University of Finance and Economics","ror":"https://ror.org/02ayg6516","country_code":"CN","type":"education","lineage":["https://openalex.org/I163732180"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fangxiong Xiao","raw_affiliation_strings":["School of Information and Statistics, Guangxi University of Finance and Economics, 100 Mingxiu West Road, Nanning, Guangxi 530003, P. R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Information and Statistics, Guangxi University of Finance and Economics, 100 Mingxiu West Road, Nanning, Guangxi 530003, P. R. China","institution_ids":["https://openalex.org/I163732180"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"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.10523845,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"26","issue":"07","first_page":"1099","last_page":"1116"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9894999861717224,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9894999861717224,"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/T13062","display_name":"Cognitive Computing and Networks","score":0.9811000227928162,"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/T10876","display_name":"Fault Detection and Control Systems","score":0.9746000170707703,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.7523757219314575},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.594632625579834},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.5870879888534546},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5457742214202881},{"id":"https://openalex.org/keywords/resource-consumption","display_name":"Resource consumption","score":0.44812673330307007},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4435604214668274},{"id":"https://openalex.org/keywords/embedded-software","display_name":"Embedded software","score":0.41729187965393066},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.37397852540016174},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2886149287223816},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13269245624542236}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7523757219314575},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.594632625579834},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.5870879888534546},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5457742214202881},{"id":"https://openalex.org/C2777480716","wikidata":"https://www.wikidata.org/wiki/Q23582796","display_name":"Resource consumption","level":2,"score":0.44812673330307007},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4435604214668274},{"id":"https://openalex.org/C154488198","wikidata":"https://www.wikidata.org/wiki/Q1335007","display_name":"Embedded software","level":3,"score":0.41729187965393066},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.37397852540016174},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2886149287223816},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13269245624542236},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0218194016500388","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194016500388","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":[{"id":"https://metadata.un.org/sdg/8","score":0.5099999904632568,"display_name":"Decent work and economic growth"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1460032890","https://openalex.org/W1573865009","https://openalex.org/W1591800429","https://openalex.org/W1602114053","https://openalex.org/W1844906421","https://openalex.org/W1987734880","https://openalex.org/W2010698657","https://openalex.org/W2016762881","https://openalex.org/W2037230951","https://openalex.org/W2107754272","https://openalex.org/W2125117729","https://openalex.org/W2128993671","https://openalex.org/W3144368627","https://openalex.org/W4211008702"],"related_works":["https://openalex.org/W2341613074","https://openalex.org/W2365200093","https://openalex.org/W4205700219","https://openalex.org/W805617865","https://openalex.org/W1547524815","https://openalex.org/W2786418612","https://openalex.org/W2488774889","https://openalex.org/W3110566556","https://openalex.org/W2390696548","https://openalex.org/W2357547128"],"abstract_inverted_index":{"With":[0],"the":[1,31,41,76,83,97,106,113,126,134,146],"process":[2,46,65],"of":[3,14,34,70,79,86,109,119,130,149],"non-functional":[4],"properties":[5,33],"research":[6],"on":[7,61],"real-time":[8,15,35,71,87,120,150],"systems,":[9,36],"multi-resource":[10,42,59,68,84,107,131,147],"estimation":[11],"and":[12,81,92,111,116,128,133,144],"analysis":[13],"systems":[16,88],"become":[17],"a":[18,23],"hotspot.":[19],"Process":[20],"algebra":[21,47],"is":[22,27,73],"formal":[24,123],"method":[25,124],"that":[26],"fit":[28],"for":[29],"analyzing":[30],"functional":[32],"but":[37],"it":[38,55],"cannot":[39],"analyze":[40,143],"properties.":[43],"Resource":[44],"timed":[45,62],"(RTPA)":[48],"proposed":[49,103],"in":[50],"this":[51],"paper":[52],"can":[53,89,137],"handle":[54],"efficiently":[56],"by":[57,94],"extending":[58],"semantics":[60],"communicating":[63],"sequential":[64],"(TCSP).":[66],"The":[67],"consumption":[69,85,148],"instruction":[72],"mapped":[74],"into":[75],"resource":[77,98,115,118],"vector":[78],"RTPA,":[80],"then":[82],"be":[90,138],"modeled":[91],"optimized":[93],"using":[95],"RTPA;":[96],"optimal":[99],"checking":[100],"algorithms":[101],"are":[102],"to":[104,141],"check":[105],"satisfiability":[108],"instructions":[110],"calculate":[112],"minimum":[114],"accumulated":[117],"systems.":[121,151],"This":[122],"improves":[125],"accuracy":[127],"efficiency":[129],"calculation,":[132],"calculation":[135],"results":[136],"further":[139],"used":[140],"quantitatively":[142],"optimize":[145]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}