System modeling and traceability applications of the higraph formalism

Kevin Fogarty and Mark Austin

Systems Engineering, 2009, vol. 12, issue 2, 117-140

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

Date: 2009
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://doi.org/10.1002/sys.20113

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:wly:syseng:v:12:y:2009:i:2:p:117-140

Access Statistics for this article

More articles in Systems Engineering from John Wiley & Sons
Bibliographic data for series maintained by Wiley Content Delivery ().