Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Formalizing the transition from requirements’ change to design change using an evolutionary traceability model
Wen L., Tuffley D., Dromey R. Innovations in Systems and Software Engineering10 (3):181-202,2014.Type:Article
Date Reviewed: Jun 17 2015

The evolution and maintenance of software is a field where theory has always been ahead of practice. In particular, it’s notoriously hard to introduce functional changes and document these in a way that guarantees the integrity of the system.

This paper discusses a behavior engineering (BE) approach to definition, design, and documentation of functional changes, using as examples two real-life applications, a microwave oven and a satellite control system. BE is a formal approach that ultimately allows one to derive an implementation from a set of requirements. The behavior of the system is modeled through behavior trees, which function as finite state machines capturing the behavior associated with each component.

One of the major challenges of behavior engineering is the documentation of changes and software evolution. While agile methods document the changes (and exchanges) by developers, this paper proposes a formalized approach, by modifying a design behavior tree (devDBT) with change requirements, called an evolutionary DBT.

Practitioners interested in formal modeling of system behavior and change management will find this paper interesting, even though the cost and usability of the formalization of complex systems is still an open question.

Reviewer:  Rosario Uceda-Sosa Review #: CR143533 (1509-0785)
Bookmark and Share
  Featured Reviewer  
 
Requirements/ Specifications (D.2.1 )
 
 
Adaptable Architectures (C.1.3 ... )
 
 
Evolutionary Prototyping (D.2.2 ... )
 
Would you recommend this review?
yes
no
Other reviews under "Requirements/Specifications": Date

Moriconi M. (ed), Lansky A.Type: Article
Dec 1 1985
A unifying framework for structured analysis and design models
Tse T., Cambridge University Press, New York, NY, 1991. Type: Book (9780521391962)
Jun 1 1992
A skeleton interpreter for specialized languages
Steensgaard-Madsen J.  Programming Languages and System Design (, Dresden, East Germany,1861983. Type: Proceedings
Mar 1 1985
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy