Reasoning About a Service-oriented Programming Paradigm

Autor: Claudio Guidi, Fabrizio Montesi

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 2, Iss Proc. YR-SOC 2009, Pp 67-81 (2009)

This paper is about a new way for programming distributed applications: the service-oriented one. It is a concept paper based upon our experience in developing a theory and a language for programming services. Both the theoretical formalization and t

Externí odkaz: https://doaj.org/article/d892e2f370de412896b85ef9ec641280

A Model-Driven Approach Towards Automatic Migration to Microservices

Autor: Claudio Guidi, Kemal Soysal, Antonio Bucchiarone

Publikováno v: Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment ISBN: 9783030393052
DEVOPS

Microservices have received and are still receiving an increasing attention, both from academia and the industrial world. To guarantee scalability and availability while developing modern software systems, microservices allow developers to realize co

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::afe1eb68c00354c3be0d1fa472e7cb70
https://doi.org/10.1007/978-3-030-39306-9_2

Self-Reconfiguring Microservices

Autor: Fabrizio Montesi, Claudio Guidi, Jacopo Mauro, Maurizio Gabbrielli, Saverio Giallorenzo

Publikováno v: Theory and Practice of Formal Methods
Erika Ábrahám; Marcello Bonsangue; Einar Broch Johnsen. Theory and Practice of Formal Methods, Springer, pp.194-210, 2016, Lecture Notes in Computer Science, 978-3-319-30733-6. ⟨10.1007/978-3-319-30734-3_14⟩
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Theory and Practice of Formal Methods
Gabbrielli, M, Giallorenzo, S, Guidi, C, Mauro, J & Montesi, F 2016, Self-reconfiguring microservices . in E Ábrahám, M Bonsangue & E B Johnsen (eds), Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday . Springer, Lecture Notes in Computer Science, vol. 9660, pp. 194-210 . https://doi.org/10.1007/978-3-319-30734-3_14
Erika Ábrahám; Marcello Bonsangue; Einar Broch Johnsen. Theory and Practice of Formal Methods, 9660, Springer, pp.194-210, 2016, Lecture Notes in Computer Science, 978-3-319-30733-6. ⟨10.1007/978-3-319-30734-3_14⟩
Theory and Practice of Formal Methods ISBN: 9783319307336

International audience; Microservices is an emerging paradigm for the development of distributed systems that, originating from Service-Oriented Architecture , focuses on the small dimension, the loose coupling, and the dynamic topology of services.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c92cedfe5ff7229dac70473186261aa6
https://hal.inria.fr/hal-01336688/document

Dynamic Error Handling in Service Oriented Applications

Autor: Gianluigi Zavattaro, Ivan Lanese, Fabrizio Montesi, Claudio Guidi

Publikováno v: Fundamenta Informaticae. 95:73-102

Service Oriented Computing (SOC) allows for the composition of services which communicate using unidirectional one-way or bidirectional request-response communication patterns. Most service orchestration languages proposed so far provide also primiti

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5f666bd6904909e7f139d7bdc5a9edb3
https://doi.org/10.3233/fi-2009-143

JOLIE: a Java Orchestration Language Interpreter Engine

Autor: Fabrizio Montesi, Claudio Guidi, Gianluigi Zavattaro, Roberto Lucchi

Publikováno v: Electronic Notes in Theoretical Computer Science. 181:19-33

Service oriented computing is an emerging paradigm for programming distributed applications based on services. Services are simple software elements that supply their functionalities by exhibiting their interfaces and that can be invoked by exploitin

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1dfe7b04d20ad36082bae33b62dd852d
https://doi.org/10.1016/j.entcs.2007.01.051