System modeling and traceability applications of the higraph formalism

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

[1]  James E. Rumbaugh,et al.  Unified Modeling Language (UML) , 2010, Encyclopedia of Software Engineering.

[2]  Edward Grossman.  ACM Queue , 2003, CIE.

[3]  Fraunhofer Iao,et al.  A Methodology for the Component-Based Development of Web Applications , 2003 .

[4]  Alex E. Bell.  Death by UML Fever , 2004, ACM Queue.

[5]  David Harel,et al.  On the Algorithmics of Higraphs , 1997 .

[6]  K. Heimannsfeld,et al.  Requirements engineering knowledge management based on STEP AP233 , 2000 .

[7]  David W. Oliver.  AP233'INCOSE Status Report , 2002 .

[8]  Mark Minas.  Hypergraphs as a Uniform Diagram Representation Model , 1998, TAGT.

[9]  Mark Austin,et al.  PaladinRM: Graph-based visualization of requirements organized for team-based design , 2006, Syst. Eng..

[10]  David Harel,et al.  On visual formalisms , 1988, CACM.

[11]  SarkarSumit,et al.  Using Directed Hypergraphs to Verify Rule-Based Expert Systems , 1997 .

[12]  Jacques Teller,et al.  Hypergraph formalism for urban form specification , 1998 .

[13]  Mark Minas,et al.  DiaGen: a generator for diagram editors providing direct manipulation and execution of diagrams , 1995, Proceedings of Symposium on Visual Languages.

[14]  Mark Austin,et al.  System modeling and traceability applications of the higraph formalism , 2009 .

[15]  Pat Hanrahan,et al.  Interactive visualization of large graphs and networks , 2000 .

[16]  Kirsten Berkenkötter,et al.  Using UML 2 . 0 in Real-Time Development A Critical Review , 2003 .

[17]  Frank Harary,et al.  Graph Theory , 2016 .

[18]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..