Thursday, January 15, 2015

Behavioral Clafer 0.4.0 Preview Release

by Michał Antkiewicz

We are currently working on the implementation of an extension to Clafer for modeling the evolution of model instances over time: "behavioral Clafer". We published a preview release in Clafer Tools Binary Distributions.

Here's an example model of a PowerWindow system, which includes a feature model, an architecture model, a state machine, and positive and negative execution scenarios. The page is a HTML rendering of the source code in Clafer done by the extended behavioral Clafer compiler. The page was manually edited to add headers explaining the parts of the model.

No comments:

Post a Comment