A Verification Method of Time-response Requirements

Yuuma Matsumoto, Atsushi Ohnishi


In order to verify the correctness of functional requirements, we have been developing a verification method of the correctness of functional requirements specification using the Requirements Frame model. In this paper, we propose a verification method of non-functional requirements specification, especially time-response requirements written with a natural language. We establish a verification method by extending the Requirements Frame model. We have also developed a prototype system based on the method using Java. The extended Requirements Frame model and the verification method will be illustrated with examples.


  1. Bo, W., Bin, Y., Zhi, J., Zowghi, D.: “r sigma: Automated reasoning tool for non-functional requirement goal models,” Proc. 19th International Requirements Engineering Conference (RE2011), 2011, pp.337-338.
  2. Chung, L., Nixon, B.A., Yu, E., Mylopoulo,s J.: “NonFunctional Requirements in Software Engineering,” Springer, 1999.
  3. Cin, M, D.: “Structured Language for Specifications of Quantitative Requirements,” Proc. The 5th IEEE International Symposium on High Assurance Systems Engineering (HASE), pp.221-227, 2000.
  4. Cysneiros, L.M., Sampaio, P., Leite, J.C.S.P.: “NonFunctional Requirements: from Elicitation to Conceptual Model,” IEEE Transaction on Software Engineering, IEEE, Vol. 30 No. 5, 2005, pp.328-350.
  5. Fatwanto, A., Boughton, C.: “Analysis, Specification and Modeling of Non-Functional Requirements for Translative Model-Driven Development,” Proc. International Conference on Computational Intelligence and Security (CIS'08), 2008, pp.405-410.
  6. IEEE Standards Board: Section 4.3 “Characteristics of a good SRS,” “IEEE Recommended Practice for Software Requirements Specifications,” IEEE830-1998, 1998.
  7. Irfan, M., Hong, Z.: “Key role of value-oriented requirements to develop real-time database systems,” Proc. IEEE 2nd International Conference on Computing, Control and Industrial Engineering (CCIE), 2011, pp.405-408.
  8. ISO/IEC/IEEE: Systems and software engineering - Life cycle processes- Requirements engineering, International Standard, first edition, 2011, pp.10-11.
  9. Kaiya, H., Ohnishi, A.: “Quality Requirements Analysis Using Requirements Frames ,” Proc. 11th International Conference on Quality Software (QSIC 2011), 2011, pp.198-207.
  10. Ohnishi, A.: “Software Requirements Specification Database Based on Requirements Frame Model,” Proc. 2nd International Conference on Requirements Engineering (ICRE 7896), 1996, pp.221-228.
  11. Saito, Y., Monden, A., Matsumoto K.: “Evaluation of RFPs Based on Machine Learning (in Japanese),” Vol.2013- SE-179, No.5, SIG Technical Report, IPS, Japan, pp.1-7, 2013.
  12. Shank, R.: “Representation and Understanding of Text,” Machine Intelligence 8, Ellis Horwood Ltd., Cambridge, 1977, pp.575-607.

Paper Citation

in Harvard Style

Matsumoto Y. and Ohnishi A. (2016). A Verification Method of Time-response Requirements . In Proceedings of the 11th International Joint Conference on Software Technologies - Volume 1: ICSOFT-EA, (ICSOFT 2016) ISBN 978-989-758-194-6, pages 149-156. DOI: 10.5220/0005973101490156

in Bibtex Style

author={Yuuma Matsumoto and Atsushi Ohnishi},
title={A Verification Method of Time-response Requirements},
booktitle={Proceedings of the 11th International Joint Conference on Software Technologies - Volume 1: ICSOFT-EA, (ICSOFT 2016)},

in EndNote Style

JO - Proceedings of the 11th International Joint Conference on Software Technologies - Volume 1: ICSOFT-EA, (ICSOFT 2016)
TI - A Verification Method of Time-response Requirements
SN - 978-989-758-194-6
AU - Matsumoto Y.
AU - Ohnishi A.
PY - 2016
SP - 149
EP - 156
DO - 10.5220/0005973101490156