Description: Industrial tool supporting a graphs process notation developed for the formalisation and mechanisation of adaptive case management processes. DCR (Dynamic Condition Response) graphs features (a) a (declarative) process language
Concrete artefacts are produced and used for dissemination. These include scientific publications, a repository of use-cases, tutorials, a non-technical article presenting the main achievements of the project, material for tutorials and recorded tutorials. These artefacts will remain available to the general public beyond the duration of the project and promote a continuative and long-term dissemination.
If you are unable to view these files, please log in or register.
Description: The tool introduces a domain-specific language for OpenAPI specifications, COpenAPI, that enables the modelling of communication protocols between a REST client and server. From these COpenAPI specifications, the tool generates
Description: Academic prototype to build enabledness-based program abstractions (EPAs) out of APIs written in C and pre/post contracts written in (a kind of) FOL. Contractor generates a finite abstraction representing
Description: The main functionalities offered by CobaltBlue are the checking of protocol conformance and deadlock analysis of concurrent objects implemented with typestate-oriented programming. The tool is based on behavioral type checking
Description: Design and analysis tool for API consumption & provision. Academic prototype featuring bottom-up and top-down choreographic design https://www.cs.le.ac.uk/people/et52/chorgram_betty_ch.pdf Developed at: GSSI, UKENT Contacts: Emilio Tuosto Available at: https://bitbucket.org/emlio_tuosto/chorgram/wiki/Home