Theoretical foundations of updating systems

Software systems inevitably require update and revision during their lifetime. The concept of features is often used to model system update: a feature is a unit of functionality which may be integrated into a base system. Possible features of an email client program include: spam filtering, absence...

Full description

Saved in:
Bibliographic Details
Published in18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings pp. 291 - 294
Main Authors Harris, Hannah, Ryan, Mark
Format Conference Proceeding
LanguageEnglish
Published Piscataway, NJ, USA IEEE Press 06.10.2003
IEEE
SeriesACM Conferences
Subjects
Artificial intelligence
Computer science
Cryptography
Filtering
Home computing
Logic
Software engineering
Software systems
Telephony
Theory of computation
Theory of computation > Logic
Online AccessGet full text
ISBN0769520359
9780769520353
ISSN1938-4300
DOI10.1109/ASE.2003.1240323

Cover

More Information
Summary:Software systems inevitably require update and revision during their lifetime. The concept of features is often used to model system update: a feature is a unit of functionality which may be integrated into a base system. Possible features of an email client program include: spam filtering, absence messages, selective forwarding and encryption. In our work, we use AI techniques to understand the operation of feature integration more clearly. In particular, we have taken SMV Feature Integrator (SFI), a tool which automates feature integration on systems described using the model checker SMV. Then we have taken update which is an operation of theory change, closely related to belief revision, and defined over propositional logic. We formulate and prove a theorem stating that SFI feature integration is an update operation. A longer version of this paper can be found at http://www.cs.bham.ac.uk/~mdr/papers/index.html.
ISBN:0769520359
9780769520353
ISSN:1938-4300
DOI:10.1109/ASE.2003.1240323