Home

Welcome to the ContractAutomataLib wiki!

The Contract Automata Toolkit (comprehending ContractAutomataLib) is an ongoing basic research activity about implementing and experimenting with new developments in the theoretical framework of contract automata. Contract automata are a formalism developed in the research area of foundations for services and distributed computing. They are used for specifying services' interface, called behavioural contracts, as finite-state automata, with functionalities for composing contracts and generating the orchestration or choreography of a composition of services, and with extensions to modalities (MSCA) and product lines (FMCA).

The users documentation of this software is available at https://contractautomataproject.github.io/ContractAutomataLib/.

The developers' documentation is available on the README of this repository.