Banach, R., Jeske, C. and Poppleton, M.
Composition mechanisms for retrenchment
Journal of Logic and Algebraic Programming, 75, (2), . (doi:10.1016/j.jlap.2007.11.001).
Retrenchment is a flexible model evolution formalism that arose as a reaction to the limitations imposed by refinement, and for which the proof obligations feature additional predicates for accommodating design data. Composition mechanisms for retrenchment are studied. Vertical, horizontal, dataflow, parallel and fusion compositions are described. Of particular note are the means by which the additional predicates compose. It is argued that all of the compositions introduced are associative, and that they are mutually coherent. Composition of retrenchment with refinement, so important for the smooth interworking of the two techniques, is discussed. Decomposition, allowing finer grained retrenchments to be extracted from a single large grained retrenchment, is also investigated.
|Digital Object Identifier (DOI):
||retrenchment, refinement, composition, decomposition, requirements engineering, model evolution
||Electronic & Software Systems
|18 January 2008||e-pub ahead of print|
||03 Aug 2008 22:42
||17 Apr 2017 19:02
|Further Information:||Google Scholar|
Actions (login required)