A Flexible Architecture to Monitor Dynamic Web Services Composition

Flavio Corradini, Francesco De Angelis, Daniele Fani', Andrea Polini

2015

Abstract

A Service Oriented Architecture aims to facilitate interaction of loosely coupled services in large-scale dynamic systems. Despite a decade’s active research and development, Web Services still remain undependable (Bourne et al., 2012). In literature many proposals attempt to overcome interoperability issues, particularly typical of not-orchestrated Web Service (WS) compositions. Although these techniques aid to discover potential interoperability mismatches, they do not fit well with flexibility and dynamism, desirable characteristics e.g. in choreographies. Here unsafe run-time changes may compromise a correct execution. To support such dynamism and to mitigate the effects of such failures, we propose a flexible architecture able to realize dynamic WS compositions, supporting run-time monitoring and verification techniques. The technique we chose is a novel run-time algorithm capable to predict potential failures that can happen in near future states of a choreography. It admits an integration ”a-priori” and monitors the run-time services behaviour to provide information about possible errors when these can happen.

References

  1. Autili, M., Inverardi, P., and Tivoli, M. (2015). Automated synthesis of service choreographies. Software, IEEE, 32(1):50-57.
  2. Baresi, L., Nitto, E. D., and Ghezzi, C. (2006). Towards open-world software: Issue and challenges. In SEW30 2006, 25-28 April 2006, Columbia, MD, USA, pages 249-252.
  3. Barringer, H., Gabbay, D. M., and Rydeheard, D. E. (2007). From runtime verification to evolvable systems. In RV, pages 97-110.
  4. Basu, S., Bultan, T., and Ouederni, M. (2012). Deciding choreography realizability. In ACM SIGPLAN Notices, volume 47, pages 191-202. ACM.
  5. Bourne, S., Szabo, C., and Sheng, Q. Z. (2012). Ensuring well-formed conversations between control and operational behaviors of web services. Service-Oriented Computing, pages 507-515.
  6. Chatley, R., Eisenbach, S., Kramer, J., Magee, J., and Uchitel, S. (2004). Predictable dynamic plugin systems. In FASE, pages 129-143.
  7. de Alfaro, L. and Henzinger, T. A. (2001). Interface automata. In ESEC/SIGSOFT FSE, pages 109-120.
  8. De Angelis, F., Di Berardini, M. R., Muccini, H., and Polini, A. (2014). Cassandra: An online failure prediction strategy for dynamically evolving systems. In Formal Methods and Software Engineering, pages 107-122. Springer.
  9. De Angelis, F., Fanì, D., and Polini, A. (2013). Partes: A test generation strategy for choreography participants. In Automation of Software Test (AST), 2013 8th International Workshop on, pages 26-32. IEEE.
  10. Elia, I. A., Laranjeiro, N., and Vieira, M. (2014). Itws: An extensible tool for interoperability testing of web services. In Web Services (ICWS), 2014 IEEE International Conference on, pages 409-416. IEEE.
  11. Filieri, A., Ghezzi, C., and Tamburrelli, G. (2012). A formal approach to adaptive software: continuous assurance of non-functional requirements. Formal Aspects of Computing, 24:163-186.
  12. Ghezzi, C., Mocci, A., and Sangiorgio, M. (2012). Runtime monitoring of component changes with spy@runtime. In ICSE 2012, pages 1403 -1406.
  13. Goldsby, H., Cheng, B. H. C., and Zhang, J. (2007). Amoeba-rt: Run-time verification of adaptive software. In MoDELS Workshops, pages 212-224.
  14. Hanumantharayappa, A. K. (2014). Enabling horizontal scalability in an open source enterprise services bus.
  15. Morin, B., Barais, O., Jézéquel, J.-M., Fleurey, F., and Solberg, A. (2009). Models@ run.time to support dynamic adaptation. IEEE Computer, 42(10):44-51.
  16. Salfner, F., Lenk, M., and Malek, M. (2010). A survey of online failure prediction methods. ACM Comput. Surv., 42(3).
  17. Shoham, S., Yahav, E., Fink, S. J., and Pistoia, M. (2008). Static specification mining using automata-based abstractions. IEEE Trans. Software Eng., 34(5):651- 666.
Download


Paper Citation


in Harvard Style

Corradini F., De Angelis F., Fani' D. and Polini A. (2015). A Flexible Architecture to Monitor Dynamic Web Services Composition . In Proceedings of the 11th International Conference on Web Information Systems and Technologies - Volume 1: WEBIST, ISBN 978-989-758-106-9, pages 64-72. DOI: 10.5220/0005444800640072


in Bibtex Style

@conference{webist15,
author={Flavio Corradini and Francesco De Angelis and Daniele Fani' and Andrea Polini},
title={A Flexible Architecture to Monitor Dynamic Web Services Composition},
booktitle={Proceedings of the 11th International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,},
year={2015},
pages={64-72},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005444800640072},
isbn={978-989-758-106-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 11th International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,
TI - A Flexible Architecture to Monitor Dynamic Web Services Composition
SN - 978-989-758-106-9
AU - Corradini F.
AU - De Angelis F.
AU - Fani' D.
AU - Polini A.
PY - 2015
SP - 64
EP - 72
DO - 10.5220/0005444800640072