• Home
  • Search
  • Structural manipulations of software architecture using Tarski relational algebra
  • Cite Icon114
  • https://doi.org/10.1109/wcre.1998.723191Copy DOI Icon

Structural manipulations of software architecture using Tarski relational algebra

  • Oct 12, 1998
  • R.c Holt
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

A software architecture is typically drawn as a nested set of box and arrow diagrams. The boxes represent components of the software system and the edges represent interactions These diagrams correspond to typed graphs, in which there are a number of types or colors of edges, and in which there is a distinguished contain relation that represents the system hierarchy (the nesting of boxes). During reverse engineering, one often transforms such diagrams in various ways to make them easier to understand. These transformations include edge aggregation, box abstraction (closing a box to hide its contents), and box separation (separating a box from its surrounding system). Such transformations are essential in helping make software architecture diagrams useful in practice. Paper shows how structural manipulations such as these can be specified and automatically carried out in a notation based on Tarski's relational algebra. The operators in this algebra include relational composition, union, subtraction, etc. These operators are supported in a language called Grok. Grok scripts have been used in manipulating the graphs for large scale software systems, such as Linux, to help in program visualization and understanding.

Similar Papers
  • Research Article
  • Citations1

Guest editorial: reverse engineering

  • Nov 30, 2012
  • Empirical Software Engineering
  • Martin Pinzger +1
  • Research Article
  • Citations11

Metric-based Evaluation of Implemented Software Architectures

  • Jun 28, 2013
  • Research Repository (Delft University of Technology)
  • Eric Bouwers
  • Research Article
  • Citations9

Empirical research in software architecture: opportunities, challenges, and approaches

  • Jul 07, 2011
  • Empirical Software Engineering
  • Muhammad Ali Babar +2
  • Book Chapter
  • Citations23

Visualizing Software Architectures in Virtual Reality with an Island Metaphor

  • Jan 01, 2018
  • Andreas Schreiber +1
  • Research Article
  • Citations7

One Graph to Rule Them All Software Measurement and Management

  • Jan 01, 2013
  • Fundamenta Informaticae
  • Robert Dąbrowski +2
  • Conference Article
  • Citations33

Moving toward component-based software development approach

  • Sep 22, 1998
  • G Pour
  • Conference Article
  • Citations16

A Review on Software Architecture Styles with Layered Robotic Software Architecture

  • Feb 01, 2015
  • P.U Chavan +2
  • Book Chapter
  • Citations24

Chapter 1 - Relating System Quality and Software Architecture: Foundations and Approaches

  • Jan 01, 2014
  • Relating System Quality and Software Architecture
  • Peter Eeles +4
  • Conference Article
  • Citations30

Reverse engineering of legacy code exposed

  • Jan 01, 1995
  • Bruce W Weide +2
  • Research Article

Tool support for software architecture documentation

  • Jan 01, 2013
  • OPUS Publication Server of the University of Stuttgart (University of Stuttgart)
  • Dimitrij Pankratz
  • Conference Article
  • Citations7

Improving software quality by improving architecture management

  • Jun 22, 2012
  • Robert Dąbrowski +2
  • Conference Article
  • Citations2

Hierarchical Model to Develop Component-Based Systems

  • Mar 01, 2008
  • Abdelkrim Amirat +1
  • PDF
  • Research Article
  • Citations6

Software Architecture and Methodology as a Tool for Efficient Software Engineering Process: A Critical Appraisal

  • Jan 01, 2010
  • Journal of Software Engineering and Applications
  • Achimugu Philip +4
  • Conference Article
  • Citations9

Analysis of pervasive multiple-component defects in a large software system

  • Sep 01, 2009
  • Zude Li +6
  • Conference Article
  • Citations5

Traceability between Software Architecture Models

  • Jan 01, 2006
  • Yaodong Feng +3
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.