Towards a framework for estimating system NFRs on behavioral models

Knowledge-Based Systems

Volumn 23, Issue 7, 2010, Pages 721-731

  Mizouni, Rabeb ^a   Salah, Aziz ^b  

^a UNITED ARAB EMIRATES UNIVERSITY   (United Arab Emirates)

^b UNIVERSITÉ DU QUÉBEC À MONTRÉAL   (Canada)

Author keywords

Behavioral model; Formal composition; NFR Estimations; NFRs; Scenario based approaches

Indexed keywords

BEHAVIORAL MODEL; CURRENT PRACTICES; DEVELOPMENT PROCESS; FORMAL SPECIFICATION; FUNCTIONAL REQUIREMENT; NON-FUNCTIONAL; NON-FUNCTIONAL REQUIREMENTS; SOFTWARE REQUIREMENTS; SOFTWARE SYSTEMS;

COMPUTER SOFTWARE; ESTIMATION; SOFTWARE DESIGN; SPECIFICATIONS;

MATHEMATICAL MODELS;

EID: 77955508872     PISSN: 09507051     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.knosys.2010.03.014     Document Type: Conference Paper

References (31)

1. L.M. Cysneiros, and J.C.S. do Prado Leite Non-functional requirements: from elicitation to conceptual models IEEE Trans. Softw. Eng. 30 5 2004 328 350
2. K. Wiegers Software Requirements second ed. 2003 Microsoft Press
3. M. Glinz, On non-functional requirements, in: 15th IEEE International Conference in Requirements Engineering, 2007, pp. 21-26.
4. J.M.S. Neto, J.C.S.P. Leite, L.M. Cysneiros, Non-functional requirements for object-oriented modeling, in: WER, 2000, pp. 109-125.
5. C.J. Pavlovski, and J. Zou Non-functional requirements in business process modeling APCCM'08: Proceedings of the Fifth Asia-Pacific conference on conceptual modeling 2008 Australian Computer Society, Inc. Darlinghurst, Australia 103 112
6. J. Mylopoulos, L. Chung, and B. Nixon Representing and using non-functional requirements: a process-oriented approach IEEE Trans. Softw. Eng. 18 1992 483 497
7. K. Breitman, J. Leite, and A. Finkelstein The world's a stage: a survey of requirements engineering using a real-life case study J. Braz. Comput. Soc. 6 1999 13 37
8. R. Hurlbut, A survey of approaches for describing and formalizing use-cases, Technical Report, Department of Computer Science, Illinois Institute of Technology, 1997, USA.
9. I. Krka, G. Edwards, Y. Brun, and N. Medvidovic From system specifications to component behavioral models ICSE Companion 2009 IEEE 315 318
10. R. Alur, K. Etessami, M. Yannakakis, Inference of message sequence charts, in: 22nd International Conference on Software Engineering, 2000, pp. 304-313. URL .
11. D. Harel, H. Kugler, Synthesizing state-based object systems from LSC specifications, Lecture Notes in Computer Science, 2088, 2001, pp. 1- 33.
12. J. Whittle, J. Schumann, Generating statechart designs from scenarios, in: International Conference on Software Engineering, 2000, pp. 314-323. URL .
13. R. Mizouni, A. Salah, S. Kolahi, and R. Dssouli Merging partial system behaviours: composition of use-case automata IET Software 1 4 2007 143 160
14. M. Glinz An integrated formal model of scenarios based on statecharts Proceeding of the Fifth European Software Engineering Conference 1995 Springer-Verlag 254 271
15. H. Ben-Abdallah, S. Leue, MESA: Support for scenario-based design of concurrent systems, in: Tools and Algorithms for Construction and Analysis of Systems, 1998, pp. 118-135.
16. S. Uchitel, J. Kramer, and J. Magee Synthesis of behavioral models from scenarios IEEE Trans. Softw. Eng. 29 2 2003
17. P. Botella, X. BurguTs, X. Franch, M. Huerta, G. Salazar, Modeling non-functional requirements, in: Proceedings of Jornadas de Ingenieria de Requisitos Aplicada JIRA, 2001.
18. J. Zou, and C.J. Pavlovski Modeling architectural non-functional requirements: from use case to control case IEEE International Conference on E-Business Engineering 0 2006 315 322
19. S. Kounev Performance modeling and evaluation of distributed component-based systems using queueing petri nets IEEE Trans. Softw. Eng. 32 7 2006 486 502
20. D. Xu, and K.E. Nygard Threat-driven modeling and verification of secure software using aspect-oriented petri nets IEEE Trans. Softw. Eng. 32 4 2006 265 278
21. E.K. Jackson, D. Seifert, M. Dahlweid, T. Santen, N. Bjørner, and W. Schulte Specifying and composing non-functional requirements in model-based development SC '09: Proceedings of the Eighth International Conference on Software Composition 2009 Springer-Verlag Berlin, Heidelberg 72 89
22. L.M. Cysneiros, and J.C.S. do Prado Leite Using uml to reflect non-functional requirements CASCON '01: Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research 2001 IBM Press 2
23. S. Supakkul, L. Chung, Integrating frs and nfrs: a use case and goal driven approach, in: Proceedings of the Second International Conference on Software Engineering Research, Management and Applications (SERA'04), Los Angeles, CA, 2004, pp. 30-37.
24. S. Supakkul, L. Chung, A uml profile for goal-oriented and use case-driven representation of nfrs and frs, 2005, pp. 112-119. URL .
25. E. Dimitrov, A. Schmietendorf, and R.R. Dumke Uml-based performance engineering possibilities and techniques IEEE Softw. 19 1 2002 74 83
26. C. Lopez, H. Astudillo, Use case- and scenario-based approach to represent nfrs and architectural policies, in: Second International Workshop on Use Case Modeling (WUsCaM-05), 2005.
27. K. Koskimies, and E. Mäkinen Automatic synthesis of state machines from trace diagrams Software-Practice and Experience 24 7 1994 643 658 URL
28. S.Leue, L. Mehrmann, M. Rezai, Synthesizing room models from message sequence chart specifications, Technical Report 98-06, ECE Department, University of Waterloo, Canada, April 1998, Short paper version in: 13th IEEE Conference on Automated Software Engineering, Honolulu, Hawaii.
29. P.F. Linington, Model driven development and non-functional aspects, in: A position statement for the WMDD 2004 Workshop, 2004.
30. F. Bachmann, L. Bass, M. Klein, Deriving architectural tactics: a step toward methodical architectural design, Technical Report, CMU/SEI-2003-TR-004, 2004.
31. S. Kolahi, A. Salah, R. Mizouni, R. Dssouli, Tool support for composition and verification of formal behaviors, in: 4th IEEE International Conference on Innovations in Information Technology, winner of the best paper award, 2007.