IDEAS home Printed from https://ideas.repec.org/a/wly/syseng/v12y2009i2p117-140.html
   My bibliography  Save this article

System modeling and traceability applications of the higraph formalism

Author

Listed:
  • Kevin Fogarty
  • Mark Austin

Abstract

This paper examines the use of higraphs as a means of representing dependencies and relationships among multiple aspects of system development models (e.g., requirements, hardware, software, testing concerns). We show how some well‐known diagram types in UML have counterpart higraph representations, how these models incorporate hierarchy and orthogonality, and how each model can be connected to the others in a useful (and formal) manner. Present‐day visual modeling languages such as UML and SysML do not readily support: (1) the traceability mechanisms required for the tracking of requirements changes and (2) built‐in support for systems validation. Higraphs also deviate from UML and SysML in their ability to model requirements, rules, and domain knowledge relevant to the development of models for system behavior and system structure. To accommodate these demands, an extension to the basic mathematical definition of higraphs is proposed. Capabilities of the extended higraph model are examined through the model development for an office network computing system. © 2008 Wiley Periodicals, Inc. Syst Eng

Suggested Citation

  • Kevin Fogarty & Mark Austin, 2009. "System modeling and traceability applications of the higraph formalism," Systems Engineering, John Wiley & Sons, vol. 12(2), pages 117-140, June.
    • Handle: RePEc:wly:syseng:v:12:y:2009:i:2:p:117-140
    DOI: 10.1002/sys.20113
    as

    Download full text from publisher

    File URL: https://doi.org/10.1002/sys.20113
    Download Restriction: no
    File URL: https://libkey.io/10.1002/sys.20113?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    More about this item

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:wly:syseng:v:12:y:2009:i:2:p:117-140. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Wiley Content Delivery (email available below). General contact details of provider: https://doi.org/10.1002/(ISSN)1520-6858 .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.