A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Service-Oriented Programming with Jolie
[chapter]
2013
Web Services Foundations
Preserved Fulltext
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
2013
Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2015
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2017
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2015
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2007
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2007
Fifth European Conference on Web Services (ECOWS'07)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2012
2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2017
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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]
2017
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2017
Present and Ulterior Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2017
Modelirovanie i Analiz Informacionnyh Sistem
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2017
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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