Skip to main content
SpringerLink
Log in

Efficient parallel reasoning on fuzzy goal models for run time requirements verification

  • Regular Paper
  • Published:
Software & Systems Modeling Aims and scope Submit manuscript

Abstract

As software applications become highly interconnected in dynamically provisioned platforms, they form the so-called systems-of-systems. Therefore, a key issue that arises in such environments is whether specific requirements are violated, when these applications interact in new unforeseen ways as new resources or system components are dynamically provisioned. Such environments require the continuous use of frameworks for assessing compliance against specific mission critical system requirements. Such frameworks should be able to (a) handle large requirements models, (b) assess system compliance repeatedly and frequently using events from possibly high velocity and high frequency data streams, and (c) use models that can reflect the vagueness that inherently exists in big data event collection and in modeling dependencies between components of complex and dynamically re-configured systems. In this paper, we introduce a framework for run time reasoning over medium and large-scale fuzzy goal models, and we propose a process which allows for the parallel evaluation of such models. The approach has been evaluated for time and space performance on large goal models, exhibiting that in a simulation environment, the parallel reasoning process offers significant performance improvement over a sequential one.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14
Fig. 15
Fig. 16
Fig. 17
Fig. 18
Fig. 19
Fig. 20
Fig. 21
Fig. 22
Fig. 23

Similar content being viewed by others

Notes

  1. http://www.cs.toronto.edu/~jenhork/.

