DocumentCode
3379135
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
fYear
1995
fDate
9-11 Aug 1995
Firstpage
96
Lastpage
101
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 1995. COMPSAC 95. Proceedings., Nineteenth Annual International
Conference_Location
Dallas, TX
ISSN
0730-3157
Print_ISBN
0-8186-7119-X
Type
conf
DOI
10.1109/CMPSAC.1995.524765
Filename
524765
Link To Document