Abstract
Document driven requirements analysis, as proposed by Prof. David Parnas, which has had some success in practice, focuses on creating concise and complete formal requirements documents to serve as references for formal verification, software design, implementation, testing, inspection, and so on. However, at present large number of requirements documents are still written in natural languages. Therefore, generating formal requirements specification from informal textual requirements description has become a big challenge. In this paper, a concern-based approach to generating formal requirements specification from textual requirements document is proposed, which applies separation of concerns during requirements analysis and utilizes concerns and their relationships to bridge the gap between textual requirements statements and formal requirements documentation. A tool suite has been developed for supporting our approach, and a case study has been performed to illustrate the process of our approach. Results indicate that our approach facilitates guiding the process of formal requirements documentation with concerns and their relationships.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Parnas D L, Madey J. Functional documentation for computer systems. Science of Computer Programming, 1995, 25(1): 41–61
Baber R L, Parnas D L, Vilkomir S A, et al. Disciplined methods of software specification: a case study. In: Proceedings of the International Conference on Information Technology: Coding and Computing (ITCC’05) — Volume II, 2005, 428–437
Heitmeyer C, Bharadwaj R. Applying the SCR requirements analysis method to the Light Control case study. Journal of Universal Computer Science, 2000, 6(7): 650–678
Rashid A, Sawyer P, Moreira A, Araújo J. Early aspects: a model for aspect-oriented requirements engineering. In: Proceedings of IEEE Joint International Requirements Engineering Conference, 2002, 199–202
Moreira A, Rashid A, Araujo J. Multi-dimensional separation of concerns in requirements engineering. In: Proceedings of International Conference on Requirements Engineering (RE). IEEE Computer Society. 2005, 285–296
Sutton S M, Rouvellou I. Concern modeling for aspect-oriented software development. Aspect-Oriented Software Development, Addison-Wesley, 2005, 479–505
Queins S, Zimmermann G, Becker M, et al. The light control case study: problem description. Journal of Universal Computer Science, Special Issue on Requirements Engineering, 2000, 6(7): 586–596
Stutton S M, Rouvellou I. Modeling of software concerns in Cosmos. In: Proceedings of the 1st international conference on Aspect-oriented software development. New York: ACM Press, 2002, 127–133
Jin Y, Parnas D L. Defining the meaning of tabular mathematical expressions. Journal Science of Computer Programming (in press)
Jin Y, Zhang J, Ma P F, Hao W P, Luo S T, Li Z P. Applying Pagerank algorithm in requirement concern impact analysis. In: Proceedings of 33rd Annual IEEE International Computer Software and Applications Conference, vol. 1, 2009, 361–366
Zhang J, Jin Y, Hao W P, Ma P F, Zhang Y, Li Z P. Concern relationship graph based requirement traceability. Journal of Computer Science special issue, 2009, 36(9): 50–54 (in Chinese)
Graphviz- Graph Visualization Software. http://www.graphviz.org/
Jin Y, Hao W P, Ma P F, Zhang Y. Applying concern-based requirement method on Light Control System: a case study. Technical Report, Laboratory of Software Formalization, Jilin University. September, 2009
Jin Y, Zhang J, Hao W P, Ma P F. Concern-based approach to generating SCR requirements specification: a case study. 2009 WRI World Congress on Computer Science and Information Engineering, vol. 7, 2009, 695–700
Liu S, Offutt A J, Ho-Stuart C, Sun Y, Ohba M. SOFL: a formal engineering methodology for industrial applications. IEEE Trans. Software Engineering, 1998, 24(1): 337–344
Warmer J, Kleppe P. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998
Arajo J, Whittle J, Kim D. Modeling and composing scenario-based requirements with aspects. In: Proceedings of the 12th IEEE International Requirements Engineering Conference (RE2004) (Kyoto, Japan), September 2004, 58–67
Sidek R M, Ahmad N. Deriving formal Specification using Z Notation. In: Proceedings of International Conference on Computer Technology and Development, vol. 1, 2009, 225–229
Baniassad E L A, Clements P, Araujo J, Moreira A, Rashid A, Tekinerdogan B. Discovering early aspects. IEEE Software. 2006, 23(1): 61–69
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Jin, Y., Zhang, J., Hao, W. et al. A concern-based approach to generating formal requirements specifications. Front. Comput. Sci. China 4, 162–172 (2010). https://doi.org/10.1007/s11704-010-0151-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11704-010-0151-y