View on GitHub

BCOoLExamples

The project contains examples of operators specified by using BCOoL. After compiled, operators can be used to generate the model of coordination between models. Examples of operators are: synchronized product between Timed Finite State Machine (TFSM), synchronized product between TFSM and Activity diagrams and more. For further information, go to http://timesquare.inria.fr/BCOoL

Download this project as a .zip file Download this project as a tar.gz file

BCOoLExamples

This contains BCOoL examples which includes the specification of a BCOoL operator plus a model. The BCOoL specification can be used to coordinate the example models.