Answers are grounded in this paper and cite their sources.
Alcoa is a tool for analyzing object models. It has a range of uses. At one end, it can act as a support tool for object model diagrams, checking for consistency of multiplicities and generating sample snapshots. At the other end, it embodies a lightweight formal method in which subtle properties of behaviour can be investigated.
No takes yet. Share an insight, caveat, or question.
Jackson et al. (2000) studied this question.