A theory of change for prioritised resilient and evolvable software systems.
The process of completing, correcting and prioritising specifications is an essential but very complex task for the maintenance and improvement of software systems. The preservation of functionalities and the ability to accommodate changes are main objectives of the software development cycle to gua...
| Published in: | Synthese Vol. 198; no. 23; pp. 5719 - 5745 |
|---|---|
| Main Authors: | , , |
| Format: | Article |
| Published: |
Springer Nature
Oct2021 Supplement 23
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=153415561&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 153415561 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00397857 4LI jtl: Synthese issn: 00397857 maglogo: N pubinfo: dt: Oct2021 Supplement 23 vid: 198 iid: 23 pid: 237 pub: Springer Nature artinfo: ui: 153415561 10.1007/s11229-019-02305-7 ppf: 5719 ppct: 26 formats: fmt: – @attributes: type: T – @attributes: type: P size: 1MB tig: atl: A theory of change for prioritised resilient and evolvable software systems. aug: au: Primiero, Giuseppe Raimondi, Franco Chen, Taolue affil: Department of Philosophy, University of Milan, Via Festa del Perdono 7, 20122, Milan, Italy Department of Computer Science, Middlesex University London, The Borroughs, NW4 4BT, London, UK Dipartimento di Matematica e Fisica, Universitá degli Studi della Campania, Salerno, Italy Department of Computer Science and Information Systems, Birkbeck, University of London, Malet Street, WC1E 7HX, London, UK su: Systems software Theory of change Software maintenance Reliability in engineering Computer software development sug: subj: Systems software Theory of change Software maintenance Reliability in engineering Computer software development keyword: Software evolution Software evolvability Software reliability Software resilience ab: The process of completing, correcting and prioritising specifications is an essential but very complex task for the maintenance and improvement of software systems. The preservation of functionalities and the ability to accommodate changes are main objectives of the software development cycle to guarantee system reliability. Logical theories able to fully model such processes are still insufficient. In this paper we propose a full formalisation of such operations on software systems inspired by the Alchourrón–Gärdenfors–Makinson (AGM) paradigm for belief revision of human epistemic states. We represent specifications as finite sets of formulas equipped with a priority relation that models functional entrenchment of properties. We propose to handle specification incompleteness through ordered expansion, inconsistency through ordered safe contraction and prioritisation through revision with reordering, and model all three in an algorithmic fashion. We show how the system satisfies basic properties of the AGM paradigm, including Levi's and Harper's identities. We offer a concrete example and complexity results for the inference and model checking problems on revision. We conclude by describing resilience and evolvability of software systems based on such revision operators. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Synthese is a copyright of Springer, 2021. All Rights Reserved. item: Synthese holder: Springer Nature dt: @attributes: year: 2021 holdings: @attributes: islocal: N |
|---|