{"id":"https://openalex.org/W2080176649","doi":"https://doi.org/10.1002/scj.4690210104","title":"Construction of a protocol synthesis environment and its implementation","display_name":"Construction of a protocol synthesis environment and its implementation","publication_year":1990,"publication_date":"1990-01-01","ids":{"openalex":"https://openalex.org/W2080176649","doi":"https://doi.org/10.1002/scj.4690210104","mag":"2080176649"},"language":"en","primary_location":{"id":"doi:10.1002/scj.4690210104","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690210104","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,"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"},"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/A5040599066","display_name":"Norio","orcid":null},"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"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Norio","raw_affiliation_strings":["Norio Shiratori received a Ph.D. in Electircal Communication from Tohoku University sendai, Japan, in 1977, and joined RIEC (Research Institute of Electrical communication), Tohoku University. He is Currently an Associate Professor. He is engaged in research on consturction methods of intelligeng distributed system, on development methods of software and human interface, etc. Prof,. Shiratori is a member of the Information Processing Society of Japan, and IEEE","Research Institute of Electrical Communication, Tohoku University, Sendai, Japan 980"],"affiliations":[{"raw_affiliation_string":"Norio Shiratori received a Ph.D. in Electircal Communication from Tohoku University sendai, Japan, in 1977, and joined RIEC (Research Institute of Electrical communication), Tohoku University. He is Currently an Associate Professor. He is engaged in research on consturction methods of intelligeng distributed system, on development methods of software and human interface, etc. Prof,. Shiratori is a member of the Information Processing Society of Japan, and IEEE","institution_ids":[]},{"raw_affiliation_string":"Research Institute of Electrical Communication, Tohoku University, Sendai, Japan 980","institution_ids":["https://openalex.org/I201537933"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008605785","display_name":"Yaoxue Zhang","orcid":"https://orcid.org/0000-0002-6463-9888"},"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"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yao\u2010Xue Zhang,","raw_affiliation_strings":["Research Institute of Electrical Communication, Tohoku University, Sendai, Japan 980","Yao-Xuc Zhang recceived a Ph.D. in Electrical Communication from Tohoku University, Sendai, Japan, in 1989. He joined RIEC in 1977 and is now a Research Assistant. His research interests include protocol development method, expert system, and human interface. Dr. Zhang is a member of the information Processing Society of Japan"],"affiliations":[{"raw_affiliation_string":"Research Institute of Electrical Communication, Tohoku University, Sendai, Japan 980","institution_ids":["https://openalex.org/I201537933"]},{"raw_affiliation_string":"Yao-Xuc Zhang recceived a Ph.D. in Electrical Communication from Tohoku University, Sendai, Japan, in 1989. He joined RIEC in 1977 and is now a Research Assistant. His research interests include protocol development method, expert system, and human interface. Dr. Zhang is a member of the information Processing Society of Japan","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5097937169","display_name":"Kaoru","orcid":null},"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"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Kaoru","raw_affiliation_strings":["Research Institute of Electrical Communication, Tohoku University, Sendai, Japan 980","kaoru Takahashi joined RIEC IN 1974 and currently is a Reserch Assistat. He is engaged in reserch on Protocol specification, verification, systheis., and implemintation in distributed processing systems based on computer networks. Mr. Takahashi is a member of the Information Processing society of Japan, and the IEEE Computer Society"],"affiliations":[{"raw_affiliation_string":"Research Institute of Electrical Communication, Tohoku University, Sendai, Japan 980","institution_ids":["https://openalex.org/I201537933"]},{"raw_affiliation_string":"kaoru Takahashi joined RIEC IN 1974 and currently is a Reserch Assistat. He is engaged in reserch on Protocol specification, verification, systheis., and implemintation in distributed processing systems based on computer networks. Mr. Takahashi is a member of the Information Processing society of Japan, and the IEEE Computer Society","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110411849","display_name":"Shoichi Noguchi","orcid":null},"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"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Shoichi Noguchi","raw_affiliation_strings":["Research Institute of Electrical Communication, Tohoku University, Sendai, Japan 980"],"affiliations":[{"raw_affiliation_string":"Research Institute of Electrical Communication, Tohoku University, Sendai, Japan 980","institution_ids":["https://openalex.org/I201537933"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5040599066"],"corresponding_institution_ids":["https://openalex.org/I201537933"],"apc_list":null,"apc_paid":null,"fwci":0.5189,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.74326863,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"21","issue":"1","first_page":"34","last_page":"49"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9925000071525574,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9925000071525574,"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/T10142","display_name":"Formal Methods in Verification","score":0.9909999966621399,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9836999773979187,"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/computer-science","display_name":"Computer science","score":0.863795280456543},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.7743321657180786},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.6663224697113037},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.6090006232261658},{"id":"https://openalex.org/keywords/communications-protocol","display_name":"Communications protocol","score":0.48434221744537354},{"id":"https://openalex.org/keywords/development-environment","display_name":"Development environment","score":0.4656696319580078},{"id":"https://openalex.org/keywords/graphical-user-interface","display_name":"Graphical user interface","score":0.42557284235954285},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4248526096343994},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37027788162231445},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3626072108745575},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.20265641808509827}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.863795280456543},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.7743321657180786},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.6663224697113037},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.6090006232261658},{"id":"https://openalex.org/C12269588","wikidata":"https://www.wikidata.org/wiki/Q132364","display_name":"Communications protocol","level":2,"score":0.48434221744537354},{"id":"https://openalex.org/C139968098","wikidata":"https://www.wikidata.org/wiki/Q3055454","display_name":"Development environment","level":2,"score":0.4656696319580078},{"id":"https://openalex.org/C37789001","wikidata":"https://www.wikidata.org/wiki/Q782543","display_name":"Graphical user interface","level":2,"score":0.42557284235954285},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4248526096343994},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37027788162231445},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3626072108745575},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.20265641808509827},{"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/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/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"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.4690210104","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690210104","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,"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":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W129716784","https://openalex.org/W2025970201","https://openalex.org/W2029117638","https://openalex.org/W2087827641","https://openalex.org/W2097786642","https://openalex.org/W2100042428","https://openalex.org/W2162222036"],"related_works":["https://openalex.org/W2022968056","https://openalex.org/W2388330702","https://openalex.org/W2409714959","https://openalex.org/W4298212052","https://openalex.org/W2392986374","https://openalex.org/W2107737506","https://openalex.org/W2390164899","https://openalex.org/W4254015142","https://openalex.org/W2352882574","https://openalex.org/W1837806840"],"abstract_inverted_index":{"Abstract":[0],"A":[1],"software":[2,96],"environment":[3],"for":[4,63],"interactively":[5],"synthesizing":[6],"communication":[7],"protocols":[8],"without":[9],"logical":[10,23],"errors":[11],"has":[12,30,79,90],"been":[13,80,91],"developed.":[14],"It":[15],"contains":[16],"a":[17,26,31,34,85],"synthesis":[18],"algorithm":[19],"which":[20,29],"eliminates":[21],"the":[22,46,61,64,69,72,76,95],"errors,":[24],"and":[25,38,71],"human":[27],"interface":[28],"multiwindow":[32],"environment,":[33],"graphical":[35],"interface,":[36],"colors":[37,70],"texts":[39,73],"utilities.":[40,74],"Moreover,":[41],"it":[42],"not":[43],"only":[44],"expresses":[45],"synthesized":[47,92],"protocol":[48,65,77],"as":[49],"labeled":[50],"directed":[51],"graphs,":[52],"but":[53],"also":[54],"provides":[55],"advices":[56],"on":[57],"how":[58],"to":[59],"give":[60],"input":[62],"designer":[66],"by":[67,93],"using":[68,94],"Consequently,":[75],"design":[78],"facilitated.":[81],"As":[82],"an":[83],"example,":[84],"call\u2010establish":[86],"phase":[87],"of":[88],"X.25":[89],"environment.":[97]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}