Verified type-checker for jolie ,
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
Jolie Community on the Rise, 2016 IEEE 9th International Conference on Service-Oriented Computing and Applications (SOCA) ,
DOI : 10.1109/SOCA.2016.16
Software architecture in practice. Pearson Education India, 2007. ,
Quality attributes and service-oriented architectures. Department of Defense, 2005. ,
Cohesion and reuse in an object-oriented system, Proceedings of the 1995 Symposium on Software Reusability, SSR '95, pp.259-262, 1995. ,
Network objects, ACM SIGOPS Operating Systems Review, vol.27, issue.5, pp.217-230, 1993. ,
DOI : 10.1145/173668.168637
Software Architecture: The Next Step, Software architecture, pp.194-199, 2004. ,
DOI : 10.1007/978-3-540-24769-2_14
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
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
The mythical man-month, volume 1995, 1975. ,
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
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
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
Coherence generalises duality: A logical explanation of multiparty session types, In CONCUR, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01336600
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
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
Web services description language (wsdl) 1.1, 2001. ,
Microservices: a language-based approach, Present and Ulterior Software Engineering, 2017. ,
Best kept secrets of peer code review, 2006. ,
Prediction and control of ada software defects, Journal of Systems and Software, vol.12, issue.3, pp.199-207, 1990. ,
How do committees invent. Datamation, pp.28-31, 1968. ,
Choreographies, divided and conquered. CoRR, abs, 1602. ,
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
Microservices: How to make your application scale, Ershov Informatics Conference (the PSI Conference Series, 2017. ,
Microservices: Migration of a mission critical system. https ,
The optimal class size for object-oriented software. Software Engineering, IEEE Transactions on, vol.28, issue.5, pp.494-509, 2002. ,
Design and code inspections to reduce errors in program development, Software pioneers, pp.575-607, 2002. ,
DOI : 10.1147/sj.382.0258
Architectural styles and the design of network-based software architectures, 2000. ,
Patterns of Enterprise Application Architecture, 2002. ,
Continuous integration, 2006. ,
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
Applied choreographies. CoRR, abs, 1510. ,
Design patterns: elements of reusable object-oriented software. Pearson Education India, 1995. ,
A reusable automated acceptance testing architecture for microservices in behavior-driven development. syntax, p.7 ,
A conversation with werner vogels, ACM Queue, vol.4, issue.4, pp.14-22, 2006. ,
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
Reexamining the fault density component size connection, IEEE Software, vol.14, issue.2, pp.89-97, 1997. ,
DOI : 10.1109/52.582978
A universal modular actor formalism for artificial intelligence, Proceedings of the 3rd International Joint Conference on Artificial Intelligence, IJCAI'73, pp.235-245, 1973. ,
Measuring coupling and cohesion in object-oriented systems. Citeseer, 1995. ,
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
Multiparty asynchronous session types, Journal of the ACM Also: POPL, vol.63, issue.19, pp.273-284, 2008. ,
DOI : 10.1145/1328438.1328472
Microservices, Applicative 2016 on, Applicative 2016, 2014. ,
DOI : 10.1145/2959689.2960082
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
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. ,
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
Reference model for service oriented architecture 1.0. OASIS Standard, 2006. ,
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. ,
Towards Abstractions for Web Services Composition, 2006. ,
A Case Study of Web Services Orchestration, pp.1-16, 2005. ,
DOI : 10.1109/MC.2003.1236471
Docker: Lightweight linux containers for consistent development and deployment, Linux J, vol.2014, issue.239, 2014. ,
Docker: lightweight linux containers for consistent development and deployment, Linux Journal, issue.2392, p.2014, 2014. ,
A Calculus of Communicating Systems, LNCS, vol.92, 1980. ,
DOI : 10.1007/3-540-10235-3
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
Towards static typechecking for jolie ,
Choreographic Programming, 2013. ,
Process-aware web programming with jolie, Science of Computer Programming, 2016. ,
DOI : 10.1145/2480362.2480507
URL : https://hal.archives-ouvertes.fr/hal-00909322
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
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
In search of an understandable consensus algorithm, 2014 USENIX Annual Technical Conference, USENIX ATC '14, pp.305-319, 2014. ,
Web services orchestration and choreography, Computer, vol.36, issue.10, pp.46-52, 2003. ,
DOI : 10.1109/MC.2003.1236471
Foundations for the study of software architecture, ACM SIGSOFT Software Engineering Notes, vol.17, issue.4, pp.40-52, 1992. ,
Apache thrift, 2009. ,
The art of Unix programming, 2003. ,
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
Software architecture: perspectives on an emerging discipline, 1996. ,
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
Component Software: Beyond Object-Oriented Programming, 2002. ,
Refinement Types in Jolie, Spring/Summer Young Researchers Colloquium on Software Engineering, 2016. ,
DOI : 10.15514/ISPRAS-2016-28(2)-2
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
Protocol buffers: Google's data interchange format. Google Open Source Blog, Available at least as early as, 2008. ,
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
Announcing ribbon: Tying the netflix mid-tier services together, 2013. ,
Business process modeling: Classifications and perspectives, Business Process and Services Computing: 1st International Working Conference on Business Process and Services Computing, p.222, 2007. ,