• DocumentCode
    2598438
  • Title

    RGML: a markup language for characterizing requirements generation processes

  • Author

    Sidky, Ahmed Samy ; Arthur, James D.

  • Author_Institution
    Dept. of Comput. Sci., Virginia Tech, USA
  • fYear
    2003
  • fDate
    3-4 Dec. 2003
  • Firstpage
    29
  • Lastpage
    38
  • Abstract
    In this paper we present the Requirements Generation Markup Language (RGML). The RGML provides a formal specification mechanism for characterizing the structure, process flow and activities inherent to the requirements generation process. Within activities, the RGML supports the characterization of application instantiation, the use of templates and the production of artifacts. The RGML can also describe temporal control within a process as well as conditional expressions that control if and when various activity scenarios will be executed. The language is expressively powerful, yet flexible in its characterization capabilities, and thereby, provides the capability to describe a wide spectrum of different requirements generation processes.
  • Keywords
    formal specification; specification languages; Requirements Generation Markup Language; application instantiation; artifact production; formal specification; requirements generation; temporal control; Application software; Character generation; Computer science; Disaster management; Formal specifications; Markup languages; Power engineering and energy; Power generation; Process control; Production;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering Workshop, 2003. Proceedings. 28th Annual NASA Goddard
  • Print_ISBN
    0-7695-2064-2
  • Type

    conf

  • DOI
    10.1109/SEW.2003.1270723
  • Filename
    1270723