Messages in connection interaction statementsĭynamic port actions (binary shared channel passing)Īdditional transports: shared memory, HTTP Payload type and message signature name parameters for global protocol declarations Some Scribble protocol and Java endpoint program examples: GitHub Scribble-Java open source repository: GitHub The home page are for an older version of Scribble than presented in some of the tools currently available from Output: Java APIs for implementing the endpoints of the source protocol. Input: a multiparty message passing protocol written in the Scribble protocol specification language The main input and output of the toolchain are: Scribble-Java is a toolchain for programming distributed applications in Java based on the theory of multiparty session types. Running the Scribble-Java command line tool.Usage contract of Endpoint APIs and endpoint implementation safety.Connection establishment for non- explicit global protocols.Endpoint implementation using Scribble-generated APIs.Linear usage of state channel instances.Safety and liveness of Scribble global protocols.Valid global protocols and well-formed modules.Quick Start: the Adder application protocol.This is a tutorial for using the Scribble-Java toolchain (for Scribble version 0.4).
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |