• 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