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 |
| Edition | SAIC/- |
| Publication status | Published - 2012 Sep 10 |
| Event | 14th International Conference on Enterprise Information Systems, ICEIS 2012 - Wroclaw, Poland Duration: 2012 Jun 28 → 2012 Jul 1 |
Publication series
| Name | ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems |
|---|---|
| Number | SAIC/- |
| Volume | 2 ISAS |
Conference
| Conference | 14th International Conference on Enterprise Information Systems, ICEIS 2012 |
|---|---|
| Country | Poland |
| 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
Aoki, Y., Ogata, S., Okuda, H., & Matsuura, S. (2012). Quality improvement of requirements specification using model checking technique. In ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems (SAIC/- ed., pp. 401-406). (ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems; Vol. 2 ISAS, No. SAIC/-).