Scalable Templates for Specification Reuse

  • Authors:
  • Chia-Chu Chiang;Joseph E. Urban

  • Affiliations:
  • -;-

  • Venue:
  • COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

Abstract

Software reuse should not be limited to only code. Software reuse should be engineered as early as possible in the software development life cycle. We address specification reuse by defining templates of specifications and then instantiating them to yield specific specifications. From the perspective of software reuse in the large, reusable templates should be created as scalably as possible. Existing technologies for building reusable templates suffer the problems of scalability. Schemes (generic and parameterized modules) in TUG (Tree Unified with Grammar) facilitate specifiers to build scalable templates hierarchically without replication. Reuse is performed vertically and horizontally. Vertical reuse makes a lower scheme inherit all features from its upper level scheme. Horizontal reuse makes a scheme reusable within the same level of abstraction. Parametric building and incremental building are two techniques for realizing the vertical and horizontal reuse. We present a scheme for a generalized inventory control system and demonstrate how a generalized inventory control scheme can be reused to model a library system. Finally, the capabilities, strengths, and weaknesses are discussed.