Lightweight model-driven engineering
Revisiting all aspects of model-driven engineering (application, teaching, verification , tooling, research,…) promoting a lightweight perspective to maximize MDE success and adoption
Practical and Scalable model-driven verification: Lessons Learnt
Is it possible to apply model-based verification techniques on large systems? Before saying no way!, check this keynote talk by Lionel Briand
State of the art on static model verification tools
During the second half of 2011 and the first half of 2012, Jordi and myself (Carlos González) conducted an analysis on the field of static model verification, with the intent of shedding some light on what was the current landscape on the area and, if possible, trying...
UMLtoCSP – Check the quality of your UML class diagrams with Constraint Programming
UMLtoCSP helps you to check that your UML class diagrams (extended with OCL constraints) satisfy a number of correctness properties, including weak and strong satisfiability (to make sure your model can be instantiated in a way that no constraints are violated) or...
Checking Model Transformation Refinement
Next month, at the Int. Conf. on Model Transformation (ICMT), AtlanMod, in cooperation with ATOS Research and the Universidad Autonoma de Madrid, will present research results regarding the use of bounded model finding to analyze refinement relationships between model...Modeling: all you need to know
