Apprehensive QoS monitoring of service choreographies

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2013, Pages 1893-1899

  Bartolini, C ^a   Bertolino, A ^a   De Angelis, G ^a   Ciancone, A ^b   Mirandola, R ^b  

^a ISTI CNR   (Italy)

^b POLITECNICO DI MILANO   (Italy)

Author keywords

BPMN; Choreography; Non functional annotations; Run time monitoring

Indexed keywords

BPMN; CHOREOGRAPHY; INTER-ACTION PROTOCOLS; NON FUNCTIONAL PROPERTIES; NON-FUNCTIONAL; RUNTIME MONITORING; SERVICE CHOREOGRAPHIES; SERVICE LEVEL AGREEMENT (SLAS);

COMPUTATION THEORY;

QUALITY OF SERVICE;

EID: 84877963465     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2480362.2480713     Document Type: Conference Paper

References (23)

1. R. Aschoff and A. Zisman. Qos-driven proactive adaptation of service composition. In Kappel et al. [17], pages 421-435.
2. R. Bartkevicius, A. Ben Hamida, G. De Angelis, and D. Silingas, editors. CHOReOS Whitepapers, chapter CHOReOS: Designing Service Choreographies with BPMN 2.0. Number Del. 9.4. The CHOReOS Consortium, 2012.
3. C. Bartolini, A. Bertolino, A. Ciancone, G. De Angelis, and R. Mirandola. Non-functional analysis of service choreographies. In Proc. of PESOS. IEEE-CS, June 2012.
4. C. Bartolini, A. Bertolino, A. Ciancone, G. De Angelis, and R. Mirandola. Quality requirements for service choreographies. In Proc. WEBIST. SciTePress, Apr. 2012.
5. C. Bartolini, A. Bertolino, G. De Angelis, and G. Lipari. A uml profile and a methodology for real-time systems design. In EUROMICRO-SEAA, pages 108-117. IEEE, 2006.
6. C. Bartolini, G. Lipari, and M. Di Natale. From functional blocks to the synthesis of the architectural model in embedded real-time applications. In Proc. of RTAS, pages 458-467. IEEE, 2005.
7. A. Bertolino, A. Calabrò, F. Lonetti, and A. Sabetta. GLIMPSE: a generic and flexible monitoring infrastructure. In Proc. of EWDC, pages 73-78. ACM, 2011.
8. A. Bertolino, G. De Angelis, S. Kellomäki, and A. Polini. Enhancing service federation trustworthiness through online testing. IEEE Computer, 45(1):66-72, 2012.
9. A. Bertolino, G. De Angelis, and A. Polini. Validation and Verification Policies for Governance of Service Choreographies. In Proc. WEBIST, Apr. 2012.
10. R. Calinescu, L. Grunske, M. Z. Kwiatkowska, R. Mirandola, and G. Tamburrelli. Dynamic qos management and optimization in service-based systems. IEEE Trans. Software Eng., 37(3):387-409, 2011.
11. V. Cardellini, E. Casalicchio, V. Grassi, S. Iannucci, F. L. Presti, and R. Mirandola. Moses: a framework for qos driven runtime adaptation of service-oriented systems. IEEE Trans. Software Eng., 2012. to appear.
12. A. Ciancone, M. L. Drago, A. Filieri, V. Grassi, and R. Mirandola. Klapersuite: an integrated model-driven environment for non-functional requirements analysis of component-based systems. In Proc of TOOLS, pages 99-114, 2011.
13. G. Decker, O. Kopp, F. Leymann, and M. Weske. Interacting Services: From Specification to Execution. Data & Knowledge Engineering, 68(10):946 - 972, 2009.
14. A. Di Marco, C. Pompilio, A. Bertolino, A. Calabrò, F. Lonetti, and A. Sabetta. Yet another meta-model to specify non-functional properties. In Proc. of QASBA, pages 9-16. ACM, 2011.
15. A. Hinton, M. Z. Kwiatkowska, G. Norman, and D. Parker. Prism: A tool for automatic verification of probabilistic systems. In TACAS, volume 3920 of LNCS, pages 441-444. Springer, 2006.
16. D. Ivanovic, M. Carro, and M. V. Hermenegildo. Constraint-based runtime prediction of sla violations in service orchestrations. In Kappel et al. [17], pages 62-76.
17. G. Kappel, Z. Maamar, and H. R. M. Nezhad, editors. Service-Oriented Computing - 9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011 Proceedings, volume 7084 of LNCS. Springer, 2011.
18. P. Leitner, A. Michlmayr, F. Rosenberg, and S. Dustdar. Monitoring, prediction and prevention of sla violations in composite services. In ICWS, pages 369-376. IEEE Computer Society, 2010.
19. Object Management Group. QVT 1.0 specification. http://www.omg.org/spec/ QVT/1.0/, April 2008.
20. Object Management Group. Business Process Model and Notation (BPMN) Version 2.0, 2010.
21. M. Papazoglou, P. Traverso, S. Dustdar, and F. Leymann. Service-oriented computing: State of the art and research challenges. Computer, 40(11):38-45, nov. 2007.
22. B. Wassermann and W. Emmerich. Monere: Monitoring of service compositions for failure diagnosis. In Kappel et al. [17], pages 344-358.
23. M. Weske. Business Process Management: Concepts, Languages, Architectures. Springer, 2007.