A formal approach for software maintenance

Software systems evolve because user requirements change over time. Maintaining software systems is a challenge, especially when the old behavior has to be preserved while new functionality is added. In this paper, we extend the transformational model to the maintenance phase and call it extended tr...

Full description

Saved in:
Bibliographic Details
Published inInternational Conference on Software Maintenance, 2002. Proceedings pp. 608 - 617
Main Authors Waqar, U., Khendek, F., Vincent, D.
Format Conference Proceeding
LanguageEnglish
Published Piscataway NJ IEEE 2002
Subjects
Applied sciences
Automata
Computer aided software engineering
Computer science; control theory; systems
Corporate acquisitions
Exact sciences and technology
Formal languages
Research and development
Signal processing
Software
Software engineering
Software maintenance
Software systems
Specification languages
Telecommunications
Enrichment
Special purpose language
Computer software maintenance
Specification language
Description language
Formal method
Message passing
User requirement
User need
Online AccessGet full text

Cover

More Information
Summary:Software systems evolve because user requirements change over time. Maintaining software systems is a challenge, especially when the old behavior has to be preserved while new functionality is added. In this paper, we extend the transformational model to the maintenance phase and call it extended transformational model. Using this extended transformational model, we develop an approach to maintain SDL (Specification and Description Language) specifications. This approach consists of enriching, in three phases, SDL specifications with new behaviors specified with another formal language, MSC (Message Sequence Charts). The approach is based on a formally defined enrichment relation that must hold between the old and the new SDL specifications.
ISBN:0769518192
9780769518190
ISSN:1063-6773
2576-3148
DOI:10.1109/ICSM.2002.1167825