References

  1. Programmable controllers—part 7: Fuzzy control programming. Tech. Rep. IEC 61131-7:2000, International Electrotechnical Commission (2000)

  2. Ultra-Large-Scale Systems The Software Challenge of the Future: 1st edn. Carnegie Mellon University, Pittsburgh, PA, USA, Software Engineering Institute (2006)

  3. Centroid (2016). http://en.wikipedia.org/wiki/Centroid

  4. T-norm (2016). https://en.wikipedia.org/wiki/T-norm

  5. Ali, R., Dalpiaz, F., Giorgini, P.: Location-based software modeling and analysis: tropos-based approach. In: Li, Q., Spaccapietra, S., Yu, E.S.K., Olivé, A. (eds.) Conceptual Modeling—ER 2008, 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20–24, 2008. Proceedings, Lecture Notes in Computer Science, vol. 5231, pp. 169–182. Springer (2008)

  6. Ali, R., Dalpiaz, F., Giorgini, P.: A goal-based framework for contextual requirements modeling and analysis. Requir. Eng. 15(4), 439–458 (2010)

    Article  Google Scholar 

  7. Amyot, D., Ghanavati, S., Horkoff, J., Mussbacher, G., Peyton, L., Yu, E.S.K.: Evaluating goal models within the goal-oriented requirement language. Int. J. Intell. Syst. 25(8), 841–877 (2010)

    Article  Google Scholar 

  8. Baresi, L., Pasquale, L., Spoletini, P.: Fuzzy goals for requirements-driven adaptation. In: RE, pp. 125–134. IEEE Computer Society (2010)

  9. Bencomo, N., Belaggoun, A.: Supporting decision-making for self-adaptive systems: From goal models to dynamic decision networks. In: Doerr, J., Opdahl, A.L. (eds.) Requirements engineering: foundation for software quality—19th International working conference, REFSQ 2013, Essen, Germany, April 8–11, 2013. Proceedings, Lecture Notes in Computer Science, vol. 7830, pp. 221–236. Springer (2013)

  10. Bi, J., Zhu, Z., Tian, R., Wang, Q.: Dynamic provisioning modeling for virtualized multi-tier applications in cloud data center. In: Cloud Computing (CLOUD), 2010 IEEE 3rd international conference on, pp. 370–377 (2010)

  11. Cailliau, A., van Lamsweerde, A.: Assessing requirements-related risks through probabilistic goals and obstacles. Requir. Eng. 18(2), 129–146 (2013)

    Article  Google Scholar 

  12. Chatzikonstantinou, G., Athanasopoulos, M., Kontogiannis, K.: Task specification and reasoning in dynamically altered contexts. In: Jarke et al. [31], pp. 625–639

  13. Chatzikonstantinou, G., Kontogiannis, K.: Run-time requirements verification for reconfigurable systems. Inf. Softw. Technol. 75, 105–121 (2016)

    Article  Google Scholar 

  14. Chatzikonstantinou, G., Kontogiannis, K., Attarian, I.: A goal driven framework for software project data analytics. In:Salinesi, C., Norrie, M.C., Pastor, O. (eds.) Advanced information systems engineering—25th International conference, CAiSE 2013, Valencia, Spain, June 17–21, 2013. Proceedings, Lecture Notes in Computer Science, vol. 7908, pp. 546–561. Springer (2013)

  15. Chieu, T., Mohindra, A., Karve, A., Segal, A.: Dynamic scaling of web applications in a virtualized cloud computing environment. In: e-Business Engineering, 2009. ICEBE ’09. IEEE international conference on, pp. 281–286 (2009)

  16. Chopra, A.K., Dalpiaz, F., Giorgini, P., Mylopoulos, J.: Reasoning about agents and protocols via goals and commitments. In: van der Hoek, W., Kaminka, G.A., Lespérance, Y., Luck, M., Sen, S. (eds.) AAMAS, pp. 457–464. IFAAMAS (2010)

  17. Cingolani, P., Alcalá-Fdez, J.: jfuzzylogic: a robust and flexible fuzzy-logic inference system language implementation. In: FUZZ-IEEE 2012, IEEE international conference on fuzzy systems, Brisbane, Australia, June 10–15, 2012, Proceedings., pp. 1–8. IEEE (2012)

  18. Dalpiaz, F., Borgida, A., Horkoff, J., Mylopoulos, J.: Runtime goal models: Keynote. In: Wieringa, R., Nurcan, S., Rolland, C., Cavarero, J. (eds.) IEEE 7th international conference on research challenges in information science, RCIS 2013, Paris, France, May 29–31, 2013, pp. 1–11. IEEE (2013)

  19. Falcone, Y., Jaber, M., Nguyen, T., Bozga, M., Bensalem, S.: Runtime verification of component-based systems. In: Barthe, G., Pardo, A., Schneider, G. (eds.) Software engineering and formal methods—9th International conference, SEFM 2011, Montevideo, Uruguay, November 14–18, 2011. Proceedings, Lecture Notes in Computer Science, vol. 7041, pp. 204–220. Springer (2011)

  20. Giorgini, P., Massacci, F., Mylopoulos, J., Zannone, N.: Modeling security requirements through ownership, permission and delegation. In: Requirements Engineering, 2005. Proceedings. 13th IEEE international conference on, pp. 167–176 (2005)

  21. Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R.: Reasoning with goal models. In: Spaccapietra, S., March, S.T., Kambayashi, Y. (eds.) ER, Lecture Notes in Computer Science, vol. 2503, pp. 167–181. Springer (2002)

  22. Giorgini, P., Mylopoulos, J., Sebastiani, R.: Goal-oriented requirements analysis and reasoning in the tropos methodology. Eng. Appl. AI 18(2), 159–171 (2005)

    Google Scholar 

  23. Heaven, W., Letier, E.: Simulating and optimising design decisions in quantitative goal models. In: RE, pp. 79–88. IEEE (2011)

  24. Homaifar, A., McCormick, E.: Simultaneous design of membership functions and rule sets for fuzzy controllers using genetic algorithms. IEEE T. Fuzzy Syst. 3(2), 129–139 (1995)

    Article  Google Scholar 

  25. Horkoff, J., Barone, D., Jiang, L., Yu, E.S.K., Amyot, D., Borgida, A., Mylopoulos, J.: Strategic business modeling: representation and reasoning. Softw. Syst. Model. 13(3), 1015–1041 (2014)

    Article  Google Scholar 

  26. Horkoff, J., Li, T., Li, F., Salnitri, M., Cardoso, E., Giorgini, P., Mylopoulos, J.: Using goal models downstream: a systematic roadmap and literature review. IJISMD 6(2), 1–42 (2015)

    Google Scholar 

  27. Horkoff, J., Li, T., Li, F., Salnitri, M., Cardoso, E., Giorgini, P., Mylopoulos, J., Pimentel, J.: Taking goal models downstream: a systematic roadmap. In: Bajec, M., Collard, M., Deneckère, R. (eds.) IEEE 8th international conference on research challenges in information science, RCIS 2014, Marrakech, Morocco, May 28–30, 2014, pp. 1–12. IEEE (2014)

  28. Horkoff, J., Yu, E.S.K.: Analyzing goal models: different approaches and how to choose among them. In: Chu, W.C., Wong, W.E., Palakal, M.J., Hung, C. (eds.) Proceedings of the 2011 ACM symposium on applied computing (SAC), TaiChung, Taiwan, March 21–24, 2011, pp. 675–682. ACM (2011)

  29. Horkoff, J., Yu, E.S.K.: Comparison and evaluation of goal-oriented satisfaction analysis techniques. Requir. Eng. 18(3), 199–222 (2013)

    Article  Google Scholar 

  30. Ingolfo, S., Siena, A., Mylopoulos, J.: Establishing regulatory compliance for software requirements. In: Jeusfeld, M.A., Delcambre, L.M.L., Ling, T.W. (eds.) Conceptual modeling—ER 2011, 30th International conference, ER 2011, Brussels, Belgium, October 31–November 3, 2011. Proceedings, Lecture Notes in Computer Science, vol. 6998, pp. 47–61. Springer (2011)

  31. Jarke, M., Mylopoulos, J., Quix, C., Rolland, C., Manolopoulos, Y., Mouratidis, H., Horkoff, J. (eds.): Advanced Information Systems Engineering—26th International conference, CAiSE 2014, Thessaloniki, Greece, June 169–20, 2014. Proceedings, Lecture Notes in Computer Science, vol. 8484. Springer (2014)

  32. Kalamatianos, T., Kontogiannis, K.: Schema independent reduction of streaming log data. In: Jarke et al. [31], pp. 394–408

  33. van Lamsweerde, A.: Goal-oriented requirements enginering: a roundtrip from research to practice. In: 12th IEEE international conference on requirements engineering (RE 2004), 6–10 September 2004, Kyoto, Japan, pp. 4–7. IEEE Computer Society (2004)

  34. van Lamsweerde, A.: Reasoning about alternative requirements options. In: Borgida, A., Chaudhri, V.K., Giorgini, P., Yu, E.S.K. (eds.) Conceptual modeling: foundations and applications - Essays in Honor of John Mylopoulos, Lecture Notes in Computer Science, vol. 5600, pp. 380–397. Springer (2009)

  35. Liaskos, S., Hamidi, S., Jalman, R.: Qualitative vs. quantitative contribution labels in goal models: Setting an experimental agenda. In: Castro, J., Horkoff, J., Maiden, N.A.M., Yu, E.S.K. (eds.) Proceedings of the 6th international i* workshop 2013, Valencia, Spain, June 17–18, 2013, CEUR Workshop Proceedings, vol. 978, pp. 37–42. CEUR-WS.org (2013)

  36. Liaskos, S., Jalman, R., Aranda, J.: On eliciting contribution measures in goal models. In: Heimdahl, M.P.E., Sawyer, P. (eds.) 2012 20th IEEE international requirements engineering conference (RE), Chicago, IL, USA, September 24–28, 2012, pp. 221–230. IEEE Computer Society (2012)

  37. Liaskos, S., Khan, S.M., Litoiu, M., Jungblut, M.D., Rogozhkin, V., Mylopoulos, J.: Behavioral adaptation of information systems through goal models. Inf. Syst. 37(8), 767–783 (2012)

    Article  Google Scholar 

  38. Liaskos, S., Mylopoulos, J.: On temporally annotating goal models. In: iStar, pp. 62–66 (2010)

  39. Luzeaux, D., Ruault, J.R.: Systems of Systems, 1st edn. John Willey & Sons, Hobiken, NJ, USA (2010)

    Google Scholar 

  40. Mylopoulos, J., Chung, L., Yu, E.S.K.: From object-oriented to goal-oriented requirements analysis. Commun. ACM 42(1), 31–37 (1999)

    Article  Google Scholar 

  41. Nekvi, M.R.I., Madhavji, N.H.: Impediments to regulatory compliance of requirements in contractual systems engineering projects: A case study. ACM Trans. Manag. Inf. Syst. 5(3), 15:1–15:35 (2015)

    Google Scholar 

  42. Pan, H., McMichael, D.: Fuzzy causal probabilistic networks—a new ideal and practical inference engine (1998)

  43. Passino, K.M., Yurkovich, S.: Fuzzy Control, 1st edn. Addison-Wesley Longman Publishing Co., Inc, Boston, MA, USA (1997)

    Google Scholar 

  44. Richardson, M., Domingos, P.: Markov logic networks. Mach. Learn. 62(1–2), 107–136 (2006)

    Article  Google Scholar 

  45. Shao, J., Wei, H., Wang, Q., Mei, H.: A runtime model based monitoring approach for cloud. In: Cloud Computing (CLOUD), 2010 IEEE 3rd international conference on, pp. 313–320 (2010)

  46. Sharifloo, A.M., Spoletini, P.: LOVER: light-weight formal verification of adaptive systems at run time. In: Pasareanu, C.S., Salaün, G. (eds.) Formal Aspects of Component Software, 9th International symposium, FACS 2012, Mountain View, CA, USA, September 12–14, 2012. Revised selected papers, Lecture Notes in Computer Science, vol. 7684, pp. 170–187. Springer (2012)

  47. Tarjan, R.E.: Depth-first search and linear graph algorithms. SIAM J. Comput. 1(2), 146–160 (1972)

    Article  MathSciNet  MATH  Google Scholar 

  48. Wnuk, K., Borg, M., Assar, S.: Towards scalable information modeling of requirements architectures. In: Castano, S.,Vassiliadis, P., Lakshmanan, L.V.S., Lee, M. (eds.) Advances in conceptual modeling—ER 2012 workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15–18, 2012. Proceedings, Lecture Notes in Computer Science, vol. 7518, pp. 141–150. Springer (2012)

  49. Wnuk, K., Regnell, B., Schrewelius, C.: Architecting and coordinating thousands of requirements—An industrial case study. In: Glinz, M., Heymans, P. (eds.) Requirements engineering: foundation for software quality, 15th International working conference, REFSQ 2009, Amsterdam, The Netherlands, June 8–9, 2009, Proceedings, Lecture Notes in Computer Science, vol. 5512, pp. 118–123. Springer (2009)

  50. Zadeh, L.: Discussion: probability theory and fuzzy logic are complementary rather than competitive. Technometrics 37(3), 271–276 (1995)

    Article  Google Scholar 

Download references

Acknowledgments

This research has been co-financed by the European Union (European Social Fund ESF) and Greek national funds through the Operational Program “Education and Lifelong Learning” of the National Strategic Reference Framework (NSRF)—Research Funding Program: Heracleitus II. Investing in knowledge society through the European Social Fund. We would also like to thank Dr. Jennifer Horkoff for providing us with a set of real-life requirement’s models.

Author information

Authors and Affiliations

  1. Department of Electrical and Computer Engineering, National Technical University of Athens, Athens, Greece

    George Chatzikonstantinou

  2. Department of Computer Science, Western University, London, Canada

    Kostas Kontogiannis

Authors
  1. George Chatzikonstantinou
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kostas Kontogiannis
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to George Chatzikonstantinou.

Additional information

Communicated by Prof. Marsha Chechik.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Chatzikonstantinou, G., Kontogiannis, K. Efficient parallel reasoning on fuzzy goal models for run time requirements verification. Softw Syst Model 17, 1339–1364 (2018). https://doi.org/10.1007/s10270-016-0562-9

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10270-016-0562-9

Keywords

Search

Navigation