{"id":"https://openalex.org/W2115545056","doi":"https://doi.org/10.1109/tse.2003.1191797","title":"Measuring the maintainability of a communication protocol based on its formal specification","display_name":"Measuring the maintainability of a communication protocol based on its formal specification","publication_year":2003,"publication_date":"2003-04-01","ids":{"openalex":"https://openalex.org/W2115545056","doi":"https://doi.org/10.1109/tse.2003.1191797","mag":"2115545056"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2003.1191797","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2003.1191797","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software 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/A5019269083","display_name":"Sun-Jen Huang","orcid":"https://orcid.org/0000-0002-1492-0364"},"institutions":[{"id":"https://openalex.org/I154864474","display_name":"National Taiwan University of Science and Technology","ror":"https://ror.org/00q09pe49","country_code":"TW","type":"education","lineage":["https://openalex.org/I154864474"]}],"countries":["TW"],"is_corresponding":true,"raw_author_name":"Sun-Jen Huang","raw_affiliation_strings":["Department of Information Management, National Taiwan University of Science and Technology, Taipei, Taiwan"],"affiliations":[{"raw_affiliation_string":"Department of Information Management, National Taiwan University of Science and Technology, Taipei, Taiwan","institution_ids":["https://openalex.org/I154864474"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044292096","display_name":"K. Robert Lai","orcid":"https://orcid.org/0000-0002-3365-3927"},"institutions":[{"id":"https://openalex.org/I196829312","display_name":"La Trobe University","ror":"https://ror.org/01rxfrp27","country_code":"AU","type":"education","lineage":["https://openalex.org/I196829312"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"R. Lai","raw_affiliation_strings":["Department of Computer Science and Computer Engineering, La Trobe University, VIC, Australia"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Computer Engineering, La Trobe University, VIC, Australia","institution_ids":["https://openalex.org/I196829312"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5019269083"],"corresponding_institution_ids":["https://openalex.org/I154864474"],"apc_list":null,"apc_paid":null,"fwci":3.0711,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.93229762,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"29","issue":"4","first_page":"327","last_page":"344"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":1.0,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9998999834060669,"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/T10430","display_name":"Software Engineering Techniques and Practices","score":0.9988999962806702,"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/maintainability","display_name":"Maintainability","score":0.9422396421432495},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.78437340259552},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.636709451675415},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5827561020851135},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5443488955497742},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.4875125586986542},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.48526236414909363},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4523244798183441},{"id":"https://openalex.org/keywords/software-requirements-specification","display_name":"Software requirements specification","score":0.43188321590423584},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.41363605856895447},{"id":"https://openalex.org/keywords/communications-protocol","display_name":"Communications protocol","score":0.41234642267227173},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.34423935413360596},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2978695034980774},{"id":"https://openalex.org/keywords/software-design","display_name":"Software design","score":0.2129141390323639},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.15537986159324646},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10251858830451965}],"concepts":[{"id":"https://openalex.org/C160713754","wikidata":"https://www.wikidata.org/wiki/Q1389965","display_name":"Maintainability","level":2,"score":0.9422396421432495},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.78437340259552},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.636709451675415},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5827561020851135},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5443488955497742},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.4875125586986542},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.48526236414909363},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4523244798183441},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.43188321590423584},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.41363605856895447},{"id":"https://openalex.org/C12269588","wikidata":"https://www.wikidata.org/wiki/Q132364","display_name":"Communications protocol","level":2,"score":0.41234642267227173},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.34423935413360596},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2978695034980774},{"id":"https://openalex.org/C52913732","wikidata":"https://www.wikidata.org/wiki/Q857102","display_name":"Software design","level":4,"score":0.2129141390323639},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.15537986159324646},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10251858830451965},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.2003.1191797","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2003.1191797","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.550000011920929,"display_name":"Responsible consumption and production","id":"https://metadata.un.org/sdg/12"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320320577","display_name":"La Trobe University","ror":"https://ror.org/01rxfrp27"},{"id":"https://openalex.org/F4320320965","display_name":"University of New South Wales","ror":"https://ror.org/03r8z3t63"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W1895087","https://openalex.org/W1485712391","https://openalex.org/W1575961892","https://openalex.org/W1577034617","https://openalex.org/W1600554309","https://openalex.org/W1840884391","https://openalex.org/W1964962870","https://openalex.org/W1965624076","https://openalex.org/W1971054119","https://openalex.org/W1976489525","https://openalex.org/W2011406983","https://openalex.org/W2014892186","https://openalex.org/W2017383289","https://openalex.org/W2025043404","https://openalex.org/W2028334964","https://openalex.org/W2040293028","https://openalex.org/W2044802063","https://openalex.org/W2054409309","https://openalex.org/W2068717962","https://openalex.org/W2074996100","https://openalex.org/W2079056712","https://openalex.org/W2095371737","https://openalex.org/W2115826798","https://openalex.org/W2130060711","https://openalex.org/W2147777350","https://openalex.org/W2151205503","https://openalex.org/W2152068027","https://openalex.org/W2158864412","https://openalex.org/W2159118518","https://openalex.org/W2913040896","https://openalex.org/W4206344531","https://openalex.org/W4238266904","https://openalex.org/W4252020494","https://openalex.org/W4255865981","https://openalex.org/W6635893019"],"related_works":["https://openalex.org/W3048422056","https://openalex.org/W2294190091","https://openalex.org/W2158159493","https://openalex.org/W2378785653","https://openalex.org/W2225205441","https://openalex.org/W2086075944","https://openalex.org/W2073649501","https://openalex.org/W2313419847","https://openalex.org/W2204176978","https://openalex.org/W1571393348"],"abstract_inverted_index":{"It":[0],"is":[1,101,151,175],"difficult":[2],"to":[3,56,162],"measure":[4],"the":[5,13,33,41,46,61,91,108,125,146,164,167,180,185,202,210],"maintainability":[6,68,109,126,132,148,168,203],"of":[7,35,95,110,127,166,200,204],"a":[8,23,54,75,111,121,128,176,197,205],"software":[9,86,96],"system":[10,55,112],"early":[11,59,113,208],"in":[12,22,40,60,114,140,209],"development":[14],"life":[15],"cycle":[16],"from":[17,73,135],"its":[18,67,115,136],"requirement":[19],"descriptions":[20],"written":[21,139],"natural":[24],"language":[25],"because":[26],"informal":[27],"specifications":[28],"cannot":[29],"be":[30,57,71],"analyzed.":[31],"With":[32],"uses":[34],"formal":[36,76,137],"description":[37],"techniques":[38],"(FDTs)":[39],"communication":[42,85,129,206],"protocol":[43,207],"area":[44],"since":[45],"mid-1980s,":[47],"avenues":[48],"have":[49,154],"been":[50],"opened":[51],"up":[52],"for":[53,123,144],"analyzed":[58],"specification":[62,116,138,181,211],"phase.":[63,117,212],"Quantitative":[64],"measures":[65],"on":[66,106],"can":[69,81],"then":[70],"extracted":[72],"such":[74],"specification,":[77],"so":[78],"that":[79,173,192],"we":[80],"develop":[82],"easily":[83],"maintainable":[84],"systems":[87],"and":[88,184],"further":[89],"reduce":[90],"increasingly":[92],"high":[93],"cost":[94],"maintenance.":[97],"To":[98],"date,":[99],"there":[100,174],"hardly":[102],"any":[103],"work":[104],"done":[105],"measuring":[107,124,201],"This":[118],"paper":[119],"presents":[120],"method":[122],"by":[130],"using":[131],"metrics":[133,149,182,195],"derived":[134],"Estelle.":[141],"The":[142],"methodology":[143],"building":[145],"Estelle":[147],"hierarchy":[150],"presented.":[152],"We":[153,170],"also":[155,171],"developed":[156],"an":[157],"automated":[158],"tool,":[159],"called":[160],"PSAMS,":[161],"automate":[163],"calculation":[165],"indices.":[169],"found":[172],"significant":[177],"correlation":[178],"between":[179],"proposed":[183,194],"widely":[186],"adopted":[187],"implementation":[188],"metrics,":[189],"thus":[190],"demonstrating":[191],"our":[193],"are":[196],"reliable":[198],"means":[199]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}