Description: The tool implements a well founded notion of protocol composition (which preserves progress, fairness and honours user-defined constraints expressed as assertions), and also allows to generate Erlang code (stubs) from
Description: The adoption of formal models by process specialists has faced two challenges: First, it requires process specialists to get training in formal modeling. Second, the resulting specifications bear little resemblance
Description: DCR Open Case Manager is a simple web application that can instantiate DCR graphs as a task list, as well as execute Robotic events. The application use a Microsoft IIS
Description: Mungo: Java front-end tool used to statically check the order of method calls. It is implemented using the JastAdd framework. A protocol definition is described as a sequence of method
Description: Protocol conformance and deadlock analysis of actors with first-class mailboxes Developed at: UNITO Contacts: Luca Padovani Available at: http://www.di.unito.it/~padovani/Software/MCC/index.html