Title :
Requirement specification in pseudo-natural language in PROMIS
Author :
Lu, Ruqian ; Jin, Zhi ; Wan, Ronglin
Author_Institution :
Inst. of Math., Acad. Sinica, Beijing, China
Abstract :
PROMIS, a knowledge-based tool for automatically prototyping MIS provided by us, is intended to deliver over the task of the requirement specification to the end users. It provides a pseudo-natural language for the end users to describe their own needs. PROMIS can then convert their requirements into an internal schema and then a MIS prototype automatically with the help of an internal domain knowledge base. After presenting an overview of PROMIS, this paper mainly focuses on the design and implementation of the requirement specification environment for the pseudo-natural language, including the syntax and the semantics of the language, the understanding and the analysing of it and the resulting internal conceptual model of MIS
Keywords :
formal specification; knowledge based systems; management information systems; software prototyping; software tools; specification languages; PROMIS; internal conceptual model; internal domain knowledge base; knowledge-based tool; pseudo-natural language; requirement specification; Buildings; Error correction; Formal languages; Formal specifications; Information analysis; Information systems; Object oriented databases; Process design; Prototypes; Terminology;
Conference_Titel :
Computer Software and Applications Conference, 1995. COMPSAC 95. Proceedings., Nineteenth Annual International
Conference_Location :
Dallas, TX
Print_ISBN :
0-8186-7119-X
DOI :
10.1109/CMPSAC.1995.524765