• DocumentCode
    3419573
  • Title

    Ontology-based active requirements engineering framework

  • Author

    Lee, Seok Won ; Gandhi, Robin A.

  • Author_Institution
    Dept. of Software & Inf. Syst., North Carolina Univ., Charlotte, NC, USA
  • fYear
    2005
  • fDate
    15-17 Dec. 2005
  • Abstract
    Software-intensive systems are systems of systems that rely on complex interdependencies among themselves as well as with their operational environment to satisfy the required behavior. As we integrate such systems to create information infrastructures that are critical to the quality of our lives and the businesses they support, the need to effectively predict, control and evolve their behavior is ever increasing. To deal with their complexity, an important first step is to understand and model software-intensive systems, their environments and the interdependencies among them at different levels of abstractions from multiple dimensions. In this paper, we present an ontology-based active requirements engineering (Onto-ActRE) framework that adopts a mixed-initiative approach to elicit, represent and analyze the diversity of factors associated with software-intensive systems. The Onto-ActRE framework integrates various RE modeling techniques with complementary semantics in a unifying ontological engineering process. We also present examples from the practice of our framework with appropriate tool support that combines theoretical and practical aspects.
  • Keywords
    formal specification; formal verification; ontologies (artificial intelligence); systems analysis; Onto-ActRE framework; information infrastructures; ontology-based active requirements engineering; software-intensive systems; Bioinformatics; Certification; Control systems; Genomics; Information security; Information systems; Information technology; Ontologies; Software engineering; Software systems;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering Conference, 2005. APSEC '05. 12th Asia-Pacific
  • ISSN
    1530-1362
  • Print_ISBN
    0-7695-2465-6
  • Type

    conf

  • DOI
    10.1109/APSEC.2005.86
  • Filename
    1607186