NDLI: Hiding expressed using relation algebra with multi-relations-oblique lifting and lowering for unbalanced systems

Content Provider	IEEE Xplore Digital Library
Author	Bril, R.J. Feijs, L.M.G. Glas, A. Krikhaar, R.L. Winter, T.
Copyright Year	2000
Description	Author affiliation: Philips Res. Lab., Eindhoven, Netherlands (Bril, R.J.)
Abstract	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 advantage 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 hiding 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 weights are described, including the formalization of their related operations, with each weight having its own merits during architectural analysis.
Starting Page	33
Ending Page	43
File Size	135098
Page Count	11
File Format	PDF
ISBN	0769505465
DOI	10.1109/CSMR.2000.827304
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2000-03-03
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Algebra Software architecture Laboratories Read only memory Reverse engineering Visualization Computer architecture Formal specifications Software maintenance Software systems
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Using design patterns to derive PAC architectures from Object-Z specifications

Analyzing Java software by combining metrics and program visualization

Architecture level prediction of software maintenance

Rose/Architect: a tool to visualize architecture

A practical program transformation system for reverse engineering

ReVis: reverse engineering by clustering and visual object classification

SAVE: Software Architecture Visualization and Evaluation

Implementing the Real-Time Processes of RTPA using Real-Time Java

Formal program reversing by conditioned slicing

Hiding expressed using relation algebra with multi-relations-oblique lifting and lowering for unbalanced systems

Similar Documents

Using design patterns to derive PAC architectures from Object-Z specifications

Analyzing Java software by combining metrics and program visualization

Architecture level prediction of software maintenance

Rose/Architect: a tool to visualize architecture

A practical program transformation system for reverse engineering

ReVis: reverse engineering by clustering and visual object classification

SAVE: Software Architecture Visualization and Evaluation

Implementing the Real-Time Processes of RTPA using Real-Time Java

Formal program reversing by conditioned slicing

Hiding expressed using relation algebra with multi-relations-oblique lifting and lowering for unbalanced systems