A Requirement Description Approach in Natural Language Based on Communication Service Knowledge
スポンサーリンク
概要
- 論文の詳細を見る
This paper proposes a requirement description and elicitation approach for communication services. Requirements are described in natural language, refined with a knowledge base, and converted to a formal language for program generation. A model for communication services is made as a set of three items : terminal state, terminal action and the response of the communication system to the action. This set, in turn, corresponds to natural language syntax that expresses two conditions (terminal state and action) and their result. These conditions and result are expressed as a sequence of simple sentences that describe the relationship between a terminal and a communication system. Thus, by defining such d description style to reflect the features of communication services, it should be possible to achieve both a high level of description and mechanical processing capabilities at the same time. However, requirement descriptions usually include omission and inconsistency. This problem cannot be solved by merely introducing natural language for the descriptions. Knowledge about the target domain of requirements is needed to resolve it. This paper reports on a knowledge base that stores constraints existing between conditions and results in communication services. This knowledge base is shown to be effective in supplementing omissions and resolving inconsistency. This paper also presents a technique for converting the elicited requirements in natural language to descriptions in a formal language that can be used to generate a program.
- 社団法人電子情報通信学会の論文
- 1995-09-25
著者
-
Ohta Tadashi
ATR Communication Systems Research Laboratories
-
Terashima Nobuyoshi
ATR Communication Systems Research Laboratories
-
Kobayashi Yoshizumi
ATR Communication Systems Research Laboratories
-
Kobayashi Y
Nagoya Univ. Nagoya‐shi Jpn
関連論文
- An Access Control Mechanism for Object-Oriented Database Systems (Special Section on Cryptography and Information Security)
- Requirement Specification Acquisition of Communications Services
- Protocol Synthesis from Service Specifications Described by Graph Rewriting Rules(Theory of Rewriting Systems and Its Applications)
- Stepwise Refinement of Communications Service Specifications for Conforming to a Functional Model (Special Issue on Distributed Architecture for Next Generation Communication Networks)
- Reachability Analysis for Specified Processes in a Behavior Description
- A Requirement Description Approach in Natural Language Based on Communication Service Knowledge