About: This is a tutorial paper on [St]Mungo, a toolchain based on multiparty session types and their connection to typestates for safe distributed programming in Java language. The StMungo (“Scribble-to-Mungo”) tool is a bridge between multiparty session types and typestates. StMungo translates a communication protocol, namely a sequence of sends and receives of messages, given as a multiparty session type in the Scribble language, into a typestate specification and a Java API skeleton. The generated API skeleton is then further extended with the necessary logic, and finally typechecked by Mungo. The Mungo tool extends Java with (optional) typestate specifications. A typestate is a state machine specifying a Java object protocol, namely the permitted sequence of method calls of that object. Mungo statically typechecks that method calls follow the object’s protocol, as defined by its typestate specification. Finally, if no errors are reported, the code is compiled with javac and run as standard Java code. In this tutorial paper we give an overview of the stages of the [St]Mungo toolchain, starting from Scribble communication protocols, translating to Java classes with typestates, and finally to typechecking method calls with Mungo. We illustrate the [St]Mungo toolchain via a real-world case study, the HTTP client-server request-response protocol over TCP. During the tutorial session, we will apply [St]Mungo to a range of examples having increasing complexity, with HTTP being one of them.

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: This is a tutorial paper on [St]Mungo, a toolchain based on multiparty session types and their connection to typestates for safe distributed programming in Java language. The StMungo (“Scribble-to-Mungo”) tool is a bridge between multiparty session types and typestates. StMungo translates a communication protocol, namely a sequence of sends and receives of messages, given as a multiparty session type in the Scribble language, into a typestate specification and a Java API skeleton. The generated API skeleton is then further extended with the necessary logic, and finally typechecked by Mungo. The Mungo tool extends Java with (optional) typestate specifications. A typestate is a state machine specifying a Java object protocol, namely the permitted sequence of method calls of that object. Mungo statically typechecks that method calls follow the object’s protocol, as defined by its typestate specification. Finally, if no errors are reported, the code is compiled with javac and run as standard Java code. In this tutorial paper we give an overview of the stages of the [St]Mungo toolchain, starting from Scribble communication protocols, translating to Java classes with typestates, and finally to typechecking method calls with Mungo. We illustrate the [St]Mungo toolchain via a real-world case study, the HTTP client-server request-response protocol over TCP. During the tutorial session, we will apply [St]Mungo to a range of examples having increasing complexity, with HTTP being one of them. Goto Sponge NotDistinct Permalink

An Entity of Type : fabio:Abstract, within Data Space : wasabi.inria.fr associated with source document(s)

Attributes	Values
type	abstract
value	This is a tutorial paper on [St]Mungo, a toolchain based on multiparty session types and their connection to typestates for safe distributed programming in Java language. The StMungo (“Scribble-to-Mungo”) tool is a bridge between multiparty session types and typestates. StMungo translates a communication protocol, namely a sequence of sends and receives of messages, given as a multiparty session type in the Scribble language, into a typestate specification and a Java API skeleton. The generated API skeleton is then further extended with the necessary logic, and finally typechecked by Mungo. The Mungo tool extends Java with (optional) typestate specifications. A typestate is a state machine specifying a Java object protocol, namely the permitted sequence of method calls of that object. Mungo statically typechecks that method calls follow the object’s protocol, as defined by its typestate specification. Finally, if no errors are reported, the code is compiled with javac and run as standard Java code. In this tutorial paper we give an overview of the stages of the [St]Mungo toolchain, starting from Scribble communication protocols, translating to Java classes with typestates, and finally to typechecking method calls with Mungo. We illustrate the [St]Mungo toolchain via a real-world case study, the HTTP client-server request-response protocol over TCP. During the tutorial session, we will apply [St]Mungo to a range of examples having increasing complexity, with HTTP being one of them.
Subject	Decentralization Programming languages Class-based programming languages C programming language family Distributed computing Program analysis Object-oriented programming languages Concurrent programming languages JVM programming languages Statically typed programming languages Sun Microsystems Java specification requests Programming languages created in 1995 Java platform Java (programming language) Computer programming tools Computer-related introductions in 1995 Multi-paradigm programming languages
part of	Typechecking Java Protocols with [St]Mungo
is abstract of	Typechecking Java Protocols with [St]Mungo
is hasSource of	covid:ann/target/0a3ad6a0111df785157cf331ce4d2cd860965a67 covid:ann/target/014a6cdaf1cb632b45dafe0430251dc80b69f3e7 covid:ann/target/2487a2ec1d9b1a444e494c80e0090a50a1e5e48d covid:ann/target/8d36b0e4a51fa6a2bf59b0ea7609a0c7f7630173 covid:ann/target/3bb87b9e3daa9dc793ae40668de4013f54a43fe5 covid:ann/target/308be9c89b02c01be345318535bcb282c8760f1c covid:ann/target/a2b94f490b0903772d0e9e6432ce554ce937b808 covid:ann/target/11c3fa626c004a11d4064968ffd8577d5b08e006 covid:ann/target/f3e94ff7217332132845a8feb96393a71c51a356 covid:ann/target/67f214370a05b3184db0cdb5473756f1e41f6bbc covid:ann/target/9c562c43a80fa27a6f389a7f2bcd7b7bee9f5fe2 covid:ann/target/80c56414f86a64060cab32bcecf0ed7db916366c covid:ann/target/2388f3e7c77072563c750621571a98188c8cf2cd covid:ann/target/72b90b981564c2bbf5045bd8b9725ac6a77a2a89 covid:ann/target/9e964f9480370cf28537a58ede3419d2d321db0c covid:ann/target/c763ceefcbe019492b5e8d2aa6bb6c6688c42243 covid:ann/target/f957080cc77c5672dcb8c98337409b2830fd231a covid:ann/target/01a493ca293d40e6a67e5da4c410508e57484f36 covid:ann/target/df9130ba01a446d9bee40605b7b45e8f4bcb5003 covid:ann/target/3e79cd0fd404b9ee14c326d94839ce245e80c73f covid:ann/target/d121d1171a90a3aec6ad1d04a5a9bc5ba6027062 covid:ann/target/f465440c9b9466fe22e3f2beb7815b46ed24ce52 covid:ann/target/019f766511cf5f38d97b7490e8377d20f85627ec covid:ann/target/81e6dbf4b6d443216ed1379105f9e543cf196fc4

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software