Information Technology Reference
In-Depth Information
5. Baresi, L., Ghezzi, C., Guinea, S.: Smart monitors for composed services. In: ICSOC 2004,
pp. 193-202 (2004)
6. Bettini, L., Coppo, M., D'Antoni, L., De Luca, M., Dezani-Ciancaglini, M., Yoshida, N.:
Global progress in dynamically interleaved multiparty sessions. In: van Breugel, F., Chechik,
M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 418-433. Springer, Heidelberg (2008)
7. Bocchi, L., Chen, T.-C., Demangeon, R., Honda, K., Yoshida, N.: Monitoring networks
through multiparty session types. In: Beyer, D., Boreale, M. (eds.) FORTE 2013 and
FMOODS 2013. LNCS, vol. 7892, pp. 50-65. Springer, Heidelberg (2013)
8. Cambronero, M.-E., et al.: Validation and verification of web services choreographies by
using timed automata. J. Log. Algebr. Program. 80(1), 25-49 (2011)
9. Capecchi, S., Giachino, E., Yoshida, N.: Global escape in multiparty session. In: FSTTCS
2010. LIPICS, vol. 8, pp. 338-351 (2010)
10. Carbone, M.: Session-based choreography with exceptions. Electr. Notes Theor. Comput.
Sci. 241, 35-55 (2009)
11. Carbone, M., Honda, K., Yoshida, N.: Structured interactional exceptions in session types.
In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 402-417.
Springer, Heidelberg (2008)
12. W3C WS-CDL,
http://www.w3.org/2002/ws/chor/
13. Denielou, P.-M., Yoshida, N.: Multiparty session types meet communicating automata. In:
Seidl, H. (ed.) ESOP 2012. LNCS, vol. 7211, pp. 194-213. Springer, Heidelberg (2012)
14. Gan, Y., et al.: Runtime monitoring of web service conversations. In: CASCON 2007, pp.
42-57. ACM (2007)
15. Ghezzi, C., Guinea, S.: Run-time monitoring in service-oriented architectures. In: Test and
Analysis of Web Services, pp. 237-264. Springer (2007)
16. Halle, S., Bultan, T., Hughes, G., Alkhalaf, M., Villemaire, R.: Runtime verification of web
service interface contracts. Computer 43(3), 59-66 (2010)
17. Honda, K., Yoshida, N., Carbone, M.: Multiparty Asynchronous Session Types. In: POPL
2008, pp. 273-284. ACM (2008)
18. Hu, R., Kouzapas, D., Pernet, O., Yoshida, N., Honda, K.: Type-safe eventful sessions in java.
In: D'Hondt, T. (ed.) ECOOP 2010. LNCS, vol. 6183, pp. 329-353. Springer, Heidelberg
(2010)
19. Jass Home Page,
http://modernjass.sourceforge.net/
20. Jboss Savara project,
http://www.jboss.org/savara/downloads
21. Kr uger, I.H., Meisinger, M., Menarini, M.: Runtime verification of interactions: from mscs to
aspects. In: Sokolsky, O., Ta¸ıran, S. (eds.) RV 2007. LNCS, vol. 4839, pp. 63-74. Springer,
Heidelberg (2007)
22. Kr uger, I.H., Meisinger, M., Menarini, M.: Interaction-based runtime verification for systems
of systems integration. J. Log. Comput. 20(3), 725-742 (2010)
23. LAVANA project,
http://www.cs.um.edu.mt/svrg/Tools/LARVA/
24. Li, Z., Han, J., Jin, Y.: Pattern-based specification and validation of web services interaction
properties. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826,
pp. 73-86. Springer, Heidelberg (2005)
25. Li, Z., Jin, Y., Han, J.: A runtime monitoring and validation framework for web service
interactions. In: ASWEC 2006. IEEE (2006)
26. Minsky, N.H., Ungureanu, V.: Law-governed interaction: a coordination and control mecha-
nism for heterogeneous distributed systems. TOSEM 9, 273-305 (2000)
27. Ng, N., Yoshida, N., Honda, K.: Multiparty Session C: Safe Parallel Programming with
Message Optimisation. In: Furia, C.A., Nanz, S. (eds.) TOOLS 2012. LNCS, vol. 7304,
pp. 202-218. Springer, Heidelberg (2012)
28. Ocean Observatories Initative,
http://www.oceanobservatories.org/
