Using Alloy to improve EMF models validation

We are developing a tool which allows, once an EMF model is created, to test and validate it in a reliable and efficient way. We did that by exploiting the potential of the Alloy Language and its powerful Alloy Analyzer. When you build a model to describe a process or a system, it is a […]

mehr...