Filters








2,234 Hits in 2.7 sec

Service-Oriented Programming with Jolie [chapter]

Fabrizio Montesi, Claudio Guidi, Gianluigi Zavattaro
2013 Web Services Foundations  
In this chapter we present Jolie, a fully-fledged service-oriented programming language. Jolie addresses the aforementioned heterogeneity in two ways.  ...  The wide adoption of service-oriented computing has led to a heterogeneous scenario formed by different technologies and specifications.  ...  Our deployment language allows Jolie to apply the service-oriented paradigm also to other domains; here we briefly consider the programming of web applications. and request-response operations, communication  ... 
doi:10.1007/978-1-4614-7518-7_4 fatcat:o7efkmcskrbghi63ahjbsywpsm

Process-aware web programming with Jolie

Fabrizio Montesi
2013 Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13  
We present a programming framework, based upon the Jolie language, for the native modelling of process-aware web information systems.  ...  Our major contribution is to offer a unifying approach for the programming of distributed architectures based on HTTP that support typical features of the process-oriented paradigm, such as structured  ...  WEB PROGRAMMING WITH JOLIE We refer to [2] for a presentation of Jolie. As a rough reference, each Jolie program defines a service in a distributed environment and is formed by two parts.  ... 
doi:10.1145/2480362.2480507 dblp:conf/sac/Montesi13 fatcat:qu375escfzczncqgy3zm6z5blu

Data-driven Workflows for Microservices [article]

Larisa Safina, Manuel Mazzara, Fabrizio Montesi
2015 arXiv   pre-print
However, Jolie still lacks some useful constructs for dealing with message types and data manipulation that are present in service-oriented computing.  ...  Jolie is a programming language based on the microservices paradigm: the main building block of Jolie systems are services, in contrast to, e.g., functions or objects.  ...  It is enough to notice how enriched language mechanisms offer alternative programming patternand therefore desing patterns -to developers who adopt the service-oriented paradigm.  ... 
arXiv:1511.02597v1 fatcat:hr7nehqnwzb4tfxnn6vpz5wyrq

Microservices: a Language-based Approach [article]

Claudio Guidi, Ivan Lanese, Manuel Mazzara, Fabrizio Montesi
2017 arXiv   pre-print
We discuss the approach in general, and then we instantiate it in terms of the Jolie programming language.  ...  However, microservice systems are currently developed using general-purpose programming languages that do not provide dedicated abstractions for service composition.  ...  Composing services with JOLIE. In ECOWS, pages 13–22. IEEE Computer Society, 2007. 18. F. Montesi, C. Guidi, and G. Zavattaro. Service-Oriented Programming with Jolie.  ... 
arXiv:1704.08073v1 fatcat:hyo6rgqevnbfnjbc3slj264g2u

The Evolution of Jolie [chapter]

Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro
2015 Lecture Notes in Computer Science  
These works, more recently, contributed to the realisation of a framework for programming dynamically evolvable distributed Service-Oriented applications that are correct-by-construction.  ...  Jolie was designed having in mind both the novel -at project timeconcepts related to Service-Oriented Computing and the traditional approach to the modelling of concurrency typical of process calculi.  ...  We report some conclusive remarks in Section 7. 2 Service-Oriented Programming with Jolie Jolie programs contain two parts related, respectively, to the behaviour of a service and to its deployment.  ... 
doi:10.1007/978-3-319-15545-6_29 fatcat:25fagjxlc5afjomsgs5irthbqa

JOLIE: a Java Orchestration Language Interpreter Engine

Fabrizio Montesi, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
2007 Electronical Notes in Theoretical Computer Science  
Service oriented computing is an emerging paradigm for programming distributed applications based on services.  ...  In this paper we present JOLIE, an interpreter and engine for orchestration programs.  ...  Introduction Service oriented computing is an emerging paradigm for programming distributed applications based on services.  ... 
doi:10.1016/j.entcs.2007.01.051 fatcat:h6kjstcbnzhsnfeqvcb7xvml7m

Composing Services with JOLIE

Fabrizio Montesi, Claudio Guidi, Gianluigi Zavattaro
2007 Fifth European Conference on Web Services (ECOWS'07)  
Service composition and service statefulness are key concepts in Web Service system programming.  ...  On the one hand, JOLIE offers a simple syntax for dealing with service composition and efficient multiple request processing; on the other hand, it is based on a formal semantics which offers a solid development  ...  in the target service oriented architecture.  ... 
doi:10.1109/ecows.2007.19 dblp:conf/ecows/MontesiGZ07 fatcat:bng7utemzrfufmfr2do3cbgqqu

Service integration via target-transparent mediation

Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi
2012 2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA)  
We show how our service integrators can be used in practice by evaluating our approach with Jolie, a serviceoriented programming language.  ...  In the context of Service-Oriented Architectures (SOAs), the integration of services is an important aspect that is usually addressed by using specific tools, such as Enterprise Service Bus (ESB).  ...  To overcome this limitation, we propose to use an extension of Jolie [2] -a fully-fledged service-oriented programming language released as an open-source project.  ... 
doi:10.1109/soca.2012.6449432 dblp:conf/soca/PredaGGMM12 fatcat:qhkjfkmig5b5zfx4wlhmojfr5q

