C. Bartolini
A. Bertolino
ABSTRACT
Service choreographies specify the intended interaction protocol among a set of cooperating services at the business application level. For end-users the non-functional properties exposed by a choreographed service composition can be as important as its functional behaviour, if not even more. Therefore, in any choreography development process, the capability of specifying and assessing the established Service Level Agreements (SLAs) becomes a crucial requisite. However, by their very nature, choreography requirements can be quite abstract and may on purpose avoid formalizing non-functional properties for every step of each individual service, nonetheless the overall QoS choreography will be affected by them. In this paper, we propose a monitor enhanced with the capability to detect potential deviations from a choreography-prescribed QoS level, based on the observed non-functional behaviour of the contributing services. Such an apprehensive monitor, as we call it, can thus contribute to predict SLA violations in due time for taking useful counter-measures, and not only detect them after they have occurred. We illustrate the feasibility of the approach on a use-case from the European Project CHOReOS.
- R. Aschoff and A. Zisman. Qos-driven proactive adaptation of service composition. In Kappel et al. {17}, pages 421--435. Google Scholar
Digital Library
- 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.Google Scholar
- 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.Google ScholarCross Ref
- C. Bartolini, A. Bertolino, A. Ciancone, G. De Angelis, and R. Mirandola. Quality requirements for service choreographies. In Proc. WEBIST. SciTePress, Apr. 2012.Google Scholar
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- A. Bertolino, G. De Angelis, and A. Polini. Validation and Verification Policies for Governance of Service Choreographies. In Proc. WEBIST, Apr. 2012.Google Scholar
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- G. Decker, O. Kopp, F. Leymann, and M. Weske. Interacting Services: From Specification to Execution. Data & Knowledge Engineering, 68(10):946--972, 2009. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- Object Management Group. QVT 1.0 specification. http://www.omg.org/spec/QVT/1.0/, April 2008.Google Scholar
- Object Management Group. Business Process Model and Notation (BPMN) Version 2.0, 2010.Google Scholar
- 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. Google ScholarDigital Library
- B. Wassermann and W. Emmerich. Monere: Monitoring of service compositions for failure diagnosis. In Kappel et al. {17}, pages 344--358. Google ScholarDigital Library
- M. Weske. Business Process Management: Concepts, Languages, Architectures. Springer, 2007. Google ScholarDigital Library
Index Terms
- Apprehensive QoS monitoring of Service choreographies
Recommendations
Synthesis of orchestrators from service choreographies
APCCM '09: Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96Interaction topologies in service-oriented systems are usually classified into two styles: choreographies and orchestrations. In a choreography, services interact in a peer-to-peer manner and no service plays a privileged role. In contrast, interactions ...
Formalizing Web Service Choreographies
Current Web service choreography proposals, such as BPEL4WS, BPSS, WSFL, WSCDL or WSCI, provide notations for describing the message flows in Web service collaborations. However, such proposals remain at the descriptive level, without providing any kind ...
An analytical approach for predicting QoS of web services choreographies
MGC '12: Proceedings of the 10th International Workshop on Middleware for Grids, Clouds and e-ScienceGiven a Web Services Composition, we deal with the prediction of the mean service response time that can be expected from a user request that is serviced. This challenge is a key issue in the design of middleware, managing Web Services Composition. We ...
Comments