Skip to main content
SpringerLink
Log in

The Formal Reference Model for Software Requirements

  • Conference paper
  • First Online:
Book cover Evaluation of Novel Approaches to Software Engineering (ENASE 2018)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 1023))

Abstract

The formal reference model for software requirements must be useful for specification of mappings from both functional and non-functional requirements. The topological functioning model (TFM) can serve as such reference model for specifying mappings from software requirements to functional characteristics and structure of the modeled system. Different types of mapping of functional requirements and their aspects such as completeness and overlapping have mathematical background and can be described using mathematical constructs (the inclusion predicate, disjoint predicate, covering predicate, projection, and separation family of functions), as well as meta-classes in the metamodel. This paper continues the previous work and illustrates the way how specification of the TFM functional characteristics and causal relationships can be extended and can represent mappings from the requirements as tuples of TFM functional features extended with requirements sets and mapping characteristics, namely, completeness and overlapping for functional requirements, and, additionally, scope and dynamic characteristics for non-functional ones. This allows formal tracing from the whole set of requirements to software implementing constructs via TFM elements and vice versa, that could be useful for further architectural decisions and development of test cases.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 64.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 84.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Charette, R.N.: Why software fails. IEEE Spectrum (2005). https://spectrum.ieee.org/computing/software/why-software-fails. Accessed 19 Aug 2018

  2. Wiegers, K., Beatty, J.: Software Requirements, 3rd edn. Microsoft Press, Redmond (2013)

    Google Scholar 

  3. Liu, Y., Ma, Z., Shao, W.: Integrating non-functional requirement modeling into model driven development method. In: 2010 Asia Pacific Software Engineering Conference, Sydney, pp. 98–107. IEEE (2010)

    Google Scholar 

  4. Osis, J., Asnina, E.: Topological modeling for model-driven domain analysis and software development : functions and architectures. In: Model-Driven Domain Analysis and Software Development: Architectures and Functions, pp. 15–39. IGI Global, Hershey (2011)

    Google Scholar 

  5. IGI Global: What is reference model. https://www.igi-global.com/dictionary/reference-model/24810. Accessed 19 Aug 2018

  6. Nazaruka, E., Osis, J.: The topological functioning model as a reference model for software functional and non-functional requirements. In: Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, {ENASE} 2018, Funchal, Madeira, pp. 467–477. SciTePress, Portugal (2018)

    Google Scholar 

  7. Asnina, E., Osis, J.: Computation independent models: bridging problem and solution domains. In: Proceedings of the 2nd International Workshop on Model-Driven Architecture and Modeling Theory-Driven Development, Lisbon, pp. 23–32. SciTePress - Science and Technology Publications (2010)

    Google Scholar 

  8. Osis, J., Asnina, E., Grave, A.: Computation independent representation of the problem domain in MDA. e-Informatica Softw. Eng. J. 2(1), 29–46 (2008). http://www.e-informatyka.pl/index.php/einformatica/volumes/volume-2008/issue-1/article-2/. Accessed 04 Jan 2018

  9. Osis, J., Asnina, E.: Is modeling a treatment for the weakness of software engineering? In: Model-Driven Domain Analysis and Software Development, pp. 1–14. IGI Global, Hershey (2011)

    Google Scholar 

  10. Asnina, E.: The computation independent viewpoint: a formal method of topological functioning model constructing. Appl. Comput. Syst. 26, 21–32 (2006)

    Google Scholar 

  11. Osis, J., Asnina, E., Grave, A.: MDA oriented computation independent modeling of the problem domain. In: Proceedings of the 2nd International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE 2007, Barcelona, pp. 66–71. INSTICC Press (2007)

    Google Scholar 

  12. Osis, J., Asnina, E., Grave, A.: Formal problem domain modeling within MDA. In: Filipe, J., et al. (eds.) ICSOFT/ENASE 2007, pp. 387–398. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-88655-6_29

    Chapter  Google Scholar 

  13. Šlihte, A., Osis, J.: The integrated domain modeling: a case study in databases and information systems. In: Proceedings of the 11th International Baltic Conference (DB&IS 2014), pp. 465–470. Technology Press of Tallinn University, Tallinn (2014)

    Google Scholar 

  14. Asnina, E., Ovchinnikova, V.: Specification of decision-making and control flow branching in topological functioning models of systems. In: ENASE 2015 - Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering, Lisbon, pp. 364–373. SciTePress - Science and and Technology Publications (2015)

    Google Scholar 

  15. Osis, J., Asnina, E.: Derivation of use cases from the topological computation independent business model. In: Model-Driven Domain Analysis and Software Development, pp. 65–89. IGI Global, Hershey (2011)

    Google Scholar 

  16. Donins, U., Osis, J., Slihte, A., Asnina, E., Gulbis, B.: Towards the refinement of topological class diagram as a platform independent model. In: Proceedings of the 3rd International Workshop on Model-Driven Architecture and Modeling-Driven Software Development, MDA and MDSD 2011, in Conjunction with ENASE 2011, Lisbon, pp. 79–88. SciTePress (2011)

    Google Scholar 

  17. Osis, J., Donins, U.: Formalization of the UML class diagrams. In: ENASE 2009, vol. 69, pp. 180–192. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-14819-4_13

    Google Scholar 

  18. Osis, J., Asnina, E.: Enterprise modeling for information system development within MDA. In: Proceedings of the 41st Annual Hawaii International Conference on System Sciences (HICSS 2008), Waikoloa, USA, p. 490. IEEE (2008)

    Google Scholar 

  19. Osis, J., Asnina, E.: A business model to make software development less intuitive. In: 2008 International Conference on Computational Intelligence for Modelling Control and Automation, pp. 1240–1245. IEEE (2008)

    Google Scholar 

  20. Asnina, E., Gulbis, B., Osis, J., Alksnis, G., Donins, U., Slihte, A.: Backward requirements traceability within the topology-based model driven software development. In: Proceedings of the 3rd International Workshop on Model-Driven Architecture and Modeling-Driven Software Development, MDA and MDSD 2011, in Conjunction with ENASE 2011, pp. 36–45. SciTePress (2011)

    Google Scholar 

  21. Donins, U.: Topological unified modeling language: development and application. Ph.D. thesis. Riga Technical University, Latvia (2012)

    Google Scholar 

  22. Xiang, H., et al.: Semantic modelling and automated reasoning of non-functional requirement conflicts in the context of softgoal interdependencies. IET Softw. 9(6), 145–156 (2015)

    Article  Google Scholar 

  23. Ahmad, M., Bruel, J.-M., Laleau, R., Gnaho, C.: Using RELAX, SysML and KAOS for ambient systems requirements modeling. Procedia Comput. Sci. 10, 474–481 (2012)

    Article  Google Scholar 

  24. Zubcoff, J.J., Garrigos, I., Casteleyn, S., Mazon, J.N., Aguilar, J.A.: Evaluating the use of pareto efficiency to optimize non-functional requirements satisfaction in i* modeling. IEEE Latin Am. Trans. 14(1), 331–338 (2016)

    Article  Google Scholar 

  25. Ahmad, M., Belloir, N., Bruel, J.-M.: Modeling and verification of functional and non-functional requirements of ambient self-adaptive systems. J. Syst. Softw. 107, 50–70 (2015)

    Article  Google Scholar 

  26. Goncalves, J., Krishna, A.: Dynamic non-functional requirements based model-driven agent development. In: 2015 24th Australasian Software Engineering Conference, pp. 128–137. IEEE (2015)

    Google Scholar 

  27. Phalnikar, R., Jinwala, D.: Analysis of conflicting user requirements in web applications using graph transformation. ACM SIGSOFT Softw. Eng. Notes 40(2), 1–7 (2015)

    Article  Google Scholar 

  28. Ameller, D., et al.: Handling non-functional requirements in Model-Driven Development: an ongoing industrial survey. In: 2015 IEEE 23rd International Requirements Engineering Conference (RE), pp. 208–213. IEEE (2015)

    Google Scholar 

  29. González-Huerta, J., Insfran, E., Abrahão, S., McGregor, J.D.: Non-functional requirements in model-driven software product line engineering. In: Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages - NFPinDSML 2012, New York, USA, pp. 1–6. ACM Press, New York (2012)

    Google Scholar 

  30. Ameller, D., Franch, X., Cabot, J.: Dealing with non-functional requirements in model-driven development. In: 2010 18th IEEE International Requirements Engineering Conference, pp. 189–198. IEEE (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Applied Computer Science, Riga Technical University, Sētas iela 1, Riga, 1048, Latvia

    Erika Nazaruka & Jānis Osis

Authors
  1. Erika Nazaruka
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jānis Osis
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Erika Nazaruka .

Editor information

Editors and Affiliations

  1. Khalifa University, Abu Dhabi, United Arab Emirates

    Ernesto Damiani

  2. City University London, London, UK

    George Spanoudakis

  3. Wrocław University of Economics, Wroclaw, Poland

    Leszek A. Maciaszek

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Nazaruka, E., Osis, J. (2019). The Formal Reference Model for Software Requirements. In: Damiani, E., Spanoudakis, G., Maciaszek, L. (eds) Evaluation of Novel Approaches to Software Engineering. ENASE 2018. Communications in Computer and Information Science, vol 1023. Springer, Cham. https://doi.org/10.1007/978-3-030-22559-9_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-22559-9_16

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-22558-2

  • Online ISBN: 978-3-030-22559-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation