Models for Configuration Management of Refinement Calculus Developments

Abstract

This paper considers aspects of Software Configuration Management (SCM) in its role of supporting configurations that arise in development of software using the refinement calculus. From an SCMperspective, the primary difference between formal development methods, such as the refinement calculus, and traditional development methods is the nature of relationships within the development configuration. The relationships are very precise; occur at much finer levels of granularity; and evolve through an iterative/intertwined development process. In analysing support for the refinement calculus, this paper proposes a configuration model which defines the relationships that occur during development and how these relationships evolve as development activities are applied and modifications are made. The configuration model enables properties regarding relationships to be formally inferred. The results of these inferences may be used in developing automated support for refinement calculus developments, such as change impact analysis, traceability and remanufacturing services.

Contributors

Kelvin J. Ross

Conference

Publication date: July 1996

Publication date (Print): July 1996

Pages: 1-25

Affiliations

Software Verification Research Centre

Department of Computer Science

The University of Queensland

Queensland 4072, Australia

Article

DOI: 10.14236/ewic/RW1996.13

Copyright statement: © Kelvin J. Ross. Published by BCS Learning and Development Ltd. Proceedings of the BCS-FACS 7th Refinement Workshop, Bath

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Proceedings of the BCS-FACS 7th Refinement Workshop

Conference acronym: RW

Conference number: 7

Conference location: Bath

Conference date: 3-5 July 1996

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: BCS-FACS 7th Refinement Workshop

Product

Product Information: 1477-9358BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/RW1996.13

Self URI (journal page): https://ewic.bcs.org/

Categories

Series title: Electronic Workshops in Computing