On the Use of Model Checking in Verification of Evolving Agile Software Frameworks: An Exploratory Case Study

Nan Niu, Steve Easterbrook

Abstract

Evolution is a basic fact of software life. Domain-specific agile software frameworks are key to modern enterprise information systems (EIS). We propose a model checking approach to formal verification of agile frameworks that evolve continuously. The results obtained can be used to justify the maintenance activities in software evolution and identify important but implicit assumptions about the application domain of the framework. An industrially relevant exploratory case study is conducted to validate our hypothesis and proactively direct future research.

References

  1. Niu, N.: Formally Understanding the Behavior of a Framework's Transaction Management. Master's Thesis, Department of Computing Science, University of Alberta, 2003.
Download


Paper Citation


in Harvard Style

Niu N. and Easterbrook S. (2005). On the Use of Model Checking in Verification of Evolving Agile Software Frameworks: An Exploratory Case Study . In Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2005) ISBN 972-8865-22-8, pages 115-117. DOI: 10.5220/0002560801150117


in Bibtex Style

@conference{msvveis05,
author={Nan Niu and Steve Easterbrook},
title={On the Use of Model Checking in Verification of Evolving Agile Software Frameworks: An Exploratory Case Study},
booktitle={Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2005)},
year={2005},
pages={115-117},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002560801150117},
isbn={972-8865-22-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2005)
TI - On the Use of Model Checking in Verification of Evolving Agile Software Frameworks: An Exploratory Case Study
SN - 972-8865-22-8
AU - Niu N.
AU - Easterbrook S.
PY - 2005
SP - 115
EP - 117
DO - 10.5220/0002560801150117