Model Evolution by Run-Time Parameter Adaptation

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2009, Pages 111-121

  Epifani, Ilenia ^a   Ghezzi, Carlo ^a   Mirandola, Raffaela ^a   Tamburrelli, Giordano ^a  

^a POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC RECONFIGURATION; BAYESIAN ESTIMATORS; DISCRETE TIME MARKOV CHAINS; DOMAIN EXPERTS; DYNAMIC ENVIRONMENTS; MODEL EVOLUTION; NON FUNCTIONAL PROPERTIES; NUMERICAL SIMULATION; RECOVERY ACTIONS; RUNNING SYSTEMS; RUNTIMES; SOFTWARE ENGINEERS; UPDATED MODEL;

BRIDGE DECKS; COMPUTER SIMULATION; MARKOV PROCESSES;

COMPUTER SOFTWARE;

EID: 77949405114     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2009.5070513     Document Type: Conference Paper

References (33)

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. S. Balsamo, A. Di Marco, P. Inverardi, and M. Simeoni. Model-based performance prediction in software development: A survey. IEEE Transactions on Software Engineering, 30(5):295-310, 2004.
3. L. Baresi, D. Bianculli, C. Ghezzi, S. Guinea, and P. Spoletini. Validation of web service compositions. IET Software, 1(6):219-232, December 2007.
4. L. Baresi and S. Guinea. Towards Dynamic Monitoring of WS-BPEL Processes. Proceedings of the 3rd International Conference on Service Oriented Computing, 2005.
5. S. Becker, H. Koziolek, and R. Reussner. Model-based performance prediction with the palladio component model. In WOSP '07: Proceedings of the 6th International Workshop on Software and Performance, pages 54-65, New York, NY, USA, 2007. ACM.
6. J. O. Berger. Statistical Decision Theory and Bayesian Analysis. Springer, 2 edition, 1985.
7. M. Bertoli, G. Casale, and G. Serazzi. The jmt simulator for performance evaluation of non-product-form queueing networks. In Annual Simulation Symposium, pages 3-10, Norfolk,VA, US, 2007. IEEE Computer Society.
8. M. Bertoli, G. Casale, and G. Serazzi. An overview of the jmt queueing network simulator. Technical Report TR 2007.2, Politecnico di Milano - DEI, 2007.
9. 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.
10. BPEL. http://www.oasis-open.org/.
11. L. Cheung, R. Roshandel, N. Medvidovic, and L. Golubchik. Early prediction of software component reliability. In 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pages 111-120. ACM, 2008.
12. P. Diaconis and D. Ylvisaker. Conjugate priors for exponential families. Ann. Statist, 7(2):269-281, 1979.
13. H. Foster, W. Emmerich, J. Kramer, J. Magee, D. Rosenblum, and S. Uchitel. Model checking service compositions under resource constraints. In ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, pages 225-234, New York, NY, USA, 2007. ACM.
14. H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based verification of web service compositions. Automated Software Engineering, 0:152, 2003.
15. C. Fraser and D. Hanson. Mercury LoadRunner Monitor Reference. Mercury Interactive, 2004.
16. X. Fu, T. Bultan, and J. Su. Analysis of interacting bpel web services. In WWW '04: Proceedings of the 13th international conference on World Wide Web, pages 621-630, New York, NY, USA, 2004. ACM.
17. A. Ganek and T. Corbi. The dawning of the autonomic computing era. IBM Systems Journal, 42(1):5-18, 2003.
18. J. K. Ghosh and R. V. Ramamoorthi. Bayesian Nonparametrics. Springer, 2003.
19. S. Gokhale and K. Trivedi. Structure-Based Software Reliability Prediction. Proc. of Fifth Intl. Conference on Advanced Computing (ADCOMP97), pages 447-452, 1997.
20. S. S. Gokhale. Architecture-based software reliability analysis: Overview and limitations. IEEE Trans. Dependable Sec. Comput., 4(1):32-40, 2007.
21. D. Hamlet, D. Mason, and D. Woit. Theory of software reliability based on components. In ICSE '01: Proceedings of the 23rd International Conference on Software Engineering, pages 361-370, Washington, DC, USA, 2001. IEEE Computer Society.
22. 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.
23. JMeter. http://jakarta.apache.org/jmeter/.
24. 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.
25. D. MacKay and L. Peto. A hierarchical Dirichlet language model. Natural Language Engineering, 1(3):1-19, 1995.
26. S. Meyn and R. Tweedie. Markov chains and stochastic stability. Springer-Verlag London, 1993.
27. S. Nakajima. Model-checking verification for reliable web service. OOPSLA 2002 Workshop on Object-Oriented Web Services, Seattle, Washington, 2002.
28. M. Papazoglou and D. Georgakopoulos. Service-Oriented Computing. Communications of the ACM, 46(10):25-28, 2003.
29. F. Raimondi, J. Skene, L. Chen, andW. Emmerich. Efficient Monitoring of Web Service SLAs. UCL, Dept. of Computer Science. Research Note RN/07/01. Gower St, London WC1E 6BT, UK, 2007, to appear at FSE 2008.
30. N. Sato and K. S. Trivedi. Stochastic modeling of composite web services for closed-form analysis of their performance and reliability bottlenecks. In ICSOC '07: Proceedings of the 5th international conference on Service-Oriented Computing, pages 107-118, Berlin, Heidelberg, 2007. Springer-Verlag.
31. C. U. Smith and L. G. Williams. Performance solutions: a practical guide to creating responsive, scalable software. Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, USA, 2002.
32. C. C. Strelioff, J. P. Crutchfield, and A. W. Hübler. Inferring markov chains: Bayesian estimation, model comparison, entropy rate, and out-of-class modeling. Physical Review E (Statistical, Nonlinear, and Soft Matter Physics), 76(1), 2007.
33. T. Zheng, M. Woodside, and M. Litoiu. Performance model estimation and tracking using optimal filters. IEEE Transactions on Software Engineering, 34(3):391-406, 2008.