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

fYear

2013

fDate

17-20 June 2013

Firstpage

278

Lastpage

283

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2013 IEEE 22nd International Workshop on

Conference_Location

Hammamet

ISSN

1524-4547

Print_ISBN

978-1-4799-0405-1

Type

conf

DOI

10.1109/WETICE.2013.31

Filename

6570627