-
1
-
-
84988946563
-
-
Service Architecture: Service-Oriented Architecture (SOA) Definition. Accessed December 2015
-
Service Architecture: Service-Oriented Architecture (SOA) Definition. Accessed December 2015. http: //www. service-architecture. com/articles/ web-services/service-oriented-architecture-soa-definition. html, (2000-2015).
-
-
-
-
3
-
-
84988953774
-
-
Accessed December 2015, (1999-2015)
-
XML Schema choice Element. Accessed December 2015. http: //www. w3schools. com/schema/el-choice. Asp, (1999-2015).
-
XML Schema Choice Element
-
-
-
5
-
-
0003880013
-
-
Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA
-
Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-oriented Software. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1995.
-
(1995)
Design Patterns: Elements of Reusable Object-oriented Software
-
-
Gamma, E.1
Helm, R.2
Johnson, R.3
Vlissides, J.4
-
6
-
-
34250176154
-
A formal framework for web services coordination
-
June
-
Claudio Guidi, Roberto Lucchi, and Manuel Mazzara. A formal framework for web services coordination. Electronic Notes in Theoretical Computer Science, 180 (2): 55-70, June 2007.
-
(2007)
Electronic Notes in Theoretical Computer Science
, vol.180
, Issue.2
, pp. 55-70
-
-
Guidi, C.1
Lucchi, R.2
Mazzara, M.3
-
7
-
-
77049098553
-
Sock: A calculus for service oriented computing
-
Springer
-
Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro, Nadia Busi, and Roberto Gorrieri. Sock: A calculus for service oriented computing. In In ICSOC, volume 4294 of LNCS, pages 327-338. Springer, 2006.
-
(2006)
ICSOC, Volume 4294 of LNCS
, pp. 327-338
-
-
Guidi, C.1
Lucchi, R.2
Zavattaro, G.3
Busi, N.4
Gorrieri, R.5
-
8
-
-
84930678109
-
-
Accessed December 2015
-
J. Lewis and M. Fowler. Microservices. Accessed December 2015. http: //martinfowler. com/articles/microservices. html, (2014).
-
(2014)
Microservices
-
-
Lewis, J.1
Fowler, M.2
-
9
-
-
33750457295
-
A pi-calculus based semantics for WS-BPEL
-
Roberto Lucchi and Manuel Mazzara. A pi-calculus based semantics for WS-BPEL. J. Log. Algebr. Program., 70 (1): 96-118, 2007.
-
(2007)
J. Log. Algebr. Program
, vol.70
, Issue.1
, pp. 96-118
-
-
Lucchi, R.1
Mazzara, M.2
-
10
-
-
84862135869
-
Toward design, modelling and analysis of dynamic workflow reconfigurations-A process algebra perspective
-
Marco Carbone and Jean-Marc Petit, editors, Clermont-Ferrand, France, September 1-2, 2011 volume 7176 of LNCS. Springer
-
Manuel Mazzara, Faisal Abouzaid, Nicola Dragoni, and Anirban Bhattacharyya. Toward design, modelling and analysis of dynamic workflow reconfigurations-A process algebra perspective. In Marco Carbone and Jean-Marc Petit, editors, Web Services and Formal Methods-8th International Workshop, WS-FM, Clermont-Ferrand, France, September 1-2, 2011, volume 7176 of LNCS, pages 64-78. Springer, 2011.
-
(2011)
Web Services and Formal Methods-8th International Workshop, WS-FM
, pp. 64-78
-
-
Mazzara, M.1
Abouzaid, F.2
Dragoni, N.3
Bhattacharyya, A.4
-
13
-
-
84908871569
-
Serviceoriented programming with jolie
-
Athman Bouguettaya, Quan Z. Sheng, and Florian Daniel, editors. Springer
-
Fabrizio Montesi, Claudio Guidi, and Gianluigi Zavattaro. Serviceoriented programming with jolie. In Athman Bouguettaya, Quan Z. Sheng, and Florian Daniel, editors, Web Services Foundations, pages 81-107. Springer, 2014.
-
(2014)
Web Services Foundations
, pp. 81-107
-
-
Montesi, F.1
Guidi, C.2
Zavattaro, G.3
-
14
-
-
84988925585
-
-
Master's thesis, Technical University of Denmark, Department of Applied Mathematics and Computer Science / DTU Co, Matematiktorvet, Building 303B, DK-2800 Kgs, Lyngby, Denmark, compute@compute. dtu. dk, DTU supervisor: Nicola Dragoni, ndra@dtu. dk, DTU Compute
-
J. M. Nielsen. A type system for the jolie language. Master's thesis, Technical University of Denmark, Department of Applied Mathematics and Computer Science / DTU Co, Matematiktorvet, Building 303B, DK-2800 Kgs. Lyngby, Denmark, compute@compute. dtu. dk, 2013. DTU supervisor: Nicola Dragoni, ndra@dtu. dk, DTU Compute.
-
(2013)
A Type System for the Jolie Language
-
-
Nielsen, J.M.1
-
15
-
-
84921683423
-
AIOCJ: A choreographic framework for safe adaptive distributed applications
-
Benoît Combemale, David J. Pearce, Olivier Barais, and Jurgen J. Vinju, editors, Västerås, Sweden, September 15-16, 2014. Proceedings, volume 8706 of Lecture Notes in Computer Science. Springer
-
Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, and Maurizio Gabbrielli. AIOCJ: A choreographic framework for safe adaptive distributed applications. In Benoît Combemale, David J. Pearce, Olivier Barais, and Jurgen J. Vinju, editors, Software Language Engineering-7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings, volume 8706 of Lecture Notes in Computer Science, pages 161-170. Springer, 2014.
-
(2014)
Software Language Engineering-7th International Conference, SLE 2014
, pp. 161-170
-
-
Dalla Preda, M.1
Giallorenzo, S.2
Lanese, I.3
Mauro, J.4
Gabbrielli, M.5
-
16
-
-
84988920400
-
-
The Jolie Team, Accessed December 2015, (2014-2015)
-
The Jolie Team. The first language for Microservices. Accessed December 2015. http: //www. jolie-lang. org/, (2014-2015).
-
The First Language for Microservices
-
-
|