Abstract
A key to success of high quality software development is to define valid and feasible requirements specification. We have proposed a method of model-driven requirements analysis using Unified Modelling Language (UML). The main feature of our method is to automatically generate a Web user interface prototype from UML requirements analysis model so that we can confirm validity of input/output data for each page and page transition on the system by directly operating the prototype. This paper proposes a data life cycle verification method using a model checking technique UPPAAL. Exhaustive checking improves the quality of requirements analysis model which are validated by the customers through automatically generated prototype.
| Original language | English |
|---|---|
| Title of host publication | ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems |
| Pages | 401-406 |
| Number of pages | 6 |
| Volume | 2 ISAS |
| Edition | SAIC/- |
| Publication status | Published - 2012 |
| Event | 14th International Conference on Enterprise Information Systems, ICEIS 2012 - Wroclaw Duration: 2012 Jun 28 → 2012 Jul 1 |
Other
| Other | 14th International Conference on Enterprise Information Systems, ICEIS 2012 |
|---|---|
| City | Wroclaw |
| Period | 12/6/28 → 12/7/1 |
Fingerprint
Keywords
- Model checking
- Model driven development
- Quality improvement
- Requirements analysis
ASJC Scopus subject areas
- Information Systems and Management
Cite this
Quality improvement of requirements specification using model checking technique. / Aoki, Yoshitaka; Ogata, Shinpei; Okuda, Hirotaka; Matsuura, Saeko.
ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems. Vol. 2 ISAS SAIC/-. ed. 2012. p. 401-406.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
TY - GEN
T1 - Quality improvement of requirements specification using model checking technique
AU - Aoki, Yoshitaka
AU - Ogata, Shinpei
AU - Okuda, Hirotaka
AU - Matsuura, Saeko
PY - 2012
Y1 - 2012
N2 - A key to success of high quality software development is to define valid and feasible requirements specification. We have proposed a method of model-driven requirements analysis using Unified Modelling Language (UML). The main feature of our method is to automatically generate a Web user interface prototype from UML requirements analysis model so that we can confirm validity of input/output data for each page and page transition on the system by directly operating the prototype. This paper proposes a data life cycle verification method using a model checking technique UPPAAL. Exhaustive checking improves the quality of requirements analysis model which are validated by the customers through automatically generated prototype.
AB - A key to success of high quality software development is to define valid and feasible requirements specification. We have proposed a method of model-driven requirements analysis using Unified Modelling Language (UML). The main feature of our method is to automatically generate a Web user interface prototype from UML requirements analysis model so that we can confirm validity of input/output data for each page and page transition on the system by directly operating the prototype. This paper proposes a data life cycle verification method using a model checking technique UPPAAL. Exhaustive checking improves the quality of requirements analysis model which are validated by the customers through automatically generated prototype.
KW - Model checking
KW - Model driven development
KW - Quality improvement
KW - Requirements analysis
UR - http://www.scopus.com/inward/record.url?scp=84865709653&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84865709653&partnerID=8YFLogxK
M3 - Conference contribution
SN - 9789898565105
VL - 2 ISAS
SP - 401
EP - 406
BT - ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems
ER -