Title :
UML/OCL and Refinement
Author :
Bhiri, Mohamed Tahar ; Mourad, Kmimech ; Graiet, Mohamed ; Aniorte, Philippe
Author_Institution :
MIRACL, ISIMS Sfax, Sfax, Tunisia
Abstract :
Formal methods such as B and Event-B support the achievement of correct systems design using the refinement technique. These methods allow for the description of data and actions at different levels of abstraction. The OCL provides some precision to UML models. The means offered by OCL Collection, Set, OrderedSet, Bag and Sequence are insufficient to support an incremental process of class diagrams development based on technical refinement. Indeed, the description of an initial model often requires very abstract mathematical concepts such as relation and function. These concepts are difficult to express in OCL using TupleType and def. This discourages the designer from expressing abstract constraints. Moreover, the absence of these concepts does not favor the move from semi-formal to formal: UML/OCL to Event-B. To overcome these flaws, we propose an OCL mathematical extension by increasing its class library.
Keywords :
Unified Modeling Language; formal specification; library automation; OCL; UML; abstraction; class diagrams development; class library; formal methods; incremental process; mathematical extension; refinement technique; Buildings; Context; Database languages; Libraries; Mathematical model; Object oriented modeling; Unified modeling language; Class Library; Genericity; Global invariant; Inheritance; Local invariant; Mathematics extension; OCL; Refinement;
Conference_Titel :
Engineering of Computer Based Systems (ECBS), 2011 18th IEEE International Conference and Workshops on
Conference_Location :
Las Vegas, NV
Print_ISBN :
978-1-4577-0065-1
Electronic_ISBN :
978-0-7695-4379-6
DOI :
10.1109/ECBS.2011.42