Conformiq for Alf

Model-Driven Workflow in Software Testing

Recently I wrote a blog post about the action language adopted and standardized by the OMG (Object Management Group) called Action Language for fUML or Alf where I alluded about something that I call “model driven workflow” (MDW) — a modeling workflow that embraces modeling across the whole software development lifecycle integrating design, ...

Modeling with ALF Action Language in Testing

I remember more than 10 years ago when we were making a decision on what the modeling language we should be using for creating Conformiq Designer models. It was quite clear that we wanted to have a graphical notation that the user could use to capture high-level control flow and life cycle of objects as well as event loop structures and high-level ...

Conformiq Test Generation Technology Insights

Quite often when people talk about MBT (Model Based Testing) they intuitively assume that model is always something with “boxes and arrows”; that is the model in MBT needs to be graphical and it is constructed out of some kind of nodes or vertices which are then connected using arrows of some sort. To some, model may simply mean a state chart or ...