Abstract
Requirements analysis for understanding the user’s requirements and producing a specification is an important but challenging activity in software development. In this paper, we discuss how the activity can be strengthened by means of pattern-based formal specification construction. We explain the concept of specification pattern and describe how patterns are treated as knowledge stored on computer to guide the user in carrying out the analysis of a functional requirement. Our approach is characterized by the fact that the user only needs to work on natural language level while the computer will automatically select appropriate specification patterns to provide clear instructions on the action to be taken by the user and to eventually form a formal specification or expression as a result. We present a software tool and an experiment to demonstrate the supportability and applicability of our approach, respectively.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Knauss, E., Damian, D., Poo-Caamano, G., Cleland-Huang, J.: Detecting and classifying patterns of requirements clarifications. In: 20th IEEE International Conference on Requirements Engineering, pp. 251–260, September 2012
Kotonya, G., Sommerville, I.: Requirements Engineering - Processes and Techniques. Wiley, Chichester (1998)
Woodcock, J., Larsen, P.G., Bicarregui, J., Fitzgerald, J.: Formal methods: practice and experience. ACM Comput. Surv. 41(4), 1–39 (2009)
Parnas, D.L.: Really rethinking formal methods. Computer 43(1), 28–34 (2010)
Shalloway, A., Trott, J.R.: Design Patterns Explained, 2nd edn. Pearson Education Inc., Boston (2005)
Wang, X.: A pattern-based approach to requirements formalization and its supporting tool. Ph.D. thesis, Hosei University, Tokyo, Japan, March 2014
Fantechi, A., Gnesi, S., Ristori, G., Carenini, M., Vanocchi, M., Moreschini, P.: Assisting requirement formalization by means of natural language translation. Formal Methods Syst. Des. 4(3), 243–263 (1994)
Leitao, D., Torres, D., Barros, F.: Motorola NLForSpec: translating natural language descriptions into formal test case specifications. available on the Internet, Not officially published but available on the Internet
Stepney, S., Polack, F.A.C., Toyn, I.: An outline pattern language for Z: five illustrations and two tables. In: Bert, D., Bowen, J.P., King, S., Waldén, M. (eds.) ZB 2003. LNCS, vol. 2651, pp. 2–19. Springer, Heidelberg (2003)
Grunske, L.: Specification patterns for probabilistic quality properties. In: 30th International Conference on Software Engineering, pp. 31–40 (2008)
Ding, J., Mo, L., He, X.: An approach for specification construction using property-preserving refinement patterns. In: SAC, pp. 797–803 (2008)
Konrad, S., Cheng, B.H.C.: Real-time specification patterns. In: 27th International Conference on Software Engineering, ICSE 2005, pp. 372–381. ACM (2005)
Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Pattern in property specifications for finite-state verification. In: 21th International Conference on Software Engineering, pp. 411–420. ACM, New York (1999)
Dong, J.S., Hao, P., Qin, S., Sun, J., Yi, W.: Timed automata patterns. IEEE Trans. Softw. Eng. 34(6), 844–859 (2008)
Ackermann, J., Turowski, K.: A library of OCL specification patterns for behavioral specification of software components. In: Martinez, F.H., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 255–269. Springer, Heidelberg (2006)
Acknowledgment
This work was supported by JSPS KAKENHI Grant Number 26240008. It was also partly supported by NSF of China (No. 61402178) and the Shanghai STCSM Project (No. 14YF1404300).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Liu, S., Wang, X., Miao, W. (2015). Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction. In: Butler, M., Conchon, S., Zaïdi, F. (eds) Formal Methods and Software Engineering. ICFEM 2015. Lecture Notes in Computer Science(), vol 9407. Springer, Cham. https://doi.org/10.1007/978-3-319-25423-4_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-25423-4_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-25422-7
Online ISBN: 978-3-319-25423-4
eBook Packages: Computer ScienceComputer Science (R0)