E. Akentev, A. Tchitchigin, L. Safina, and M. Mazzara, Verified type-checker for jolie

E. B. Allen, T. M. Khoshgoftaar, and Y. Chen, Measuring coupling and cohesion of software modules: an information-theory approach, Proceedings Seventh International Software Metrics Symposium, pp.124-134, 2001.
DOI : 10.1109/METRIC.2001.915521

A. Bandura, N. Kurilenko, M. Mazzara, V. Rivera, L. Safina et al., Jolie Community on the Rise, 2016 IEEE 9th International Conference on Service-Oriented Computing and Applications (SOCA)
DOI : 10.1109/SOCA.2016.16

L. Bass, Software architecture in practice. Pearson Education India, 2007.

L. Bass, P. Merson, and L. O. Brien, Quality attributes and service-oriented architectures. Department of Defense, 2005.

M. James, B. Bieman, and . Kang, Cohesion and reuse in an object-oriented system, Proceedings of the 1995 Symposium on Software Reusability, SSR '95, pp.259-262, 1995.

A. Birrell, G. Nelson, S. Owicki, and E. Wobber, Network objects, ACM SIGOPS Operating Systems Review, vol.27, issue.5, pp.217-230, 1993.
DOI : 10.1145/173668.168637

J. Bosch, Software Architecture: The Next Step, Software architecture, pp.194-199, 2004.
DOI : 10.1007/978-3-540-24769-2_14

M. Bravetti and G. Zavattaro, Towards a Unifying Theory for Choreography Conformance and Contract Compliance, Software Composition, pp.34-50, 2007.
DOI : 10.1007/978-3-540-77351-1_4

URL : http://www.cs.unibo.it/~bravetti/papers/sc07tech.pdf

L. C. Briand, J. W. Daly, and J. K. Wüst, A unified framework for coupling measurement in object-oriented systems, IEEE Transactions on Software Engineering, vol.25, issue.1, pp.91-121, 1999.
DOI : 10.1109/32.748920

P. Frederick and . Brooks, The mythical man-month, volume 1995, 1975.

L. Caires and J. A. Pérez, Multiparty Session Types Within a Canonical Binary Theory, and Beyond, Formal Techniques for Distributed Objects, Components, and Systems -36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques Proceedings, pp.74-95, 2016.
DOI : 10.1017/S095679681400001X

URL : https://hal.archives-ouvertes.fr/hal-01432929

L. Caires and F. Pfenning, Session Types as Intuitionistic Linear Propositions, In CONCUR, pp.222-236, 2010.
DOI : 10.1007/978-3-642-15375-4_16

URL : http://www.cs.cmu.edu/%7Efp/papers/concur10.pdf

M. Carbone, K. Honda, and N. Yoshida, Structured Communication-Centered Programming for Web Services, ACM Transactions on Programming Languages and Systems, vol.34, issue.2, p.8, 2012.
DOI : 10.1145/2220365.2220367

M. Carbone, S. Lindley, F. Montesi, C. Schürmann, and P. Wadler, Coherence generalises duality: A logical explanation of multiparty session types, In CONCUR, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01336600

M. Carbone and F. Montesi, Deadlock-freedom-by-design: multiparty asynchronous global programming, POPL, pp.263-274, 2013.
DOI : 10.1145/2429069.2429101

URL : https://hal.archives-ouvertes.fr/hal-00909320

M. Carbone, F. Montesi, C. Schürmann, and N. Yoshida, Multiparty session types as coherence proofs, Acta Informatica, vol.24, issue.2???3, pp.412-426, 2015.
DOI : 10.1017/S095679681400001X

URL : https://hal.archives-ouvertes.fr/hal-01231453

E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana, Web services description language (wsdl) 1.1, 2001.

M. Mazzara-fabrizio-montesi, C. Guidi, and I. Lanese, Microservices: a language-based approach, Present and Ulterior Software Engineering, 2017.

J. Cohen, E. Brown, B. Durette, and S. Teleki, Best kept secrets of peer code review, 2006.

B. Terry, C. , and C. Withrow, Prediction and control of ada software defects, Journal of Systems and Software, vol.12, issue.3, pp.199-207, 1990.

E. Melvin and . Conway, How do committees invent. Datamation, pp.28-31, 1968.

L. Cruz-filipe and F. Montesi, Choreographies, divided and conquered. CoRR, abs, 1602.

H. Dhama, Quantitative models of cohesion and coupling in software, Journal of Systems and Software, vol.29, issue.1, pp.65-74, 1995.
DOI : 10.1016/0164-1212(94)00128-A

