by Jordi Cabot | Apr 1, 2014 | quality, UML and OCL
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...
by Jordi Cabot | May 23, 2013 | quality, transformations
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...
by Jordi Cabot | Mar 3, 2013 | quality, UML and OCL
Our paper Lightweight String Reasoning in Model Finding by Fabian Büttner and myself has been accepted for publication in the Journal of Systems and Software Modeling (SoSyM). The abstract is the following. You can also read the full paper Models play a key role in...
by Jordi Cabot | Oct 29, 2012 | quality, security
(work presented at MDsec’12 co-authored with Salvador Martínez, Joaquin García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia and myself). Network security policies constitute a critical concern when developing and maintaining corporate information systems....
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...
Recent Comments