Fabrizio Montesi

Jolie is the first full-fledged programming language based upon the service-oriented programming paradigm, suitable to create new services from scratch or to compose existing ones in order to obtain new functionalities. Jolie offers an easy to learn syntax, a formal theoretical framework for ... [More] studying its semantics and a powerful means for extending it by developing additional modules. Integration with existing technologies is addressed by using extension modules that make use of the Jolie development API. You can use Jolie to make lightweight services, very complex Service-Oriented Architectures (SOAs) or bridge systems based upon different communication technologies. [Less]

Chor is a strongly-typed choreography programming language for distributed systems. In Chor, the behaviour of a system is written down as a global program (a choreography) where all the message exchanges between the participants are explicit. Choreographies are statically checked against protocol ... [More] specifications, given as types, enabling type-directed global programming. Finally, Chor supports the automatic generation of systems from a choreography. With Chor, you do not have to worry about asynchronous communications or protocol compliance anymore. The language is based on strong theoretical bases, so that you can let its compiler do the jobs of checking your global programs and generating correct implementing code for you! [Less]