{"id":"https://openalex.org/W2039504157","doi":"https://doi.org/10.1002/scj.4690191206","title":"Protocol Implementation Support System and Its User Interface","display_name":"Protocol Implementation Support System and Its User Interface","publication_year":1988,"publication_date":"1988-01-01","ids":{"openalex":"https://openalex.org/W2039504157","doi":"https://doi.org/10.1002/scj.4690191206","mag":"2039504157"},"language":"en","primary_location":{"id":"doi:10.1002/scj.4690191206","doi":"https://doi.org/10.1002/scj.4690191206","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690191206","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","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/A5113601712","display_name":"Kaoru Takahashi","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I201537933","display_name":"Tohoku University","ror":"https://ror.org/01dq60k83","country_code":"JP","type":"education","lineage":["https://openalex.org/I201537933"]},{"id":"https://openalex.org/I4387930200","display_name":"Information Processing Society of Japan","ror":"https://ror.org/02v970d04","country_code":"JP","type":"nonprofit","lineage":["https://openalex.org/I4387930200"]},{"id":"https://openalex.org/I4405285984","display_name":"Research Institute of Electrical Communication, Tohoku University","ror":"https://ror.org/00vbrys56","country_code":"JP","type":"facility","lineage":["https://openalex.org/I201537933","https://openalex.org/I4405285984"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Kaoru Takahashi","raw_affiliation_strings":["Kaoru Takahashi graduated from Maiya Technological High School in 1972 and joined Research Institute of Electrical Communication of Tohoku University in 1974. His research has been on design, specification description and verification of protocols and development of communication software. He is a member of the Information Processing Society of Japan; and I.E.E.E","Research Institute of Electrical Communication, Tohoku University, Sendai, Japan 980","I.E.E.E","Kaoru Takahashi graduated from Maiya Technological High School in 1972 and joined Research Institute of Electrical Communication of Tohoku University in 1974. His research has been on design, specification description and verification of protocols and development of communication software. He is a member of the Information Processing Society of Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Kaoru Takahashi graduated from Maiya Technological High School in 1972 and joined Research Institute of Electrical Communication of Tohoku University in 1974. His research has been on design, specification description and verification of protocols and development of communication software. He is a member of the Information Processing Society of Japan; and I.E.E.E","institution_ids":["https://openalex.org/I201537933","https://openalex.org/I4387930200","https://openalex.org/I4405285984"]},{"raw_affiliation_string":"Research Institute of Electrical Communication, Tohoku University, Sendai, Japan 980","institution_ids":["https://openalex.org/I201537933","https://openalex.org/I4405285984"]},{"raw_affiliation_string":"I.E.E.E","institution_ids":[]},{"raw_affiliation_string":"Kaoru Takahashi graduated from Maiya Technological High School in 1972 and joined Research Institute of Electrical Communication of Tohoku University in 1974. His research has been on design, specification description and verification of protocols and development of communication software. He is a member of the Information Processing Society of Japan","institution_ids":["https://openalex.org/I201537933","https://openalex.org/I4387930200","https://openalex.org/I4405285984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040337456","display_name":"Norio Shiratori","orcid":"https://orcid.org/0000-0002-2560-2054","observed_orcids":["https://orcid.org/0000-0002-2560-2054","https://orcid.org/0000-0001-9500-3332"]},"institutions":[{"id":"https://openalex.org/I201537933","display_name":"Tohoku University","ror":"https://ror.org/01dq60k83","country_code":"JP","type":"education","lineage":["https://openalex.org/I201537933"]},{"id":"https://openalex.org/I4387930200","display_name":"Information Processing Society of Japan","ror":"https://ror.org/02v970d04","country_code":"JP","type":"nonprofit","lineage":["https://openalex.org/I4387930200"]},{"id":"https://openalex.org/I4405285984","display_name":"Research Institute of Electrical Communication, Tohoku University","ror":"https://ror.org/00vbrys56","country_code":"JP","type":"facility","lineage":["https://openalex.org/I201537933","https://openalex.org/I4405285984"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Norio Shiratori","raw_affiliation_strings":["Norio Shiratori received the Ph.D. degree from Tohoku University and joined the Research Institute of Electrical Communication of Tohoku University in 1977 where he is currently an Associate Professor. His research is on distributed processing system construction, software development methodology and intelligent interface. He is a member of the Information Processing Society of Japan; and I.E.E.E","Research Institute of Electrical Communication, Tohoku University, Sendai, Japan 980","I.E.E.E","Norio Shiratori received the Ph.D. degree from Tohoku University and joined the Research Institute of Electrical Communication of Tohoku University in 1977 where he is currently an Associate Professor. His research is on distributed processing system construction, software development methodology and intelligent interface. He is a member of the Information Processing Society of Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Norio Shiratori received the Ph.D. degree from Tohoku University and joined the Research Institute of Electrical Communication of Tohoku University in 1977 where he is currently an Associate Professor. His research is on distributed processing system construction, software development methodology and intelligent interface. He is a member of the Information Processing Society of Japan; and I.E.E.E","institution_ids":["https://openalex.org/I201537933","https://openalex.org/I4387930200","https://openalex.org/I4405285984"]},{"raw_affiliation_string":"Research Institute of Electrical Communication, Tohoku University, Sendai, Japan 980","institution_ids":["https://openalex.org/I201537933","https://openalex.org/I4405285984"]},{"raw_affiliation_string":"I.E.E.E","institution_ids":[]},{"raw_affiliation_string":"Norio Shiratori received the Ph.D. degree from Tohoku University and joined the Research Institute of Electrical Communication of Tohoku University in 1977 where he is currently an Associate Professor. His research is on distributed processing system construction, software development methodology and intelligent interface. He is a member of the Information Processing Society of Japan","institution_ids":["https://openalex.org/I201537933","https://openalex.org/I4405285984"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110411849","display_name":"Shoichi Noguchi","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I201537933","display_name":"Tohoku University","ror":"https://ror.org/01dq60k83","country_code":"JP","type":"education","lineage":["https://openalex.org/I201537933"]},{"id":"https://openalex.org/I4387930200","display_name":"Information Processing Society of Japan","ror":"https://ror.org/02v970d04","country_code":"JP","type":"nonprofit","lineage":["https://openalex.org/I4387930200"]},{"id":"https://openalex.org/I4405285984","display_name":"Research Institute of Electrical Communication, Tohoku University","ror":"https://ror.org/00vbrys56","country_code":"JP","type":"facility","lineage":["https://openalex.org/I201537933","https://openalex.org/I4405285984"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Shoichi Noguchi","raw_affiliation_strings":["Research Institute of Electrical Communication, Tohoku University, Sendai, Japan 980","Shoichi Noguchi received the B.S. degree in 1954 and Ph.D. in 1960 both in Electrical Engineering from Tohoku University. He has been a Professor at the Research Institute of Electrical Communication of Tohoku University since 1971. He has been working mainly on automata theory and computer networks. He is a co-author of Information Theory (Ohmu Publ. Co.); and the author of Foundations of Information Engineering I (Maruzen Publ. Co.) and Information Networks (Iwanami Publ. Co.). He is a member of the Information Processing Society of Japan","Shoichi Noguchi received the B.S. degree in 1954 and Ph.D. in 1960 both in Electrical Engineering from Tohoku University. He has been a Professor at the Research Institute of Electrical Communication of Tohoku University since 1971. He has been working mainly on automata theory and computer networks. He is a co-author of Information Theory (Ohmu Publ. Co.)","the author of Foundations of Information Engineering I (Maruzen Publ. Co.) and Information Networks (Iwanami Publ. Co.). He is a member of the Information Processing Society of Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Research Institute of Electrical Communication, Tohoku University, Sendai, Japan 980","institution_ids":["https://openalex.org/I201537933","https://openalex.org/I4405285984"]},{"raw_affiliation_string":"Shoichi Noguchi received the B.S. degree in 1954 and Ph.D. in 1960 both in Electrical Engineering from Tohoku University. He has been a Professor at the Research Institute of Electrical Communication of Tohoku University since 1971. He has been working mainly on automata theory and computer networks. He is a co-author of Information Theory (Ohmu Publ. Co.); and the author of Foundations of Information Engineering I (Maruzen Publ. Co.) and Information Networks (Iwanami Publ. Co.). He is a member of the Information Processing Society of Japan","institution_ids":["https://openalex.org/I201537933","https://openalex.org/I4405285984"]},{"raw_affiliation_string":"Shoichi Noguchi received the B.S. degree in 1954 and Ph.D. in 1960 both in Electrical Engineering from Tohoku University. He has been a Professor at the Research Institute of Electrical Communication of Tohoku University since 1971. He has been working mainly on automata theory and computer networks. He is a co-author of Information Theory (Ohmu Publ. Co.)","institution_ids":["https://openalex.org/I201537933"]},{"raw_affiliation_string":"the author of Foundations of Information Engineering I (Maruzen Publ. Co.) and Information Networks (Iwanami Publ. Co.). He is a member of the Information Processing Society of Japan","institution_ids":["https://openalex.org/I4387930200"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"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":"19","issue":"12","first_page":"54","last_page":"62"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.6820999979972839,"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.6820999979972839,"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.16529999673366547,"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.035100001841783524,"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/protocol-specification-language","display_name":"protocol specification languages","score":0.6610000133514404},{"id":"https://openalex.org/keywords/idl","display_name":"IDL","score":0.9399999976158142},{"id":"https://openalex.org/keywords/user-interface-design","display_name":"user interface design","score":0.7699999809265137},{"id":"https://openalex.org/keywords/frame-based-representation","display_name":"frame representation","score":0.7400000095367432},{"id":"https://openalex.org/keywords/knowledge-engineering","display_name":"knowledge engineering","score":0.9120000004768372},{"id":"https://openalex.org/keywords/protocol-verification","display_name":"protocol verification","score":0.6330000162124634}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8686685562133789},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.6556583642959595},{"id":"https://openalex.org/C12269588","wikidata":"https://www.wikidata.org/wiki/Q132364","display_name":"Communications protocol","level":2,"score":0.5419131517410278},{"id":"https://openalex.org/C89505385","wikidata":"https://www.wikidata.org/wiki/Q47146","display_name":"User interface","level":2,"score":0.524777352809906},{"id":"https://openalex.org/C126042441","wikidata":"https://www.wikidata.org/wiki/Q1324888","display_name":"Frame (networking)","level":2,"score":0.5202363729476929},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5068410038948059},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.5004053115844727},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.49900078773498535},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.49167877435684204},{"id":"https://openalex.org/C177216440","wikidata":"https://www.wikidata.org/wiki/Q1044749","display_name":"Interface description language","level":3,"score":0.4375927746295929},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.4323456287384033},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.18979620933532715},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0961337685585022},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"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/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/scj.4690191206","doi":"https://doi.org/10.1002/scj.4690191206","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690191206","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","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":3,"referenced_works":["https://openalex.org/W205666787","https://openalex.org/W2087827641","https://openalex.org/W4390432215"],"related_works":["https://openalex.org/W2139417788","https://openalex.org/W640290454","https://openalex.org/W1579384623","https://openalex.org/W2151232155","https://openalex.org/W7065358323","https://openalex.org/W2044067585","https://openalex.org/W1557812464","https://openalex.org/W242643184","https://openalex.org/W2161340306","https://openalex.org/W3092216412"],"abstract_inverted_index":{"Abstract":[0],"To":[1],"increase":[2],"the":[3,17,69,85,110,134],"productivity":[4],"of":[5,19,24,84,112],"communication":[6,78],"software":[7,38,79,103],"development":[8],"for":[9],"information":[10,67,99,127,132],"networks,":[11],"it":[12],"is":[13,50,61,93,117],"necessary":[14,66,100,131],"to":[15,40,95,101,124,129],"establish":[16],"techniques":[18],"automatic":[20],"implementation":[21,33],"and":[22,97,128],"verification":[23],"protocols.":[25],"This":[26],"paper":[27],"presents":[28],"a":[29,41,53,58,77,105,121],"user\u2010friendly":[30,122],"interactive":[31],"protocol":[32,43,54],"support":[34],"system":[35,92],"which":[36],"produces":[37],"corresponding":[39,59],"given":[42,51],"specification.":[44],"In":[45],"this":[46,91],"system,":[47],"when":[48],"specification":[49,55],"using":[52],"language":[56],"NESDEL,":[57],"program":[60],"generated":[62],"interactively":[63],"by":[64],"obtaining":[65],"from":[68,104,133],"user.":[70,135],"The":[71],"programs":[72],"are":[73],"written":[74],"in":[75,89,114,119],"IDL,":[76],"oriented":[80],"programming":[81],"language.":[82],"One":[83],"most":[86],"important":[87],"problems":[88],"designing":[90],"how":[94],"represent":[96,125],"acquire":[98],"generate":[102],"protocol.":[106],"We":[107],"show":[108],"that":[109],"concept":[111],"frame":[113],"knowledge":[115],"engineering":[116],"effective":[118],"constructing":[120],"interface":[123],"such":[126],"obtain":[130]},"counts_by_year":[],"updated_date":"2026-10-27T15:51:10.671819","created_date":"2016-06-24T00:00:00"}