• myGriffith
    • Staff portal
    • Contact Us⌄
      • Future student enquiries 1800 677 728
      • Current student enquiries 1800 154 055
      • International enquiries +61 7 3735 6425
      • General enquiries 07 3735 7111
      • Online enquiries
      • Staff phonebook
    View Item 
    •   Home
    • Griffith Research Online
    • Conference outputs
    • View Item
    • Home
    • Griffith Research Online
    • Conference outputs
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Browse

  • All of Griffith Research Online
    • Communities & Collections
    • Authors
    • By Issue Date
    • Titles
  • This Collection
    • Authors
    • By Issue Date
    • Titles
  • Statistics

  • Most Popular Items
  • Statistics by Country
  • Most Popular Authors
  • Support

  • Contact us
  • FAQs
  • Admin login

  • Login
  • Semantic Network Model: A Reasoning Engine for Software Requirements

    Author(s)
    Ahmed, Kushal
    Wen, Lian
    Sattar, Abdul
    Farid, Reza
    Griffith University Author(s)
    Sattar, Abdul
    Wen, Larry
    Farid, Reza
    Year published
    2015
    Metadata
    Show full item record
    Abstract
    In this paper, we present a semantic network model (SNM) as a reasoning engine for the requirements models. The SNM consists of the vertices and the edges, in which they store information of the models and their interrelations. The SNM, through a semi-automated normalisation process, helps the user (1) to assign states to the models and their relations as to whether they can be included, excluded, or undecided, (2) to eliminate redundant interrelations, (3) to avoid over-specification, and (4) to visualise a simplified overview of the whole system. Finally, we formulate the well-formedness of the SNM, which indicates whether ...
    View more >
    In this paper, we present a semantic network model (SNM) as a reasoning engine for the requirements models. The SNM consists of the vertices and the edges, in which they store information of the models and their interrelations. The SNM, through a semi-automated normalisation process, helps the user (1) to assign states to the models and their relations as to whether they can be included, excluded, or undecided, (2) to eliminate redundant interrelations, (3) to avoid over-specification, and (4) to visualise a simplified overview of the whole system. Finally, we formulate the well-formedness of the SNM, which indicates whether the given models can produce a formal specification. We also evaluate our techniques using several case studies.
    View less >
    Conference Title
    2015 20TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS)
    Volume
    2016-January
    DOI
    https://doi.org/10.1109/ICECCS.2015.31
    Subject
    Software Engineering
    Publication URI
    http://hdl.handle.net/10072/123650
    Collection
    • Conference outputs

    Footer

    Disclaimer

    • Privacy policy
    • Copyright matters
    • CRICOS Provider - 00233E
    • TEQSA: PRV12076

    Tagline

    • Gold Coast
    • Logan
    • Brisbane - Queensland, Australia
    First Peoples of Australia
    • Aboriginal
    • Torres Strait Islander