SpringerLink
Log in

Patterns for Activities on Formalization Based Requirements Reuse

  • Conference paper
Knowledge Engineering and Management

Part of the book series: Advances in Intelligent and Soft Computing ((AINSC,volume 123))

Abstract

This paper aims at specifying procedures and patterns for develo** high-quality reusable requirements and for engineering new requirements documents with reuse. Formalization of the requirements is a promising approach to validating requirements in the reuse process. It improves the consistency, correctness, and completeness of reusable requirements. This paper reviews the current research on reuse and requirements formalization. Based on a strategy that introduces formalization into systematic requirements reuse, we present patterns for activities on formalization-based requirements reuse.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
GBP 19.95
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
GBP 143.50
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
GBP 179.99
Price includes VAT (United Kingdom)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free ship** worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. McClure, C.: Software Reuse: A Standards-based Guide. IEEE Computer Society, Los Alamitos (2001)

    Google Scholar 

  2. Gibbs, W.W.: Software Chronic Crisis. Scientific American 271(3), 86–95 (1994)

    Article  Google Scholar 

  3. Knethen, V.A., Peach, B., Kiedaisch, F., Houdek, F.: Systematic requirements recycling through abstraction and traceability. In: Proceedings of IEEE Joint International Conference on Requirements Engineering, Essen, Germany, pp. 273–281 (2002)

    Google Scholar 

  4. Cheng, B.H.C., Atlee, J.M.: Research directions in requirements engineering. In: Proceedings of Future of Software Engineering, FOSE 2007 (2007)

    Google Scholar 

  5. Fraser, D.M., Kumar, K., Vaishnavi, V.K.: Informal and Formal Requirements Specification Languages: Bridging the Gap. IEEE Transactions On Software Engineering 17(5) (1991)

    Google Scholar 

  6. Dulac, N., Viguier, T., Leveson, N., Storey, M.: On the Use of Visualization in Formal Requirements Specification. In: Proceedings of the 10th Anniversary. IEEE Joint International Conference on Requirements Engineering (2002)

    Google Scholar 

  7. van Lamsweerde, A.: Requirements Engineering – From system goals to UML models to software specifications. Wiley (2009)

    Google Scholar 

  8. Jacobson, I., Griss, M.L., Jonsson, P.: Reuse-driven Software Engineering Business (RSEB). Addison-Wesley (1997)

    Google Scholar 

  9. Zhang, Z.: Model Component Reuse: Conceptual Foundations and Application in the Metamodeling Based Systems Analysis and Design Environment, Doctoral thesis, Department of Computer Science and Information Systems, Univ. of Jyväskylä, Jyväskylä Studies in Computing (39) (2004)

    Google Scholar 

  10. Neighbors, J.M.: Draco: A method for engineering reusable software systems. In: Software Reusability. Concepts and Models. ACM Frontier Series, vol. I, pp. 295–219. Addison-Wesley, NY (1989)

    Google Scholar 

  11. Kang, K.C., et al.: FORM: A feature-oriented reuse method with domain-specific reference architectures. Annals of Software Engineering 5(1), 143–168 (1998)

    Article  Google Scholar 

  12. Clements, P., Northrop, L.: Software Product Lines. Addison-Wesley, Reading (2002)

    Google Scholar 

  13. Pohl, K., Bockle, G., van der Linden, F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, Heidelberg (2005)

    MATH  Google Scholar 

  14. Karlsson, E.: Software Reuse: A Holistic Approach. Wiley Series in Software Based Systems. John Wiley and Sons Ltd (1995)

    Google Scholar 

  15. Shehata, M., Eberlein, A., Hoover, J.: Requirements Reuse and Feature Interaction Management. In: Proceedings of the 15th International Conference on Software and Systems Engineering and their Applications (ICSSEA 2002), Paris, France (2002)

    Google Scholar 

  16. Maiden, N.A.M., Sutcliffe, A.G.: Reuse of Analogous Specificaitons during Requirements Analysis. In: Proceedings of the Sixth International Workshop on Software Specification and Design, pp. 220–223 (1991)

    Google Scholar 

  17. Lam, W.: Reasoning about requirements from past cases, PhD thesis. Kings College, University of London (1994)

    Google Scholar 

  18. Lopez, O., Laguna, M.A., Garcia, F.J.: Metamodeling for Requirements Reuse. In: Anais do WER 2002 - Workshop em Engenharia de Requisitos, Valencia, Spain (2002)

    Google Scholar 

  19. Moon, M., Chae, H.S., Yeom, K.: An approach to develo** domain requirements as a core asset based on commonality and variability analysis in a product line. IEEE Trans. Softw. 31(7), 551–569 (2005)

    Article  Google Scholar 

  20. Liaskos, S., Lapouchnian, A., Yu, Y.E., Mylopoulos, J.: On goal-based variability acquisition and analysis. In: Proc. RE 2006, Minneapolis, USA (2006)

    Google Scholar 

  21. Niu, N., Easterbrook, S.: Extracting and modeling product line functional requirements. In: Proc. RE 2008, Barcelona, Spain, September 8-12, pp. 155–164 (2008)

    Google Scholar 

  22. Nuseibeh, B., Easterbrook, S.: Requirements Engineering: A Roadmap. In: Proceedings of 22nd International Conference on Software Engineering, Future of Software Engineering Track, Limerick, Ireland, pp. 35–46 (2000)

    Google Scholar 

  23. IEEE Recommended practice for software requirements specification. IEEE Standard 8301998 (1998)

    Google Scholar 

  24. Lam, W., Whittle, B.R.: A Taxonomy of Domain-Specific Reuse Problems and their Resolutions - Version 1.0. Software Engineering Notes 21(5) (1996)

    Google Scholar 

  25. Kotonya, G., Somerville, I.: Requirements Engineering. John Wiley & Sons (1998)

    Google Scholar 

  26. Pohl, K.: The three dimensions of requirements engineering: a framework and its applications. Information Systems 19(3) (1994)

    Google Scholar 

  27. Dahlstedt, Å., Persson, A.: Requirements Interdependencies: State of the Art and Future Challenges. In: Engineering and Managing Software Requirements, pp. 95–116 (2005)

    Google Scholar 

  28. Méry, D., Singh, N.K.: Trustable Formal Specification for Software Certification. In: Proceedings of ISoLA 2010, Heraklion, Crete, Greece, pp. 312–326 (2010)

    Google Scholar 

  29. Lee, S.W., Rine, D.C.: Missing Requirements and Relationship Discovery through Proxy Viewpoints Model. Studia Informatica Universalis 3(3), 315–342 (2004)

    Google Scholar 

  30. Nummenmaa, J., Zhang, Z., Nummenmaa, T., Berki, E., Guo, J., Wang, Y.: Generating Action-Based Executable Specifications from Functional Requirements. University report, University of Tampere (2010)

    Google Scholar 

  31. Luisa, M., Mariangela, F., Pierluigi, I.: Market research for requirements analysis using linguistic tools. Requirements Engineering 9(1), 40–56 (2004)

    Article  Google Scholar 

  32. Mich, L., Garigliano, R.: Ambiguity measures in requirements engineering. In: Proceedings of ICS 2000 16th IFIP WCC, Bei**g, China, pp. 39–48 (2000)

    Google Scholar 

  33. Yue, T., Briand, L., Labiche, Y.: A Systematic Review of Transformation Approaches between User Requirements and Analysis Models. In: Requirements Engineering. Springer (2010)

    Google Scholar 

  34. Mu, Y., Wang, Y., Guo, J.: Extracting Software Functional Requirements from Free Text Documents. In: Proceedings of ICIMT 2009, Jeju Island, South Korea (2009)

    Google Scholar 

  35. The Stanford Parser, http://nlp.stanford.edu/index.shtml (access date: May, 2011)

  36. Fillmore, C.: The case for case. In: Bach, E., Harms, R. (eds.) Universals in Linguistic Theory, Holt, Rinehart and Winston, pp. 1–88. Holt, Rinehart and Winston (1968)

    Google Scholar 

  37. Semantic Role Labeling, http://www.lsi.upc.edu/~srlconll/home.html (access date: March 2011)

  38. Ranta, A.: Grammatical Framework: Programming with Multilingual Grammars. CSLI Publications, Stanford (2011)

    Google Scholar 

  39. Díaz, I., Pastor, O., Matteo, A.: Modeling Interactions using Role-Driven Patterns. In: Proceedings of RE 2005, Paris, France, pp. 209–220 (2005)

    Google Scholar 

  40. Śmiałek, M., Bojarski, J., Nowakowski, W., Ambroziewicz, A., Straszak, T.: Complementary Use Case Scenario Representations Based on Domain Vocabularies. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 544–558. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  41. Zhang, Z., Arvela, M., Berki, E., Muhonen, M., Nummenmaa, J., Poranen, T.: Towards Lightweight Requirements Documentation. Journal of Software Engineering and Applications 3(9), 882–889 (2010)

    Article  Google Scholar 

  42. Van, H.T., van Lamsweerde, A., Massonet, P., Ponsard, C.: Gpaö-oriented requirements animation. In: Proc. Of the IEEE Int. Reg. Eng. Conf., pp. 218–228 (2004)

    Google Scholar 

  43. Balzer, R.M., Goldman, N.M., Wile, D.S.: Operational Specification as the Basis for Rapid Prototy**. ACM SIGSOFT Softw. Eng. Notes 7(5), 3–16 (1982)

    Article  Google Scholar 

  44. Magee, J., Pryce, N., Giannakopoulou, D., Kramer, J.: Graphical animation of behavior models. In: Proc. Of the IEEE Int. Conf. on Soft. Eng (ICSE), pp. 499–508 (2000)

    Google Scholar 

  45. Kurki-Suonio, R.: A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors. Springer (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Information Sciences, University of Tampere, Tampere, Finland

    Zheying Zhang, Jyrki Nummenmaa & **g Ma

  2. Department of Computer Science & Engineering, Shanghai Jiao Tong Univeristy, Shanghai, 200240, China

    Jianmei Guo & Yinglin Wang

Authors
  1. Zheying Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jyrki Nummenmaa
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jianmei Guo
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. **g Ma
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Yinglin Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science and Engineering, Shanghai Jiao Tong University, 800 Dongchuan Road, 200240, Shanghai, China

    Yinglin Wang

  2. School of Information Science and Technology, Southwest Jiaotong University, 610031, Chengdu, Sichuan Province, China

    Tianrui Li

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zhang, Z., Nummenmaa, J., Guo, J., Ma, J., Wang, Y. (2011). Patterns for Activities on Formalization Based Requirements Reuse. In: Wang, Y., Li, T. (eds) Knowledge Engineering and Management. Advances in Intelligent and Soft Computing, vol 123. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25661-5_86

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-25661-5_86

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-25660-8

  • Online ISBN: 978-3-642-25661-5

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation