by Jordi Cabot | Oct 10, 2012 | quality, transformations
(post by Fabian Büttner) Recently, at this year’s MODELS conference, we (Fabian, myself and Marina Egea) have presented first results on the verification of ATL transformations using SMT solvers. In a nutshell, our approach allows us to verify that a declarative ATL...
by Jordi Cabot | Aug 30, 2012 | quality, transformations
A maintainable, reusable, and extensible set of transformation definitions is a key aspect in any high-quality model-based solution. This work presents a first catalogue of refactorings towards this goal
by Jordi Cabot | Aug 2, 2012 | humor, quality
(discovered via Jon...
by Jordi Cabot | Jun 27, 2012 | quality, UML and OCL
Most domain models include a number of constraints which frequently deal with text data (e.g. checking the right format of a telephone field or checking the uniqueness of a street+city name). As all constraints, we may make mistakes when defining them and end up with...
by Jordi Cabot | Jun 12, 2012 | (meta)modeling, DSLs, quality
As participant in the panel about “Creation of DSLs” in the last MiSE workshop I was allowed to give a 5-minutes initial speech about the challenges of creating DSLs. This is what I come up with: Creating DSLs that fit the users’ needs (Panel at MiSE´12)...
by Jordi Cabot | Jun 7, 2012 | DSLs, quality, tools, UML and OCL
Creating (correct) models isn’t an easy task. Modeling isn’t easy, and as it happens with any difficult task, the difficulty increases the chances of making mistakes. Developing software following MDE-based approaches is especially sensitive to the presence of errors...
Recent Comments