Expert System for Specification Process in Software Development System Pure TELL
Motoshi Saeki, Hisayuki Horai, Hajime Enomoto · Kyoto University Research Information Repository (Kyoto University) · 1989
The method to extract the structure of software modules based on object oriented model from a natural-language specification is presented.We have analyzed the pro- cess of constructing a formal specification based on an object-oriented model through several experiments, and collected the strategies for designing software modules into a knowledge base.We concentrate on types of verb patterns occurring in sentences and on types of relations among actions represented by verbs.In principle, each word such as nounS and verbs in a natural-language specification corresponds to a software module.Choosing candidate words for modules, determining kinds of them, and re- lating modules to other modules hierarchically depend on types of verb patterns and on types of the relations.These rules for extracting module structures are collected as some knowledge in our expert system for specification process, and we applies them to simple example "Floating Buoy System".For the target specification, we use the formal specification language of software development system called Pure TELL, which we are developing now.This language is based on strongly restricted English.