Verified type checker for Jolie programming language [article]

Evgenii Akentev, Alexander Tchitchigin, Larisa Safina, Manuel Mazzara
2017 arXiv   pre-print
Jolie is a service-oriented programming language which comes with the formal specification of its type system. However, there is no tool to ensure that programs in Jolie are well-typed.  ...  We express the type checker as a program with dependent types in Agda proof assistant which helps to ascertain that the type checker is correct.  ...  It has been developed as the answer to the problems arisen in applications built in monolith or Service-Oriented Architecture styles including difficulties with scalability, complexity and dependencies  ... 
arXiv:1703.05186v2 fatcat:csxq3mzsa5amzmuuyp365gv4su

Microservices Science and Engineering [article]

Manuel Mazzara, Kevin Khanda, Ruslan Mustafin, Victor Rivera, Larisa Safina, Alberto Sillitti
2017 arXiv   pre-print
We try to clarify some misunderstandings related to microservices and Service-Oriented Architectures, and we also describe projects and applications our team have been working on in the recent past, both  ...  regarding programming languages construction and intelligent buildings.  ...  Let us illustrate the Jolie syntax with a simple example of the service printing anything it receives.  ... 
arXiv:1706.07350v1 fatcat:h5bvexj45nht3mkxhpr2cktiuu

Error Handling: From Theory to Practice [chapter]

Ivan Lanese, Fabrizio Montesi
2010 Lecture Notes in Computer Science  
We describe the different issues that a language designer has to tackle when defining error handling mechanisms for service-oriented computing.  ...  We consider as an example the language Jolie, and the calculus SOCK it is based upon.  ...  Service-oriented computing is a programming paradigm for developing complex distributed applications by composing simpler, loosely coupled services.  ... 
doi:10.1007/978-3-642-16561-0_13 fatcat:ua62zhm5mvf6bodhu4axre5sbu

Jolie LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices [article]

Saverio Giallorenzo and Fabrizio Montesi and Marco Peressotti and Florian Rademacher and Sabine Sachweh
2021 arXiv   pre-print
In the field of microservices, Model-Driven Engineering has emerged as a powerful methodology for architectural design, and new programming languages have introduced language abstractions to deal with  ...  In this article, we present the first preliminary investigation of how the two approaches can be married, taking the LEMMA framework and the Jolie programming language as respective representatives.  ...  This observation suggests that this integration infrastructure could be founded over the core concepts and behaviour operators for service-oriented programming of process calculi that already constitute  ... 
arXiv:2104.02458v1 fatcat:a2eqch6qt5fi5h2mbwubinbk3u

Microservices: A Language-Based Approach [chapter]

Claudio Guidi, Ivan Lanese, Manuel Mazzara, Fabrizio Montesi
2017 Present and Ulterior Software Engineering  
We discuss the approach in general, and then we instantiate it in terms of the Jolie programming language.  ...  However, microservice systems are currently developed using general-purpose programming languages that do not provide dedicated abstractions for service composition.  ...  Jolie is an imperative language where standard constructs such as assignments, conditionals, and loops are combined with constructs dealing with distribution, communication, and services.  ... 
doi:10.1007/978-3-319-67425-4_13 fatcat:vhogries25eknbxs576mqig2mu

Jolie Static Type Checker: a Prototype

Daniel De Carvalho, Manuel Mazzara, Bogdan Mingela, Larisa Safina, Alexander Tchitchigin, Nikolay Troshkov
2017 Modelirovanie i Analiz Informacionnyh Sistem  
The current state of the Jolie programming language includes a dynamic type system. Consequently, it allows avoidable run-time errors.  ...  With such approach, the static type checker verifies everything possible at compile time, and the dynamic one checks the remaining.  ...  As for practical side, Jolie was inspired by standards for Service-Oriented Computing such as WS-BPEL [34] and the attempts of formalizing it [13] .  ... 
doi:10.18255/1818-1015-2017-6-704-717 fatcat:iob44rd5nbbvfoxuwnxu52ryfa

Jolie Static Type Checker: a prototype [article]

Daniel de Carvalho, Manuel Mazzara, Bogdan Mingela, Larisa Safina, Alexander Tchitchigin, Nikolay Troshkov
2017 arXiv   pre-print
The current state of the Jolie programming language includes a dynamic type system. Consequently, it allows avoidable run-time errors.  ...  With such approach, the static type checker verifies everything possible at compile time, and dynamic checks the remaining.  ...  As for practical side, Jolie was inspired by standards for Service-Oriented Computing such as WS-BPEL [2] and the attempts of formalizing it [18] .  ... 
arXiv:1702.07146v5 fatcat:b4mn4bqtjfhqfdao32zjqhldfe
« Previous Showing results 1 — 15 out of 2,234 results