Reasoning on non-functional requirements for integrated services

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 2009, Pages 69-78

  Ghezzi, Carlo ^a   Tamburrelli, Giordano ^a  

^a POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

INTEGRATED SERVICE; NON-FUNCTIONAL REQUIREMENTS; OPEN ENVIRONMENT; PREDICTIVE CAPABILITIES; RECOVERY PLANS; RUNTIME MONITORING; RUNTIMES; SERVICE PROVIDER; SUPPORT TOOL; UNIFIED APPROACH;

METAL RECOVERY; REQUIREMENTS ENGINEERING;

SAFETY ENGINEERING;

EID: 73549090797     PISSN: 1090705X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RE.2009.34     Document Type: Conference Paper

References (37)

1. A. Alves, A. Arkin, S. Askary, B. Bloch, F. Curbera, Y. Goland, N. Kartha, Sterling, D. König, V. Mehta, S. Thatte, D. van der Rijn, P. Yendluri, and A. Yiu. Web services business process execution language version 2.0. OASIS Committee Draft, May 2006.
2. D. Ardagna, C. Ghezzi, and R. Mirandola. Rethinking the use of models in software architecture. In Comparch 2008, Lecture Notes in Computer Science. Springer, 2008.
3. A. Aziz, K. Sanwal, V. Singhal, and R. K. Brayton. Verifying continuous time markov chains. In CAV, volume 1102 of Lecture Notes in Computer Science, pages 269-276. Springer, 1996.
4. L. Baresi, D. Bianculli, C. Ghezzi, S. Guinea, and P. Spoletini. Validation of web service compositions. Software, IET, 1(6):219-232, 2007.
5. L. Baresi, E. Di Nitto, and C. Ghezzi. Toward open-world software: Issue and challenges. Computer, 39(10):36-43, 2006.
6. L. Baresi and S. Guinea. Towards Dynamic Monitoring of WS-BPEL Processes. Proceedings of the 3rd International Conference on Service Oriented Computing, 2005.
7. J. O. Berger. Statistical Decision Theory and Bayesian Analysis. Springer, 2 edition, 1985.
8. G. Bolch, S. Greiner, H. de Meer, and K. Trivedi. Queueing networks and Markov chains: modeling and performance evaluation with computer science applications. Wiley-Interscience New York, NY, USA, 1998.
9. BPEL. http://www.oasis-open.org/.
10. G. Canfora, M. Penta, R. Esposito, and M. Villani. QoSAware Replanning of Composite Web Services. In ICWS 2005 Proc, 2005.
11. F. Chen, T. Serbanuta, and G. Rosu. jPredictor: a predictive runtime analysis tool for java. In Proceedings of the 13th international conference on Software engineering, pages 221-230. ACM New York, NY, USA, 2008.
12. I. Epifani, C. Ghezzi, R. Mirandola, and G. Tamburrelli. Model evolution by run-time adaptation. In to appear at ICSE '09: The 31th Internationl Conference on Software Engineering. Available at: http://home.dei.polimi.it/ tamburrelli/icse09.pdf, Vancouver,CANADA, 2009.
13. X. Fu, T. Bultan, and J. Su. Analysis of interacting BPEL web services. In Proceedings of the 13th international conference on World Wide Web, pages 621-630. ACM New York, NY, USA, 2004.
14. X. Fu, T. Bultan, and J. Su. Synchronizability of Conversations among Web Services. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, pages 1042-1055, 2005.
15. S. Gallotti, C. Ghezzi, R. Mirandola, and G. Tamburrelli. Quality prediction of service compositions through probabilistic model checking. In QoSA '08: Proceedings of the 4th International Conference on the Quality of Software Architectures, Karlsruhe, Germany, 2008.
16. C. Ghezzi, M. Jazayeri, and D. Mandrioli. Fundamentals of software engineering. 2003.
17. M. Glinz. On Non-Functional Requirements. Proc. Requirements Engineering Conference, 2007 (RE '07), pages 21-26, 2007.
18. S. Gokhale and K. Trivedi. Structure-Based Software Reliability Prediction. Proc. of Fifth Intl. Conference on Advanced Computing (ADCOMP97), pages 447-452, 1997.
19. H. Hansson and B. Jonsson. Hansson, h., jonsson, b. Formal Aspects of Computing, 6(5):512-535, 1994.
20. A. Hinton, M. Kwiatkowska, G. Norman, and D. Parker. PRISM: A tool for automatic verification of probabilistic systems. Proc. 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS06), 3920:441-444, 2006.
21. M. Jackson and P. Zave. Deriving specifications from requirements: an example. In ICSE '95: Proceedings of the 17th international conference on Software engineering, pages 15-24, New York, NY, USA, 1995. ACM.
22. J. Kephart and D. Chess. The Vision of Autonomic Computing. COMPUTER, pages 41-50, 2003.
23. M. Kwiatkowska, G. Norman, and D. Parker. PRISM 2.0: a tool for probabilistic model checking. Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings. First International Conference on the, pages 322-323, 2004.
24. E. Lazowska, J. Zahorjan, G. Graham, and K. Sevcik. Quantitative system performance: computer system analysis using queueing network models. Prentice-Hall, Inc. Upper Saddle River, NJ, USA, 1984.
25. B. Meyer. Applying design by contract. Computer, 25(10):40-51, 1992.
26. S. Meyn and R. Tweedie. Markov chains and stochastic stability. Springer-Verlag London, 1993.
27. E. D. Nitto, C. Ghezzi, A. Metzger, M. Papazoglou, and K. Pohl. A journey to highly dynamic, self-adaptive servicebased applications. Automated Software Engg., 15(3-4):313-341, 2008.
28. E. D. Nitto, C. Ghezzi, A. Metzger, M. Papazoglou, and K. Pohl. A journey to highly dynamic, self-adaptive servicebased applications. Automated Software Engg., 15(3-4):313-341, 2008.
29. OpenID. http://www.openid.com/.
30. M. Papazoglou and D. Georgakopoulos. Service-Oriented Computing. Communications of the ACM, 46(10):25-28, 2003.
31. M. Rouached and C. Godart. Requirements-driven veri-fication of wsbpel processes. Web Services, 2007. ICWS 2007. IEEE International Conference on, pages 354-363, July 2007.
32. J. Skene, D. D. Lamanna, andW. Emmerich. Precise service level agreements. In In: Proc. of 26th Intl. Conference on Software Engineering (ICSE, pages 179-188. IEEE Press, 2004.
33. C. M. Woodside and M. Litoiu. Performance model estimation and tracking using optimal filters. IEEE Trans. Softw. Eng., 34(3):391-406, 2008.
34. WSDL. http://www.w3.org/2002/ws/desc/.
35. K. Zachos and N. Maiden. Inventing Requirements from Software: An Empirical Investigation with Web Services. International Requirements Engineering, 2008. RE'08. 16th IEEE, pages 145-154, 2008.
36. P. Zave and M. Jackson. Four dark corners of requirements engineering. ACM Trans. Softw. Eng. Methodol., 6(1):1-30,1997.
37. A. Zeller. Why Programs Fail: A Guide to Systematic Debugging. Morgan Kaufmann, 2006.