{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,24]],"date-time":"2023-10-24T06:10:29Z","timestamp":1698127829850},"reference-count":19,"publisher":"Wiley","issue":"11","license":[{"start":{"date-parts":[[2007,3,21]],"date-time":"2007-03-21T00:00:00Z","timestamp":1174435200000},"content-version":"vor","delay-in-days":5558,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Systems & Computers in Japan"],"published-print":{"date-parts":[[1992,1]]},"abstract":"Abstract<\/jats:title>A method for translating program specifications in a natural language into algebraic specifications is presented. The translation rules consist of: (a) syntax rules of the natural language; (b) rules for constructing an intermediate structure similar to \u201ccategories\u201d in HPSG; and (c) rules for generating axioms to translate intermediate structures into axioms of the form of logical formula = =True<\/jats:italic>.<\/jats:p>Based on the concept of type, which is defined by using the derivations of expressions representing the meanings of natural language sentences in a generative grammar, and based on the characteristics of the functions representing the meanings of words, a more rigorous method of solving the problems of elimination of syntax ambiguities anaphoric bindings, and sorts and scopes of quantifiers is proposed.<\/jats:p>Especially, by introducing attributes having the type information of the functions denoted by natural language phrases in the intermediate structures, ambiguities at the time of the parsing can be reduced. Also, the meaning of phrases such as verb phrases can be rigorously defined by using functions having arguments of different types for singular and plural objects. Arguments which are not explicitly specified in natural language sentences can be represented formally by introducing arguments which have types representing the states of the program.<\/jats:p>Furthermore, a method is proposed to rigorously deduce the sorts and scopes of the quantifiers by using the dependency relation between the arguments representing the meanings of the words. The results of translating the main part of the OSI session protocol are presented.<\/jats:p>","DOI":"10.1002\/scj.4690231101","type":"journal-article","created":{"date-parts":[[2007,7,7]],"date-time":"2007-07-07T21:52:56Z","timestamp":1183845176000},"page":"1-16","source":"Crossref","is-referenced-by-count":0,"title":["A method for translating natural language program specifications into algebraic specifications"],"prefix":"10.1002","volume":"23","author":[{"given":"Hiroyuki","family":"Seki","sequence":"first","affiliation":[]},{"given":"Tadao","family":"Kasami","sequence":"additional","affiliation":[]},{"given":"Eiji","family":"Nabika","sequence":"additional","affiliation":[]},{"given":"Takashi","family":"Matsumura","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2007,3,21]]},"reference":[{"key":"e_1_2_1_2_2","volume-title":"Computational Complexity and Natural Language","author":"Barton G. E.","year":"1987"},{"key":"e_1_2_1_3_2","volume-title":"Reference to Kinds in English","author":"Carlson G. N.","year":"1980"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-08-091728-3.50014-X"},{"key":"e_1_2_1_5_2","volume-title":"Introduction to Montague Semantics","author":"Dowty D. R.","year":"1981"},{"key":"e_1_2_1_6_2","volume-title":"Generalized Phrase Structure Grammar","author":"Gazdar G.","year":"1985"},{"key":"e_1_2_1_7_2","unstructured":"ISO.Basic connection oriented session protocol specification.ISO 8327."},{"key":"e_1_2_1_8_2","volume-title":"Principles of Program Design","author":"Jackson M. A.","year":"1975"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037421"},{"key":"e_1_2_1_10_2","volume-title":"Lectures on HPSG (unpublished manuscript)","author":"Pollard C. J.","year":"1985"},{"key":"e_1_2_1_11_2","volume-title":"Information\u2010Based Syntax and Semantics, Vol. 1: Fundamentals. CSLI Lecture Notes","author":"Pollard C. J.","year":"1987"},{"key":"e_1_2_1_12_2","first-page":"1","article-title":"An algorithm for generating quantifier scopings","volume":"13","author":"Hobbs J. R.","year":"1987","journal-title":"Comput. Ling."},{"issue":"11","key":"e_1_2_1_13_2","first-page":"1112","article-title":"The method of translation from natural language\u2010based functional specifications into prototype programs","volume":"27","author":"Ichikawa I.","year":"1986","journal-title":"Trans. Information Processing Society of Japan"},{"issue":"2","key":"e_1_2_1_14_2","first-page":"204","article-title":"Formal specification method based on lexical decomposition of natural language. I.E.C.E.","volume":"25","author":"Saeki M.","year":"1984","journal-title":"Trans. Information Processing"},{"key":"e_1_2_1_15_2","article-title":"A transformation from natural language specifications into formal specifications using contextual dependencies","volume":"89","author":"Shimabukuro J.","year":"1987","journal-title":"I.E.I.C.E., Tech. Rept."},{"issue":"7","key":"e_1_2_1_16_2","first-page":"913","article-title":"Software engineering and natural language processing","volume":"28","author":"Tsujii J.","year":"1987","journal-title":"Information Process ing"},{"key":"e_1_2_1_17_2","article-title":"On a formal definition of a fragment of English used for writing program specifications","volume":"63","author":"Nabika E.","year":"1987","journal-title":"Preprint of WG on Natural Language of Information Processing Society"},{"key":"e_1_2_1_18_2","article-title":"Syntax and semantic analyses of natural language specifications by using abstract date types","volume":"65","author":"Nabika E.","year":"1988","journal-title":"Preprint of WG on Natural Language of Information Processing Society"},{"issue":"8","key":"e_1_2_1_19_2","first-page":"881","article-title":"Refinement of algebraic specifications to functional programs and their efficient execution","volume":"29","author":"Higashino T.","year":"1988","journal-title":"Information Processing"},{"key":"e_1_2_1_20_2","unstructured":"J.Shimabukuro.Translation System from Natural Language Specifications of Communication Protocols into Algebraic Specifications. MS Thesis Osaka University (Feb.1990)."}],"container-title":["Systems and Computers in Japan"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fscj.4690231101","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/scj.4690231101","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T11:49:01Z","timestamp":1698061741000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/scj.4690231101"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,1]]},"references-count":19,"journal-issue":{"issue":"11","published-print":{"date-parts":[[1992,1]]}},"alternative-id":["10.1002\/scj.4690231101"],"URL":"https:\/\/doi.org\/10.1002\/scj.4690231101","archive":["Portico"],"relation":{},"ISSN":["0882-1666","1520-684X"],"issn-type":[{"value":"0882-1666","type":"print"},{"value":"1520-684X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,1]]}}}