Behavioral modelling advanced topics

This chapter presents some advanced topics relevant for behavioral modelling. These topics build on the file sharing app example model of the Behavioral modeling chapter.

Alloy model

Base model for the topics

Download and explore the base model that will be used for the advanced topics.