DocumentCode
3141607
Title
Towards a categorical framework to ensure correct software evolutions
Author
Bouveret, S. ; Brunel, Jeremie ; Chemouil, D. ; Dagnat, F.
Author_Institution
ONERA-DTIM, Toulouse, France
fYear
2011
fDate
11-16 April 2011
Firstpage
139
Lastpage
144
Abstract
Distributed software, such as satellite software are now developed and managed by several actors. In this context supporting the maintenance and therefore the evolution of such applications is complex and need a formal framework. In this article, we propose a first step towards such a formal framework to ensure the correctness of software evolutions. Using category theory, we can model software and represent patches. This modeling allows to identify the proof obligations that the provider of a patch has to discharge in order to ensure that its patch preserves the correctness of the software.
Keywords
category theory; distributed processing; software maintenance; specification languages; category theory; correct software evolution; distributed software; formal framework; patch representation; proof obligation; satellite software; software modelling; Computer architecture; Connectors; Contracts; Satellites; Semantics; Software; Wire;
fLanguage
English
Publisher
ieee
Conference_Titel
Data Engineering Workshops (ICDEW), 2011 IEEE 27th International Conference on
Conference_Location
Hannover
Print_ISBN
978-1-4244-9195-7
Electronic_ISBN
978-1-4244-9194-0
Type
conf
DOI
10.1109/ICDEW.2011.5767625
Filename
5767625
Link To Document