Composition mechanisms for retrenchment

Banach, R., Jeske, C. and Poppleton, M. (2008) Composition mechanisms for retrenchment. Journal of Logic and Algebraic Programming, 75, (2), 209-229. (doi:10.1016/j.jlap.2007.11.001).


[img] PDF - Version of Record
Download (157Kb)


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.

Item Type: Article
Digital Object Identifier (DOI): doi:10.1016/j.jlap.2007.11.001
ISSNs: 1567-8326 (print)
Keywords: retrenchment, refinement, composition, decomposition, requirements engineering, model evolution
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions : Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 266492
Accepted Date and Publication Date:
April 2008Published
18 January 2008Made publicly available
Date Deposited: 03 Aug 2008 22:42
Last Modified: 31 Mar 2016 14:12
Further Information:Google Scholar

Actions (login required)

View Item View Item

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics