If you made any changes in Pure these will be visible here soon.

Research Output 2007 2020

Filter
Article in proceedings
2019
36 Downloads (Pure)

Ephemeral data handling in microservices

Giallorenzo, S., Montesi, F., Safina, L. & Zingaro, S. P., 2019, Proceedings of the 2019 IEEE International Conference on Services Computing, SCC 2019 - Part of the 2019 IEEE World Congress on Services. Bertino, E., Chang, C. K., Chen, P., Damiani, E., Damiani, E., Goul, M. & Oyama, K. (eds.). IEEE, p. 234-236 (IEEE International Conference on Services Computing (SCC), Vol. 2019).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
Data handling
Query languages
Internet of things

Multiparty Classical Choreographies

Carbone, M., Cruz-Filipe, L., Montesi, F. & Murawska, A., 1. Jan 2019, Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018. Stuckey, P. J. & Mesnard, F. (eds.). Springer VS, p. 59-76 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11408 LNCS).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Servers

No more, no less: A formal model for serverless computing

Gabbrielli, M., Giallorenzo, S., Lanese, I., Montesi, F., Peressotti, M. & Zingaro, S. P., 2019, Coordination Models and Languages. COORDINATION 2019. Riis Nielson, H. & Tuosto, E. (eds.). Springer, p. 148-157 (Lecture Notes in Computer Science, Vol. 11533).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Computer programming languages
Communication
59 Downloads (Pure)

Taking Linear Logic Apart

Kokke, W., Montesi, F. & Peressotti, M., 15. Apr 2019, Proceedings of the Joint International Workshop on Linearity Trends in linear Logic and Applications. Ehrhard, T., Fernández, M., de Paiva, V. & Tortora de Falco, L. (eds.). Open Publishing Association, Vol. 292. p. 90-103 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 292).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
Semantics
Network protocols
Chemical analysis
2018

Applied choreographies

Giallorenzo, S., Montesi, F. & Gabbrielli, M., 2018, Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Proceedings. Baier, C. & Caires, L. (eds.). Springer, p. 21-40 (Lecture Notes in Computer Science, Vol. 10854).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Communication
Semantics
Concretes
112 Downloads (Pure)

Communications in choreographies, revisited

Cruz-Filipe, L., Montesi, F. & Peressotti, M., 9. Apr 2018, Proceedings of the 33rd Annual ACM Symposium on Applied Computing. Association for Computing Machinery, p. 1248-1255

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

File
Communication
Semantics

From the decorator pattern to circuit breakers in microservices

Montesi, F. & Weber, J., 2018, Proceedings of the 33rd Annual ACM Symposium on Applied Computing. Association for Computing Machinery, Vol. Part F137816. p. 1733-1735

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Electric circuit breakers
Computer programming languages
2017
144 Downloads (Pure)

A Core Model for Choreographic Programming

Cruz-Filipe, L. & Montesi, F., 2017, Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers. Kouchnarenko, O. & Ramtin, K. (eds.). Springer, p. 17-35 (Lecture Notes in Computer Science, Vol. 10231).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

File
Communication
106 Downloads (Pure)

Classical higher-order processes

Montesi, F., 2017, Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017 Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Proceedings. Bouajjani, A. & Silva, A. (eds.). Springer, p. 171-178 (Lecture Notes in Computer Science, Vol. 10321).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

File

Encoding Asynchrony in Choreographies

Cruz-Filipe, L. & Montesi, F., 2017, Proceedings of the Symposium on Applied Computing. Association for Computing Machinery, p. 1175-1177

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Communication
Software architecture
Syntactics
Computer programming
Machinery

Packaging microservices: (work in progress)

Montesi, F. & Thrane, D. S., 2017, Distributed Applications and Interoperable Systems: 17th IFIP WG 6.1 International Conference, DAIS 2017 Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Proceedings. Y. Chen, L. & P. Reiser, H. (eds.). Springer, p. 131-137 (Lecture Notes in Computer Science, Vol. 10320).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Packaging
Managers
Electric circuit breakers
Computer programming languages
88 Downloads (Pure)

Procedural Choreographic Programming

Cruz-Filipe, L. & Montesi, F., 2017, Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017. Bouajjani, A. & Silva, A. (eds.). Springer, p. 92-107 (Lecture Notes in Computer Science, Vol. 10321).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

File
112 Downloads (Pure)

The Paths to Choreography Extraction

Cruz-Filipe, L., Larsen, K. S. & Montesi, F., 2017, Foundations of Software Science and Computation Structures: Proceedings of the 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. Esparza, J. & Murawski, A. S. (eds.). Springer, p. 424-440 (Lecture Notes in Computer Science, Vol. 10203).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

File
Specifications
Network protocols
Communication
2016
28 Downloads (Pure)

Coherence generalises duality: A logical explanation of multiparty session types

