Developing self-verifying service-based systems

2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings

Volumn , Issue , 2013, Pages 734-737

  Calinescu, Radu ^a   Johnson, Kenneth ^a   Rafiq, Yasmin ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DEVELOPMENT PROCESS; MODEL UPDATING; QUANTITATIVE VERIFICATION; RELIABILITY REQUIREMENTS; SERVICE SELECTION; SERVICE-BASED SYSTEMS; SOFTWARE COMPONENT;

ONLINE SYSTEMS;

SOFTWARE ENGINEERING;

EID: 84893612723     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2013.6693145     Document Type: Conference Paper

References (16)

1. D. Ardagna and B. Pernici, "Adaptive service composition in flexible processes," IEEE Trans. Softw. Eng., vol. 33, no. 6, pp. 369-384, 2007. (Pubitemid 46772854)
2. R. Calinescu, L. Grunske, M. Kwiatkowska, R. Mirandola, and G. Tamburrelli, "Dynamic QoS management and optimization in service-based systems," IEEE Trans. Softw. Eng., vol. 37, pp. 387-409, 2011.
3. R. Calinescu and S. Kikuchi, "Formal methods @ runtime," in Modeling, Development, and Verification of Adaptive Systems. Springer, 2011, pp. 122-135.
4. G. Canfora et al., "A framework for QoS-aware binding and re-binding of composite web services," J. Systems & Software, vol. 81, no. 10, pp. 1754-1769, 2008.
5. D. Menascé, H. Ruan, and H. Gomaa, "QoS management in service-oriented architectures," Perform. Eval., vol. 64, no. 7, pp. 646-663, 2007. (Pubitemid 46601618)
6. M. Kwiatkowska, G. Norman, and D. Parker, "PRISM 4.0: Verification of probabilistic real-time systems," in CAV'11. Springer, 2011, pp. 585-591.
7. J. Kephart and D. Chess, "The vision of autonomic computing," Computer, pp. 41-50, 2003.
8. R. Calinescu, K. Johnson, and Y. Rafiq, "Using continual verification to automate service selection in service-based systems," Dept. of Computer Science, University of York, Tech. Rep. YCS-2013-484, 2013, http://www.cs.york.ac. uk/ftpdir/reports/2013/YCS/484/YCS-2013-484.pdf.
9. R. Calinescu, C. Ghezzi, M. Kwiatkowska, and R. Mirandola, "Self-adaptive software needs quantitative verification at runtime," Comm. ACM, vol. 55, no. 9, pp. 69-77, Sep 2012.
10. I. Epifani, C. Ghezzi, R. Mirandola, and G. Tamburrelli, "Model evolution by run-time adaptation," in ICSE'09, 2009, pp. 111-121.
11. H. Hansson and B. Jonsson, "A logic for reasoning about time and reliability," Formal Aspects of Computing, vol. 6, no. 5, pp. 512-535, 1994.
12. S. Gallotti, C. Ghezzi, R. Mirandola, and G. Tamburrelli, "Quality prediction of service compositions through probabilistic model checking," in QoSA'08, pp. 119-134.
13. M. Marzolla and R. Mirandola, "Performance prediction of web service workflows," in QoSA'07, pp. 127-144.
14. A. Filieri, C. Ghezzi, and G. Tamburrelli, "Run-time efficient probabilistic model checking," in ICSE'11. IEEE Computer Society, 2011, pp. 341-350.
15. K. Johnson, R. Calinescu, and S. Kikuchi, "An incremental verification framework for component-based software systems," in CBSE'13, 2013, pp. 33-42.
16. M. Kwiatkowska, G. Norman, D. Parker, and H. Qu, "Assume-guarantee verification for probabilistic systems," in TACAS'10. Springer, 2010, pp. 23-37.