Meryem Lamrani and Younès El Amrani and Aziz Ettouhami
On Formalizing Predefined OCL Properties
36 - 40
2013
7
1
International Journal of Computer and Information Engineering
https://publications.waset.org/pdf/693
https://publications.waset.org/vol/73
World Academy of Science, Engineering and Technology
The ability of UML to handle the modeling process of complex industrial software applications has increased its popularity to the extent of becoming the defacto language in serving the design purpose. Although, its rich graphical notation naturally oriented towards the objectoriented concept, facilitates the understandability, it hardly successes to report all domainspecific aspects in a satisfactory way. OCL, as the standard language for expressing additional constraints on UML models, has great potential to help improve expressiveness. Unfortunately, it suffers from a weak formalism due to its poor semantic resulting in many obstacles towards the build of tools support and thus its application in the industry field. For this reason, many researches were established to formalize OCL expressions using a more rigorous approach. Our contribution join this work in a complementary way since it focuses specifically on OCL predefined properties which constitute an important part in the construction of OCL expressions. Using formal methods, we mainly succeed in expressing rigorously OCL predefined functions.
Open Science Index 73, 2013