N. Dragoni, I. Lanese, S. T. Larsen, M. Mazzara, R. Mustafin et al., Microservices: How to make your application scale, Ershov Informatics Conference (the PSI Conference Series, 2017.

N. Dragoni, S. Dustdar, S. T. Larse, and M. Mazzara, Microservices: Migration of a mission critical system. https

. Khaled-el-emam, . Goel, . Melo, . Lounis, and . Sn-rai, The optimal class size for object-oriented software. Software Engineering, IEEE Transactions on, vol.28, issue.5, pp.494-509, 2002.

M. Fagan, Design and code inspections to reduce errors in program development, Software pioneers, pp.575-607, 2002.
DOI : 10.1147/sj.382.0258

R. Thomas and F. , Architectural styles and the design of network-based software architectures, 2000.

M. Fowler, Patterns of Enterprise Application Architecture, 2002.

M. Fowler and M. Foemmel, Continuous integration, 2006.

M. Gabbrielli, S. Giallorenzo, C. Guidi, J. Mauro, and F. Montesi, Self-Reconfiguring Microservices, Theory and Practice of Formal Methods, pp.194-210, 2016.
DOI : 10.1007/978-3-319-11245-9_9

URL : https://hal.archives-ouvertes.fr/hal-01336688

M. Gabbrielli, S. Giallorenzo, and F. Montesi, Applied choreographies. CoRR, abs, 1510.

E. Gamma, Design patterns: elements of reusable object-oriented software. Pearson Education India, 1995.

J. Gao, A reusable automated acceptance testing architecture for microservices in behavior-driven development. syntax, p.7

J. Gray, A conversation with werner vogels, ACM Queue, vol.4, issue.4, pp.14-22, 2006.

C. Guidi, Formalizing Languages for Service Oriented Computing, 2007.
DOI : 10.4304/jsw.2.1.1-13

URL : http://www.academypublisher.com/jsw/vol02/no01/jsw02010113.pdf

L. Hatton, Reexamining the fault density component size connection, IEEE Software, vol.14, issue.2, pp.89-97, 1997.
DOI : 10.1109/52.582978

C. Hewitt, P. Bishop, and R. Steiger, A universal modular actor formalism for artificial intelligence, Proceedings of the 3rd International Joint Conference on Artificial Intelligence, IJCAI'73, pp.235-245, 1973.

M. Hitz and B. Montazeri, Measuring coupling and cohesion in object-oriented systems. Citeseer, 1995.

K. Honda, V. Vasconcelos, and M. Kubo, Language primitives and type discipline for structured communication-based programming, pp.22-138, 1998.
DOI : 10.1007/BFb0053567

URL : http://www.di.fc.ul.pt/~vv/papers/yoshida.vasconcelos_language-primitives-revisited.pdf

K. Honda, N. Yoshida, and M. Carbone, Multiparty asynchronous session types, Journal of the ACM Also: POPL, vol.63, issue.19, pp.273-284, 2008.
DOI : 10.1145/1328438.1328472

L. Krause, Microservices, Applicative 2016 on, Applicative 2016, 2014.
DOI : 10.1145/2959689.2960082

V. D. Le, M. M. Neff, R. V. Stewart, R. Kelley, E. Fritzinger et al., Microservice-based architecture for the NRDC, 2015 IEEE 13th International Conference on Industrial Informatics (INDIN), pp.1659-1664, 2015.
DOI : 10.1109/INDIN.2015.7281983

A. Hugo, F. López, H. Nielson, and . Nielson, Enforcing availability in failure-aware communicating systems, Formal Techniques for Distributed Objects, Components, and Systems -36th IFIP WG 6.1 International Conference , FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques Proceedings, pp.195-211, 2016.

R. Lucchi and M. Mazzara, A pi-calculus based semantics for WS-BPEL, The Journal of Logic and Algebraic Programming, vol.70, issue.1, pp.96-118, 2007.
DOI : 10.1016/j.jlap.2006.05.007

URL : https://doi.org/10.1016/j.jlap.2006.05.007

C. Matthew, K. Mackenzie, F. Laskey, P. F. Mccabe, R. Brown et al., Reference model for service oriented architecture 1.0. OASIS Standard, 2006.

T. Mauro, Adopting microservices at netflix: Lessons for team and process design. http://nginx.com/blog/ adopting-microservices-at-netflix-lessons-for-team-and-process-design, 2015.

M. Mazzara, Towards Abstractions for Web Services Composition, 2006.

M. Mazzara and S. Govoni, A Case Study of Web Services Orchestration, pp.1-16, 2005.
DOI : 10.1109/MC.2003.1236471

D. Merkel, Docker: Lightweight linux containers for consistent development and deployment, Linux J, vol.2014, issue.239, 2014.

D. Merkel, Docker: lightweight linux containers for consistent development and deployment, Linux Journal, issue.2392, p.2014, 2014.

R. Milner, A Calculus of Communicating Systems, LNCS, vol.92, 1980.
DOI : 10.1007/3-540-10235-3

R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes, I and II. Information and Computation, pp.1-4041, 1992.
DOI : 10.1016/0890-5401(92)90009-5

URL : https://doi.org/10.1016/0890-5401(92)90009-5

B. Mingela, N. Troshkov, M. Mazzara, L. Safina, and A. Tchitchigin, Towards static typechecking for jolie

F. Montesi, Choreographic Programming, 2013.

F. Montesi, Process-aware web programming with jolie, Science of Computer Programming, 2016.
DOI : 10.1145/2480362.2480507

URL : https://hal.archives-ouvertes.fr/hal-00909322

F. Montesi, C. Guidi, and G. Zavattaro, Service-Oriented Programming with Jolie, Web Services Foundations, pp.81-107, 2014.
DOI : 10.1007/978-1-4614-7518-7_4

URL : https://hal.archives-ouvertes.fr/hal-00909323

H. S. Nwana, Software agents: an overview, The Knowledge Engineering Review, vol.11, issue.03, pp.205-244, 1996.
DOI : 10.1017/S026988890000789X

URL : http://www.nada.kth.se/kurser/kth/2D1381/AgentOverviewNwana.pdf

D. Ongaro and J. K. Ousterhout, In search of an understandable consensus algorithm, 2014 USENIX Annual Technical Conference, USENIX ATC '14, pp.305-319, 2014.

C. Peltz, Web services orchestration and choreography, Computer, vol.36, issue.10, pp.46-52, 2003.
DOI : 10.1109/MC.2003.1236471

E. Dewayne, . Perry, L. Alexander, and . Wolf, Foundations for the study of software architecture, ACM SIGSOFT Software Engineering Notes, vol.17, issue.4, pp.40-52, 1992.

A. Prunicki, Apache thrift, 2009.

S. Eric and . Raymond, The art of Unix programming, 2003.

L. Safina, M. Mazzara, F. Montesi, and V. Rivera, Data-Driven Workflows for Microservices: Genericity in Jolie, 2016 IEEE 30th International Conference on Advanced Information Networking and Applications (AINA), 2016.
DOI : 10.1109/AINA.2016.95

URL : https://hal.archives-ouvertes.fr/hal-01336608

M. Shaw and D. Garlan, Software architecture: perspectives on an emerging discipline, 1996.

Y. Sun, S. Nanda, and T. Jaeger, Security-as-a-Service for Microservices-Based Cloud Applications, 2015 IEEE 7th International Conference on Cloud Computing Technology and Science (CloudCom), pp.50-57, 2015.
DOI : 10.1109/CloudCom.2015.93

C. Szyperski, Component Software: Beyond Object-Oriented Programming, 2002.

A. Tchitchigin, L. Safina, M. Mazzara, M. Elwakil, F. Montesi et al., Refinement Types in Jolie, Spring/Summer Young Researchers Colloquium on Software Engineering, 2016.
DOI : 10.15514/ISPRAS-2016-28(2)-2

B. Toninho, L. Caires, and F. Pfenning, Higher-Order Processes, Functions, and Sessions: A Monadic Integration, Programming Languages and Systems -22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013. Proceedings, pp.350-369, 2013.
DOI : 10.1007/978-3-642-37036-6_20

URL : http://www.cs.cmu.edu/%7Ebtoninho/monad.pdf

K. Varda, Protocol buffers: Google's data interchange format. Google Open Source Blog, Available at least as early as, 2008.

P. Wadler, Propositions as sessions, Also: ICFP, pp.384-418, 2012.
DOI : 10.1145/2398856.2364568

URL : http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-sessions/propositions-as-sessions.pdf

A. Wang and S. Tonse, Announcing ribbon: Tying the netflix mid-tier services together, 2013.

Z. Yan, M. Mazzara, E. Cimpian, and A. Urbanec, Business process modeling: Classifications and perspectives, Business Process and Services Computing: 1st International Working Conference on Business Process and Services Computing, p.222, 2007.