Show simple item record

System Modeling and Traceability Applications of the Higraph Formalism

dc.contributor.authorFogarty, Kevin
dc.contributor.authorAustin, Mark
dc.date.accessioned2007-09-04T13:07:16Z
dc.date.available2007-09-04T13:07:16Z
dc.date.issued2007-08-31
dc.identifier.urihttp://hdl.handle.net/1903/7119
dc.description.abstractThis report 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) Builtin 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 model development for an office network computing system.en
dc.format.extent846103 bytes
dc.format.mimetypeapplication/pdf
dc.language.isoenen
dc.relation.ispartofseriesTRen
dc.relation.ispartofseries2007-21en
dc.subjectsystems engineeringen
dc.subjectrequirementsen
dc.subjecttraceabilityen
dc.subjecthigraphen
dc.titleSystem Modeling and Traceability Applications of the Higraph Formalismen
dc.typeTechnical Reporten
dc.relation.isAvailableAtInstitute for Systems Researchen_us
dc.relation.isAvailableAtDigital Repository at the University of Marylanden_us
dc.relation.isAvailableAtUniversity of Maryland (College Park, MD)en_us


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record