×

The stream-based service-centred calculus: a foundation for service-oriented programming. (English) Zbl 1342.68058

MSC:

68N19 Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)

Software:

COWS
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Alves A, Arkin A, Askary S, Barreto C, Bloch B, Curbera F, Ford M, Goland Y, Guízar A, Kartha N, Liu CK, Khalaf R, König D, Marin M, Mehta V, Thatte S, van der Rijn D, Yendluri P, Yiu A (2007) Business Process Execution Language for Web Services. Version 2.0
[2] Alonso G, Casati F, Kuno H, Machiraju V (2003) Web services—concepts, architectures and applications. Springer, Berlin · Zbl 1029.68007
[3] Ambler SW (2004) The Object Primer: agile model-driven development with UML 2.0. Cambridge University Press, Cambridge · doi:10.1017/CBO9780511584077
[4] Barendregt HP (1984) The lambda calculus: its syntax and semantics. North Holland, Amsterdam · Zbl 0551.03007
[5] Boreale, M.; Bruni, R.; Caires, L.; De Nicola, R.; Lanese, I.; Loreti, M.; Martins, F.; Montanari, U.; Ravara, A.; Sangiorgi, D.; Vasconcelos, V.; Zavattaro, G.; Bravetti, M. (ed.); Núñez, M. (ed.); Zavattaro, G. (ed.), SCC: a service centered calculus, 38-57 (2006), Berlin
[6] Boreale, M.; Bruni, R.; De Nicola, R.; Loreti, M.; Barthe, G. (ed.); Boer, FS (ed.), Sessions and pipelines for structured service programming, 19-38 (2008), Berlin
[7] Boreale M, Bruni R, De Nicola R, Loreti M (2014) Caspis: a calculus of sessions, pipelines and services. Math Struct Comput Sci (to appear) · Zbl 1361.68161
[8] Bellwood T, Capell S, Clément L, Colgrave J, Dovey MJ, Feygin D, Hately A, Kochman R, Macias P, Novotny M, Paolucci M, von Riegen C, Rogers T, Sycara K, Wenzel P, Wu Z (2004) UDDI Version 3.0
[9] Banci M, Fantechi A, Ficarra M, Giannini S, Santanni F (2006) Automotive case study: a UML description of scenarios. Internal report from the Sensoria EU IST project
[10] Busi, N.; Gorrieri, R.; Guidi, C.; Lucchi, R.; Zavattaro, G.; Dan, A. (ed.); Lamersdorf, W. (ed.), SOCK: a calculus for service oriented computing, 327-338 (2006), Berlin
[11] Bocchi, L.; Honda, K.; Tuosto, E.; Yoshida, N.; Gastin, P. (ed.); Laroussinie, F. (ed.), A theory of design-by-contract for distributed multiparty interactions, 162-176 (2010), Berlin · Zbl 1287.68121
[12] Bruni, R.; Lanese, I.; Melgratti, HC; Tuosto, E.; Lea, D. (ed.); Zavattaro, G. (ed.), Multiparty sessions in SOC, 67-82 (2008), Berlin
[13] Bruni, R.; Mezzina, LG; Meseguer, J. (ed.); Rosu, G. (ed.), Types and deadlock freedom in a calculus of services, sessions and pipelines, 100-115 (2008), Berlin · Zbl 1170.68428
[14] Christensen E, Curbera F, Meredith G, Weerawarana S (2001) WSDL: Web Services Definition Language. World Wide Web Consortium
[15] Cruz-Filipe L, Lanese I, Martins F, Ravara A, Vasconcelos VT (2007) Bisimulations in SSCC. DI/FCUL TR 07-37, Department of Informatics, Faculty of Sciences, University of Lisbon
[16] Cruz-Filipe, L.; Lanese, I.; Martins, F.; Ravara, A.; Vasconcelos, VT; Barthe, G. (ed.); Boer, F. (ed.), Behavioural theory at work: program transformations in a service-centred calculus, 59-77 (2008), Berlin
[17] Carbone, M.; Honda, K.; Yoshida, N.; De Nicola, R. (ed.), Structured communication-centred programming for web services, 2-17 (2007), Berlin · Zbl 1187.68064
[18] Carbone, M.; Montesi, F.; Giacobazzi, R. (ed.); Cousot, R. (ed.), Deadlock-freedom-by-design: multiparty asynchronous global programming, 263-274 (2013), New York · Zbl 1301.68097
[19] Caires, L.; De Nicola, R.; Pugliese, R.; Vasconcelos, VT; Zavattaro, G.; Wirsing, M. (ed.); Hölzl, MM (ed.), Core calculi for service-oriented computing, 153-188 (2011), Berlin
[20] Cook, WR; Patwardhan, S.; Misra, J.; Ciancarini, P. (ed.); Wiklicky, H. (ed.), Workflow patterns in Orc, 82-96 (2006), Berlin
[21] Caires L, Vieira HT (2010) Conversation types. Theoret Comput Sci 411(51-52): 4399-4440 · Zbl 1207.68222 · doi:10.1016/j.tcs.2010.09.010
[22] Gay SJ, Hole MJ (2005) Subtyping for session types in the pi calculus. Acta Inform 42(2-3): 191-225 · Zbl 1079.68065 · doi:10.1007/s00236-005-0177-z
[23] Gudgin M, Hadley M, Mendelsohn N, Moreau J-J, Nielsen HF, Karmarkar A, Lafon Y (2007) Simple Object Access Protocol (SOAP) 1.2. World Wide Web Consortium
[24] Gnesi S, ter Beek M, Baumeister H, Hoelzl M, Moiso C, Koch N, Zobel A, Alessandrini M (2006) D8.0: Case studies scenario description. Deliverable from the Sensoria EU IST project
[25] Honda, K.; Vasconcelos, VT; Kubo, M.; Hankin, C. (ed.), Language primitives and type disciplines for structured communication-based programming, 22-138 (1998), Berlin
[26] Honda, K.; Yoshida, N.; Carbone, M.; Necula, GC (ed.); Wadler, P. (ed.), Multiparty asynchronous session types, 273-284 (2008), New York · Zbl 1295.68150
[27] Jolie website. http://www.jolie-lang.org/ · Zbl 1287.68121
[28] Kitchin, D.; Cook, WR; Misra, J.; Baier, C. (ed.); Hermanns, H. (ed.), A language for task orchestration and its semantic properties, 477-491 (2006), Berlin · Zbl 1151.68360
[29] Lanese, I.; Guidi, C.; Montesi, F.; Zavattaro, G.; Cerone, A. (ed.); Gruner, S. (ed.), Bridging the gap between interaction- and process-oriented choreographies, 323-332 (2008), Washington
[30] Lapadula, A.; Pugliese, R.; Tiezzi, F.; De Nicola, R. (ed.), A calculus for orchestration of web services, 33-47 (2007), Berlin · Zbl 1187.68070
[31] Lanese, I.; Ravara, A.; Vieira, HT; Wirsing, M. (ed.); Hölzl, MM (ed.), Behavioral theory for session-oriented calculi, 189-213 (2011), Berlin
[32] Levi F, Sangiorgi D (2003) Mobile safe ambients. ACM Trans. Program. Lang. Syst. 25(1): 1-69 · doi:10.1145/596980.596981
[33] Lanese I, Vasconcelos VT, Martins F, Ravara A (2007) Disciplining orchestration and conversation in service-oriented computing. In: Proc. of SEFM 2007. IEEE Computer Society Press, Washington, DC, pp 305-314
[34] Lanese I, Vasconcelos VT, Martins F, Ravara A (2007) Disciplining orchestration and conversation in service-oriented computing. DI/FCUL TR 07-3, Department of Informatics, Faculty of Sciences, University of Lisbon
[35] Misra J, Cook WR (2007) Computation orchestration: a basis for wide-area computing. J Softw Syst Model 6(1): 83-110 · doi:10.1007/s10270-006-0012-1
[36] Montesi, F.; Carbone, M.; Kappel, G. (ed.); Maamar, Z. (ed.); Motahari-Nezhad, HR (ed.), Programming services with correlation sets, 125-141 (2011), Berlin
[37] Montesi F, Guidi C, Zavattaro G (2007) Composing services with JOLIE. In: Proc. of ECOWS’07. IEEE Computer Society Press, Washington, DC, pp 13-22
[38] Pierce BC (2002) Types and Programming Languages. MIT Press, Cambridge
[39] Sensoria project. Software engineering for service-oriented overlay computers. http://www.sensoria-ist.eu/
[40] Pierce, BC; Turner, DN; Ito, T. (ed.); Yonezawa, A. (ed.), Concurrent objects in a process calculus, 187-215 (1995), Berlin
[41] Sangiorgi D, Walker D (2001) The π-calculus: a theory of mobile processes. Cambridge University Press, Cambridge · Zbl 0981.68116
[42] Takeuchi, K.; Honda, K.; Kubo, M.; Halatsis, C. (ed.); Maritsas, DG (ed.); Philokyprou, G. (ed.); Theodoridis, S. (ed.), An interaction-based language and its typing system, 398-413 (1994), Berlin
[43] Vieira, HT; Caires, L.; Seco, JC; Drossopoulou, S. (ed.), The conversation calculus: a model of service-oriented computation, 269-283 (2008), Berlin · Zbl 1133.68388
[44] van der Aalst W, ter Hofstede A, Kiepuszewski B, Barros AP (2003) Workflow patterns. Distrib Parallel Databases 14(1): 5-51 · doi:10.1023/A:1022883727209
[45] Vasconcelos VT, Gay S, Ravara A (2006) Typechecking a multithreaded functional language with session types. Theoret Comput Sci 368(1-2): 64-87 · Zbl 1171.68410 · doi:10.1016/j.tcs.2006.06.028
[46] Yoshida N, Vasconcelos VT (2006) Language primitives and type discipline for structured communication-based programming revisited: two systems for higher-order session communication. In: Proc. of SecReT’06. ENTCS, vol 171, issue 4, pp 73-93 · Zbl 1133.68388
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.