Title :
Checking Non-functional Properties of UML2.0 Components Assembly
Author :
Tahar, Bhiri Mohamed ; Taoufik, Sakka Rouis ; Mourad, Kmimech
Author_Institution :
Lab. Miracl ISIMS, Sakiet Ezzit Sfax. Tunisia, Sakiet Ezzit Sfax, Tunisia
Abstract :
The component approach aims at the reutilization by an easy and efficient components assembly. A coherent components assembly requires the verification of properties related to the consistency of interface, semantics, synchronization, and the non-functional . We aim at the checking of the structural and non-functional properties of an UML2.0 components assembly endowed with the non-functional properties described in a CQML type language. Our approach, which is based on an assembly by contracts established between server components and client components, propose to use the Acme/Armani ADL as a checking machine of an assembly of UML2.0/CQML components.
Keywords :
Unified Modeling Language; formal verification; object-oriented programming; Acme/Armani ADL; CQML type language; UML2.0 component assembly; checking machine; client component; nonfunctional property; server component; Assembly; Coherence; Connectors; Contracts; Object oriented modeling; Syntactics; Unified modeling language; Acme/Armani; Assembly by Components; Contract of Assembly; Non-Functional Property; UML2.0/CQML;
Conference_Titel :
Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2013 IEEE 22nd International Workshop on
Conference_Location :
Hammamet
Print_ISBN :
978-1-4799-0405-1
DOI :
10.1109/WETICE.2013.31
