loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Conference on Software Maintenance and Reengineering
Hiding Expressed Using Relation Algebra with Multi-Relations ? Oblique Lifting and Lowering for Unbalanced Systems
Zurich, Switzerland
February 29-March 03
ISBN: 0-7695-0546-5
Reinder J. Bril, Philips Research Laboratories
Loe M.G. Feijs, Eindhoven University of Technology
André Glas, National Aerospace Laboratory
René L. Krikhaar, Philips Medical Systems
Thijs Winter, Philips Business Communications
The analysis of existing software architectures may be supported by a relational approach. The approach is based on relational algebra with multi-relations extended with a theory about "lifting". Lifting transforms a relation at a certain level of the decomposition structure of a system (e.g. the module level) to a higher level (e.g. the subsystem level). The application of lifting has been reported for various industrial contexts for balanced systems (i.e. systems where the decomposition structure is a balanced tree). This paper reports upon a more liberal kind of lifting termed "oblique lifting", which has the important advantageous that it can also be used for unbalanced systems. Lowering, the opposite of lifting, can be liberalized in a similar fashion. The use of oblique lowering is illustrated by means of a typical example from the field of software architecture verification.The leading example of this paper uses the relational approach as a formal basis for a software architecture browser visualizing the module interconnection architecture of a software system. Oblique lifting is applied to hide the decomposition structure of a module in a module interconnection diagram by choosing an appropriate mapping. After the hiding, various kinds of weights (or multiplicities) may be associated with the interconnections in the resulting diagram. Four definitions of weight are described, including the formalization of their related operations, with each weight having its own merits during architectural analysis.
Index Terms:
software architecture, reverse engineering, software visualization, architectural analysis, architecture verification, formal specification, relation algebra
Citation:
Reinder J. Bril, Loe M.G. Feijs, André Glas, René L. Krikhaar, Thijs Winter, "Hiding Expressed Using Relation Algebra with Multi-Relations ? Oblique Lifting and Lowering for Unbalanced Systems," csmr, pp.33, Conference on Software Maintenance and Reengineering, 2000
Usage of this product signifies your acceptance of the Terms of Use.