Carbone, M., Lindley, S., Montesi, F., Schürmann, C. & Wadler, P., 2016, Proceedings of the 27th International Conference on Concurrency Theory. Desharnais, J. & Jagadeesan, R. (eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, p. 1–15 33. (Leibniz International Proceedings in Informatics, Vol. 59).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Data-driven workflows for microservices: Genericity in jolie

Safina, L., Mazzara, M., Montesi, F. & Rivera, V., 2016, Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications. IEEE, p. 430-437 (Proceedings of the International Conference on Advanced Information Networking and Applications).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

WSDL
Computer programming languages
Web services
Communication

Kickstarting Choreographic Programming

Montesi, F., 2016, Web Services, Formal Methods, and Behavioral Types: Proceedings of the 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing. Hildebrandt, T., Ravara, A., van der Werf, J. M. & Weidlich, M. (eds.). Springer, p. 3-10 (Lecture Notes in Computer Science, Vol. 9421).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Communication
2015
47 Downloads (Pure)

Multiparty Session Types as Coherence Proofs

Carbone, M., Montesi, F., Schürmann, C. & Yoshida, N., 2015, 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015. Aceto, L. & de Frutos Escrig, D. (eds.). p. 412-426 (Leibniz International Proceedings in Informatics, Vol. 42).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
Linear Logic
Classical Logic
Correspondence
Compositionality
Admissibility

The Evolution of Jolie: From Orchestrations to Adaptable Choreographies

Lanese, I., Montesi, F. & Zavattaro, G., 2015, Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. De Nicola, R. & Hennicker, R. (eds.). Springer, p. 506-521 (Lecture Notes in Computer Science, Vol. 8950).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Specifications
2014

Choreographies, Logically

Carbone, M., Montesi, F. & Schürmann, C., 2014, CONCUR 2014 – Concurrency Theory : 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings. Paldan, P. & Gorda, D. (eds.). Springer, p. 47-62 16 p. (Lecture Notes in Computer Science, Vol. 8704).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Semantics

Progress as Compositional Lock-Freedom

Carbone, M., Dardha, O. & Montesi, F., 2014, Coordination Models and Languages: 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings. Kühn, E. & Pugliese, R. (eds.). Springer, p. 49-64

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns

Gabbrielli, M., Giallorenzo, S. & Montesi, F., 2014, Distributed Computing and Artificial Intelligence: 11th International Conference, DCAI 2014, Salamanca, Spain, June 4-6, 2014. Omatu et al., S. (ed.). Springer, p. 131-139 9 p. (Advances in Intelligent Systems and Computing, Vol. 290).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Service oriented architecture (SOA)
Petri nets
Flow patterns
Communication
2013

Amending Choreographies

Lanese, I., Montesi, F. & Zavattaro, G., 2013, Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, WWV 2013, Florence, Italy, 6th June 2013.. p. 34-48 15 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Compositional Choreographies

Montesi, F. & Yoshida, N., 2013, CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. p. 425-439 15 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Deadlock-freedom-by-design: multiparty asynchronous global programming

Carbone, M. & Montesi, F., 2013, The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013. p. 263-274 12 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Process-aware web programming with Jolie

Montesi, F., 2013, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013. p. 761-763 3 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2012

Interface-Based Service Composition with Aggregation

Preda, M. D., Gabbrielli, M., Guidi, C., Mauro, J. & Montesi, F., 2012, Service-Oriented and Cloud Computing - First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings. p. 48-63 16 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Service oriented architecture (SOA)
Agglomeration
Chemical analysis
Semantics

Merging Multiparty Protocols in Multiparty Choreographies

Carbone, M. & Montesi, F., 2012, Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2012, Tallinn, Estonia, 31 March 2012.. p. 21-27 7 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Service integration via target-transparent mediation

Preda, M. D., Gabbrielli, M., Guidi, C., Mauro, J. & Montesi, F., 2012, 2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA), Taipei, Taiwan, December 17-19, 2012. p. 1-5 5 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Service oriented architecture (SOA)
Computer programming languages
Industry
2011

An Efficient Management of Correlation Sets with Broadcast

Mauro, J., Gabbrielli, M., Guidi, C. & Montesi, F., 2011, Coordination Models and Languages - 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings. p. 80-94 15 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Service oriented architecture (SOA)
Data structures

Programming Services with Correlation Sets

Montesi, F. & Carbone, M., 2011, Service-Oriented Computing - 9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011 Proceedings. p. 125-141 17 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2010

A Framework for Rule-Based Dynamic Adaptation

Lanese, I., Bucchiarone, A. & Montesi, F., 2010, Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers. p. 284-300 17 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A Model of Evolvable Components

Montesi, F. & Sangiorgi, D., 2010, Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers. p. 153-171 19 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Error Handling: From Theory to Practice

Lanese, I. & Montesi, F., 2010, Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. p. 66-81 16 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2009

Reasoning About a Service-oriented Programming Paradigm

Guidi, C. & Montesi, F., 2009, Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing, YR-SOC 2009, Pisa, Italy, 17-19th June 2009.. p. 67-81 15 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2008

Bridging the Gap between Interaction- and Process-Oriented Choreographies

Lanese, I., Guidi, C., Montesi, F. & Zavattaro, G., 2008, Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008. p. 323-332 10 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Dynamic Fault Handling Mechanisms for Service-Oriented Applications

Montesi, F., Guidi, C., Lanese, I. & Zavattaro, G., 2008, ECOWS 2008, Sixth European Conference on Web Services, 12-14 November 2008, Dublin, Ireland. p. 225-234 10 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

On the interplay between fault handling and request-response service invocations

Guidi, C., Lanese, I., Montesi, F. & Zavattaro, G., 2008, 8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi'an, China, June 23-27, 2008. p. 190-198 9 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2007

Composing Services with JOLIE

Montesi, F., Guidi, C. & Zavattaro, G., 2007, Fifth IEEE European Conference on Web Services (ECOWS 2007), 26-28 November 2007, Halle (Saale), Germany. p. 13-22 10 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review