{"id":"https://openalex.org/W2156226967","doi":"https://doi.org/10.1002/j.1538-7305.1990.tb00102.x","title":"Software for Analytical Development of Communications Protocols","display_name":"Software for Analytical Development of Communications Protocols","publication_year":1990,"publication_date":"1990-01-02","ids":{"openalex":"https://openalex.org/W2156226967","doi":"https://doi.org/10.1002/j.1538-7305.1990.tb00102.x","mag":"2156226967"},"language":"en","primary_location":{"id":"doi:10.1002/j.1538-7305.1990.tb00102.x","doi":"https://doi.org/10.1002/j.1538-7305.1990.tb00102.x","is_oa":false,"landing_page_url":"https://doi.org/10.1002/j.1538-7305.1990.tb00102.x","pdf_url":null,"source":{"id":"https://openalex.org/S2764907053","display_name":"AT&T Technical Journal","issn_l":"2376-676X","issn":["2376-676X","8756-2324"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"AT&T Technical Journal","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/A5046216564","display_name":"Zvi Har'el","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I1283103587","display_name":"AT&T (United States)","ror":"https://ror.org/02bbd5539","country_code":"US","type":"company","lineage":["https://openalex.org/I1283103587"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zvi Har'El","raw_affiliation_strings":["Mathematics of Communication and Computer Systems Department at AT&T Bell Laboratories, Murray Hill, New Jersey"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mathematics of Communication and Computer Systems Department at AT&T Bell Laboratories, Murray Hill, New Jersey","institution_ids":["https://openalex.org/I1283103587"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034009786","display_name":"Robert P. Kurshan","orcid":"https://orcid.org/0000-0002-4232-6530","observed_orcids":["https://orcid.org/0000-0002-4232-6530"]},"institutions":[{"id":"https://openalex.org/I1283103587","display_name":"AT&T (United States)","ror":"https://ror.org/02bbd5539","country_code":"US","type":"company","lineage":["https://openalex.org/I1283103587"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Robert P. Kurshan","raw_affiliation_strings":["Mathematics of Communication and Computer Systems Department at AT&T Bell Laboratories, Murray Hill"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mathematics of Communication and Computer Systems Department at AT&T Bell Laboratories, Murray Hill","institution_ids":["https://openalex.org/I1283103587"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I1283103587"],"apc_list":null,"apc_paid":null,"fwci":8.5085,"has_fulltext":false,"cited_by_count":98,"citation_normalized_percentile":{"value":0.98544832,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":"69","issue":"1","first_page":"45","last_page":"59"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.5741999745368958,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.5741999745368958,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.2061000019311905,"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.10490000247955322,"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/cospan","display_name":"cospans","score":0.8149999976158142},{"id":"https://openalex.org/keywords/protocol-specification","display_name":"protocol specification","score":0.38499999046325684},{"id":"https://openalex.org/keywords/model-refinement","display_name":"model refinement","score":0.6230000257492065},{"id":"https://openalex.org/keywords/behavioral-needs","display_name":"behavioral needs","score":0.7990000247955322},{"id":"https://openalex.org/keywords/protocol-implementation","display_name":"protocol implementation","score":0.4650000035762787},{"id":"https://openalex.org/keywords/session-protocol","display_name":"session protocol","score":0.718999981880188},{"id":"https://openalex.org/keywords/topas","display_name":"TOPAS","score":0.7630000114440918},{"id":"https://openalex.org/keywords/design-error-detection","display_name":"design error detection","score":0.7260000109672546}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.791371762752533},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.7185689210891724},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.6405954360961914},{"id":"https://openalex.org/C12269588","wikidata":"https://www.wikidata.org/wiki/Q132364","display_name":"Communications protocol","level":2,"score":0.5440955758094788},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.5239070653915405},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5188116431236267},{"id":"https://openalex.org/C147358964","wikidata":"https://www.wikidata.org/wiki/Q1200992","display_name":"Abstraction layer","level":3,"score":0.45700347423553467},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4424344003200531},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3962087035179138},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3676127791404724},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.33021992444992065},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.22762253880500793},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"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/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/j.1538-7305.1990.tb00102.x","doi":"https://doi.org/10.1002/j.1538-7305.1990.tb00102.x","is_oa":false,"landing_page_url":"https://doi.org/10.1002/j.1538-7305.1990.tb00102.x","pdf_url":null,"source":{"id":"https://openalex.org/S2764907053","display_name":"AT&T Technical Journal","issn_l":"2376-676X","issn":["2376-676X","8756-2324"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"AT&T Technical Journal","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W50233445","https://openalex.org/W1545797722","https://openalex.org/W1965611063","https://openalex.org/W1994797527","https://openalex.org/W2007981995","https://openalex.org/W2026134631","https://openalex.org/W2040127143","https://openalex.org/W2054279067","https://openalex.org/W2138856440","https://openalex.org/W2162583406","https://openalex.org/W2406624004","https://openalex.org/W2561675875","https://openalex.org/W4231393247","https://openalex.org/W4302339081"],"related_works":["https://openalex.org/W2136600741","https://openalex.org/W3089818097","https://openalex.org/W1987003802","https://openalex.org/W1970304083","https://openalex.org/W4213372426","https://openalex.org/W2150408129","https://openalex.org/W1927742521","https://openalex.org/W2217066611","https://openalex.org/W2569894053","https://openalex.org/W2005150099"],"abstract_inverted_index":{"We":[0,158],"describe":[1],"a":[2,22,45,52,61,65,69,83,123,140,177],"way":[3],"to":[4,30,36,116,170],"develop":[5,171],"and":[6,15,129,173],"implement":[7,174],"communications":[8,46],"protocols":[9],"so":[10],"they":[11],"are":[12,77,104],"logically":[13],"sound":[14],"meet":[16],"stated":[17],"requirements.":[18],"Our":[19],"methodology":[20],"employs":[21],"software":[23],"system":[24,39],"called":[25,188],"the":[26,57,90,94,98,117,160,189],"coordination-specification":[27],"analyzer":[28],"(COSPAN)":[29],"facilitate":[31],"logical":[32],"testing":[33,43],"(in":[34],"contrast":[35],"simulation":[37],"or":[38],"execution":[40],"testing).":[41],"Logical":[42],"of":[44,54,56,68,97,101,120,131,149,156,162,165,184],"protocol":[47,70,180],"is":[48,87,136],"carried":[49,137],"out":[50,138],"on":[51],"succession":[53,80],"models":[55,76,103],"protocol.":[58,99],"Starting":[59],"with":[60,82],"high-level":[62,124],"model":[63,85],"(e.g.,":[64],"formal":[66],"abstraction":[67,150],"standard),":[71],"successively":[72],"more":[73],"refined":[74],"(detailed)":[75],"created.":[78],"This":[79],"ends":[81],"low-level":[84],"which":[86],"in":[88,139,152,175],"fact":[89],"code":[91],"that":[92,142],"runs":[93],"ultimate":[95],"implementation":[96],"Tests":[100],"successive":[102,154],"defined":[105],"not":[106],"by":[107,111],"test":[108],"vectors,":[109],"but":[110],"user-defined":[112],"behavioral":[113],"requirements":[114],"appropriate":[115],"given":[118],"level":[119,148],"abstraction.":[121,157],"Testing":[122],"design":[125,132],"permits":[126],"early":[127],"detection":[128],"correction":[130],"errors.":[133],"Successive":[134],"refinement":[135],"fashion":[141],"guarantees":[143],"properties":[144],"proved":[145],"at":[146,181],"one":[147],"hold":[151],"all":[153],"levels":[155],"recount":[159],"experience":[161],"an":[163,182,185],"application":[164],"this":[166],"methodology,":[167],"employing":[168],"COSPAN,":[169],"(analyze":[172],"software)":[176],"new":[178],"session":[179],"interface":[183],"AT&T":[186],"product":[187],"Trunk":[190],"Operations":[191],"Provisioning":[192],"Administration":[193],"System":[194],"(TOPAS).":[195]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}