Service-Oriented Programming with Jolie

Montesi, Fabrizio; Guidi, Claudio; Zavattaro, Gianluigi

doi:10.1007/978-1-4614-7518-7_4

Cited by 78 publications

(103 citation statements)

References 20 publications

Supporting

Mentioning

100

Contrasting

Order By: Relevance

“…The most famous representatives are the Java Orchestration Language Interpreter Engine (JOLIE) [30] and Orc [31]. JOLIE is a fully-fledged service-oriented programming language interpreter with according language.…”

Section: Mainstream Technologiesmentioning

confidence: 99%

“…By this means the language has computational as well as compositional aspects. It aims at offering a programming language for defining the base services, their organization in an SOA, and the behavior of the orchestrators responsible for the supervision of the interactions among the services thereby supporting various communication technologies, e.g., SOAP [32]. Scripts describing composed workflows can be offered as new WS by the interpreter engine.…”

Section: Mainstream Technologiesmentioning

confidence: 99%

See 1 more Smart Citation

The RichWPS Environment for Orchestration

Bensmann¹,

Alcacer-Labrador²,

Ziegenhagen³

et al. 2014

IJGI

View full text Add to dashboard Cite

Web service (WS) orchestration can be considered as a fundamental concept in service-oriented architectures (SOA), as well as in spatial data infrastructures (SDI). In recent years in SOA, advanced solutions were developed, such as realizing orchestrated web services on the basis of already existing more fine-granular web services by using standardized notations and existing orchestration engines. Even if the concepts can be mapped to the field of SDI, on a conceptual level the implementations target different goals. As a specialized form of a common web service, an Open Geospatial Consortium (OGC) web service (OWS) is optimized for a specific purpose. On the technological level, web services depend on standards like the Web Service Description Language (WSDL) or the Simple Object Access Protocol (SOAP). However OWS are different. Consequently, a new concept for OWS orchestration is needed that works on the interface provided by OWS. Such a concept is presented in this work. The major component is an orchestration engine integrated in a Web Processing Service (WPS) server that uses a domain specific language (DSL) for workflow description. The developed concept is the base for the realization of new functionality, such as workflow testing, and workflow optimization.

show abstract

Section: Mainstream Technologiesmentioning

confidence: 99%

Section: Mainstream Technologiesmentioning

confidence: 99%

The RichWPS Environment for Orchestration

Bensmann¹,

Alcacer-Labrador²,

Ziegenhagen³

et al. 2014

IJGI

View full text Add to dashboard Cite

show abstract

“…The trend of migrating monolithic architectures into microservices to reap benefits of scalability is growing fast today [7,5]. Jolie [20] is the only language natively supporting microservice architectures [9] and, currently, has dynamic type checking only.…”

Section: Introductionmentioning

confidence: 99%

“…However, implementing such system is a non trivial task due to technical challenges both of general nature and specific to the language. In this paper, we introduce and describe the Jolie Static Type Checker (JSTC), building on top of the previous work on the Jolie programming language [20]. Our approach follows the formal derivation rules as defined in [25].…”

Section: Introductionmentioning

confidence: 99%

Jolie Static Type Checker: a Prototype

Карвальо¹,

Маццара²,

Mingela³

et al. 2017

Model. anal. inf. sist.

View full text Add to dashboard Cite

Abstract. Static verification of a program source code correctness is an important element of software reliability. Formal verification of software programs involves proving that a program satisfies a formal specification of its behavior. Many languages use both static and dynamic type checking. With such approach, the static type checker verifies everything possible at compile time, and the dynamic one checks the remaining. The current state of the Jolie programming language includes a dynamic type system. Consequently, it allows avoidable run-time errors. A static type system for the language has been formally defined on paper but lacks an implementation yet. In this paper, we describe a prototype of Jolie Static Type Checker (JSTC), which employs a technique based on a SMT solver. We describe the theory behind and the implementation, and the process of static analysis. The article is published in the authors' wording.

show abstract

“…Jolie [15] is the only language natively supporting microservice architectures and, currently, has dynamic type checking only. A static type system for the language has been exhaustively and formally defined on paper, but still lacks an implementation.…”

Section: Introductionmentioning

confidence: 99%

Towards Static Type-Checking for Jolie

Carvalho¹,

Mazzara²,

Mingela³

et al. 2017

View full text Add to dashboard Cite

Static verification of source code correctness is a major milestone towards software reliability. The dynamic type system of the Jolie programming language, at the moment, allows avoidable run-time errors. A static type system for the language has been exhaustively and formally defined on paper, but still lacks an implementation. In this paper, we describe our steps toward a prototypical implementation of a static type checker for Jolie, which employs a technique based on a SMT solver.

show abstract

Service-Oriented Programming with Jolie

Cited by 78 publications

References 20 publications

The RichWPS Environment for Orchestration

The RichWPS Environment for Orchestration

Jolie Static Type Checker: a Prototype

Towards Static Type-Checking for Jolie

Contact Info

Product

Resources

About