The Design of GCCL: a Generalized Common Contract Language

(1)

HAL Id: inria-00072086

https://hal.inria.fr/inria-00072086

Submitted on 23 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

The Design of GCCL: a Generalized Common Contract Language

Jacques Malenfant, Noël Plouzeau, Jean-Marc Jézéquel

To cite this version:

Jacques Malenfant, Noël Plouzeau, Jean-Marc Jézéquel. The Design of GCCL: a Generalized Common Contract Language. [Research Report] RR-4502, INRIA. 2002. �inria-00072086�

(2)

ISRN INRIA/RR--4502--FR+ENG

a p p o r t

d e r e c h e r c h e

THÈME 1

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

The Design of GCCL: a Generalized Common Contract Language

Jacques Malenfant — Noël Plouzeau — Jean-Marc Jézéquel

N° 4502

Juillet 2002

(3)

(4)

Unité de recherche INRIA Rennes

798;:=<?>$@BADCE8;FG@BH1IJ8;HLKNMOQP!RS=FUTVFWR9>$X=@=8;>YO37;@Z8;H['C\8;]^:_7;`=X=`B<?>$@=F

a#bdcêgfihkjmlUnôpf^qsrdtufvwopxyozv{c'egfô

|Q}p~zfvUa0}poJBf'

lUqd~B}JvUyfV}{f^bf'}bdf;1ZsBjmBrdfvk=jhqsfo

u1^'N d¡¢k£ ~~N¤ d¥vo¦f^yvp~ii§Q¨;f^©Zxªf^xf'}Qq¥vo¦y¥¨9rop~Bv{~«~svpbf'}¦f'Z¬Z}p~Bdegf'=v{o#®fB¯¯°svpbdfUoJv{qdqs}Z±

opqsvp~!~s²1³V´¶µ·qo(qs}pv(~²0¸wªµ1¹º°d»kf^opB¼©Zx!´(~=vp}qv(d~N¤½²¾qBfo(qe¿qNz~}#bqf'dBfU!~Beg~Bdf'=vJ±À©qBoJf¼oJ~²Ávz¤¶q}pf

f^ddf'f^}pdG´¶Â ÃZ§(¹¯´(~eg~=oJvp~qs;}pfqop~ddq©~Bryv#opxyozv{f'ed}{~;f'}pvpfô3²®}{~e~Bei;~f'=v¶~Bdfô(bqBo(©;f'fû}{f^'f'=vpx

qBopopf'}pvpf¿©ZxgvpbdfÃZ§QÄ¶qo3vpbdfUÅJf^xv{f^bd^qsLbqsf'dBfºÆU~s²Q´¶Â#Ãy§U°yqs!~=v{}{qBºv{o¶qo#qÅzBf'xgvpfbdd'q;'~'f'yv¶vp~goJry±

;~}pv vpbdo ¬ZoJ~ZÆº¯¦a~g¬Bf«rdvp~gvpbf^opff'tyfºv{qsvp~o^°d»k©;´eroJv#v{qZf«ftZvp}qN±G²®rdvp~qLd}p~Bf^}Jv{fo¶~s²¦~eg;~df^=v{o

qÇoJrd~B}JviÈ«f^?ÉowÅpqs}bdvpf^vprd}qs±À©qopf^_qNvJv{}p©dryv{f¼}{f^qop~d¯ÆÂ¶fôpyfôqBy~dvpdDvpbdf!df^'fô{opq}pxÊdf'¤~Bf^yv{o^°

qB~Z~Z5'~=vp}qvqdrqfgerozv}p~N¬Zyfg²®~}q©oJvp}qºv{~B?°0qdd^qNv{~B?°1'~eg;~Bop¥v{~B5qÇo{~degfbqsdopego

oprb¼qV¤#qËxv{~©;fUropf^g²®}{~eÌeg~Zdf'd¼¸kªµv{~d}{~}qsegegd«uoJv{qdq}{iqsdBrqsBf^oUWqo3opf^qegfopo¦f'tZvpf'oJ~o¦vp~

=qË¬Nqd°B´ Íu°=´ ÎVÎ°N§Q¨;f^W°=qsiop~k~B¹vpbd}{~rdBbf'tZfryv{~B~Bv{}{qBy¥v{~BqsZ~Bf^}{qsvpdopxyozv{f'e¿o1¤ ¥v{begdegqyegddf^¤¶q}pf

qBdyvp~o^¯a#bdoqs;f'}«f'tyqegdfo«~f'dvprq0²®~Brddqsvp~o«qÊyfoJ·yf^'op~okvp~d}{~;~BopfiÏ´ ´¶µ3°?qud~N¬Bf'1~;f'

Bf'df^}{qÐ'f~Beieg~B_~B=vp}qºvqdrqsfB¯Ï´ ´¶µÑoegf^qs=vvp~©f¿'~egqNv{©fi¤ ¥v{b_f'tyoJvpdD»w©;´Ò¾oprd©¹zqdrqfo'°

qf^opfqsx³V´¶µ3¯

ÓÔ=Õ9Öp×Ø NÙ1¢ }p~B}qsegegd!©ZxÊ~BBv{}{qBºv°oJ;f^'¥²®xZdqs_¬f^}p²®xZqÊ}{f^qBoJ~Bddq©~BryvVd}{~}qse¿o^°9qdrqfo'°

egf^qBoJr}pf^eif^=v^°y;f'}p²®~}{egqfB¯

ÚÛÜÞÝ?ß9àºáWâUÛNãÝäsåJåzæ«ÝWçËèËèsàºá®éGåzêVäë éGÛËå3ìçËáWàºèsåJãæí9àºæéGáWãîïéQð¦í?í?ñò

ó(ôJõ ãöÞåz÷ åzæé1øæËÜùåzáWÝWÜéô êËåQú9á¾åïéÀã õ æå3ÝWçËê=ò

(5)

¢ ÃZrd¬Nqs=vQoJfo0dn'©dryvo$f'§Q¥¨9f'yqs}¦ªf'xBf'}1fvQo{qwy¨;roJ~ kLÉqsrdvp}{f^o1f'Z¬Z}{~df'egf'=vo(W~egegf¶qs}1ftyf'egdf

qoJv{qsdqs}yopqsvp~_?ÉÞ³V´¶µ'~egegf¼qs}pvpf¼yf¿qDd~}{egf¼¸wªµ1¹º°0q}p~B}qsege¿qNvp~·~BBv{}{qBºv{rdf'fi²¾q¥vqrNz~r}{LÉbZrd

²¾qBf ¼rd·yn·egqszf'rd}«dqowfgy~e¿qsdfiyrÊBn'dfyfo~Bf'o !©qopfyfi~Bei;~Bo{qs=voGÏ«µÂU´#¹º¯Lµ?fi}qsoJ~Bddf'egf^Bv

'~eg~=oJvp~df'ZoJr}fô0d}p~Bd}{n'vpnô0yfô1opxZoJvpcêgfô wqs}pvp}0dfô0d}p~Bd}{n'vpnô0yfô1opfô'~eg;~Bo{qs=v{o0qUnv{n3yf'=v{n(qs}0f ÃZ§QÄ

'~egegf¶fQÅJdnivpf^bd~~B=rdf#nºÆ yrgÏ«µ0ÂU´k°NfvQf^o¦~B=vp}qNv{o1~Begeif#rdÅp~Bf^yv0v{f^bd~~=rdf#n¶;~r}QoJrd~B}Jv{f'}

'fvJv{f#¬=op~B?¯Æ¼|$~r}1}{n';~y}pf f^o$qsvJvpf^=vpf^o^°sqw}p~B}qsege¿qNvp~'~=vp}qvprdf^f#y~vQo'ÉqNvpv{q=rdf^}1qrytd}{~d}{nvpnof'tZvp}qN±

²®~Bºv{~Bddf'fô«yfô~Beg~=opqBvowf'v«oprdd;~}pvpf^}wf}qsop~ddfêgf'=voprd}fokqsvJvp}{©dryv{o©qBoJnioJr}kGÉq}{b¥v{f^ºv{rd}{fyn^¬f'~n

q}3È«f'?¯3³kryvp}{f WÉqd~yv{~Bgdf^oQ~rd¬Bf^qsrdt~Bf^yv{oQdf'¬f^Zro¦dnf^o{o{qs}pfo'°sr¿©~B¿qdBqf yfw'~=vp}qNvo¦y~vQ²®~r}pd}

yfo1ein'qdopegf^o0LÉq©oJvp}qºv{~B?°NLÉqsdd'qNv{~B?°Nyf('~eg;~Bop¥v{~Bfv¦yf3;~}pvpn^f(yf3vpf^f(e¿qdc^}pf Uf=r?ÉZoJ~B¥v1ryvpo{qs©df

yf^drdoq!eg~Zdn'o{qNv{~Bf'·¸wªµÊzroBrÉ !qud}{~}qsege¿qNv{~Bdqsord_qdBqfoJv{qdq}{ W~BeiegfiftZvpf^op~Brdyf

¼=qË¬Nqd°L´ Í¼°´ ÎVÎ°§Q¥¨9f'G°9fvs¯Þ¹fvkGÉftyn^'ryvp~oprd}kdf^okdqsvpfoz±G²®~}{egf^oUoJv{qdqs}DqË¬f«rdegerde LÉqBdyvp~okqsr

d¬fqsriyf(GÉoJvpf^}{oJvpf'G¯Q´(f(}qsd;~}pv0f'tdqsegf(f3²®~Bdqsvp~o$~Bf^yvprf'fo0f'v1f^o$bd~B¥tdf¶'~'f'yv{~B;~rd}$d}{~;~Bopf'}

Ï´ ´¶µ3°=rud~Brd¬fqsr¼qsd=qsBfwyf«~=v{}{qsv3~rd¬Bf'}pv^°Zn^dn'}qsfv ~Beierd?¯QÏ´ ´¶µ·oJfk¬f'rdv#'~egqNv{©fqË¬f^wfo3qsBqsBf^o

yf'~=vp}qNvo¶ftyoJv{q=v{o^°yfv vp~BryvUq}Jv{'rdc'}{f'egf^Bvw³V´¶µQ¯

YØ ^ Ö ¡ ¢ d}p~B}qsege¿qNv{~B ~=v{}{qBºvprf'fB°QoJ;n^'^qNv{~B?°Q¬n^}p^qNvp~ fv¿}{qop~df'egf'=vgoJrd}gf^oid}{~B}{qeiegfo'°

qsd=qsBf^o^°=egfoJrd}{f^o^°y;f'}p²®~}{egqfB¯

(6)

/"$¿)6!23/0

£ ~~N¤ di¥vo('f'yv{~B!©Zx¼ªf^xf'}¶!§Q¨9f'h q¼v{o y¨9roJ~uvp~g~sv{bdf'}#f^=¬Z}p~Bdegf'=v{o®fB¯¯°=v{bdfVozvqsdq}{do{qNv{~B

~²#³V´¶µÑqBoqs}pvk~²(¸wªµ!h^"®¹º°0»wfoJ_©=xÊ´(~BBv{}{qBºv$#&%Ñ¾»k©;´#¹kd~N¤²¾q'f^oque¿qsz~}«bqsf^df5~Beg~Bdf'=vJ±À©qBoJf

op~s²Ávz¤#qs}{fVf'dBf'f'}{dÊG´¶Â ÃZ§¶¹º¯9ÄïÊq¿}{f^'f'=vw²®fqop©d¥vzxDozv{ryxD~s²¶´¶Â ÃZ§w°v{bdfgÃy~s²Ávz¤#qs}{fV§Qddf^f'}{duÄïozv{¥v{ryvpfi~s²¦v{bdf

´¶q}pdf^f±ïªf'~¸U¬Bf'}oJvzxVqo{oJf^}JvoLvpbqNv$vpbdf¦ÅJf'xv{f^bdd'q=bqsf^df3²¾qdV´¶Â#Ãy§_o0vp~wf^oprd}pf(vpbqNv1vpbdf¶d}{~;f'}pvpf^o

~²1qgoJxyoJvpfê~s²1'~eg;~df^Bvo#'qs©;f}pfyvpf¼²®}{~ev{bdf«d}{~;f'}pvpfô¶~s²?v{bdf~Beg~Bdf'=v¶vpbdfêgopf'¬foïÆ«qs!¥v yf'=v{fo

'~=vp}qv{oqo~dfi~s²(vpbdfVÅJf'xDv{f^bd^qs¦~Bf^yvkv{~oprdd;~}pv«vpbdo¬Zop~BZÆ'Þ À¯a#bdfi~N¬f^}{q1~=qs1okvp~d}{~N¬Zyf²®~}Vq

'~eg~Bdf'=v#f'}pvp^qNvp~¿}p~yfopo3rd;~¼¤ bdbuqV}{f^qe¿qs}{f'v('q¿©ff^oJv{q©dopbdf^?¯1a#bdo(¬=op~B¿drd}oJrdfoQyf^qBo(q}{f^qByx

yf^¬f^~Bfuvpbdf´¶Â ÃZ§~Begeierddvzx°y²®~B} ftdqsegdf«ÃZÐ^xZf^}{opZWÉo#oJf^eiqL©~Z~("À¯

a#bdfUÃZ§3Ä1'~'rd}{o$¤ vpb¼ÃZÐ^xZf^}{opZ)Þs*qs,+5qsdÞyh g~oJyf'}{dq«'~eg~Bdf'=vQqo¦qegdf'egf'=v{qsvp~¿qo1¤¶f'

qBo¶q!q}{bdvpfºv{rd}{q;q©oJvp}qºv{~B?°Zqs!qo#oJrbiÅ.-*/$0-2143568790):;<7<5=>-*=?@*A$3.)B<=?@*)-C:D8=?EF$GIHJ5-*=K8=KL 4?MANO 35PRQ<$B<=

=>=RS8TUL0-CT =VEWB$*7905" 8=V@C-C)LWB$C&4*T 7X-*Y=ZH8=R[-\B$C7]05*4Y=Z7X&L24:5F$G@5*H^8=_85=>4TU-2B4=VH8=8`=R*3.=V @LaHZ*T :;L M>N'Æ

Þ"À¯b+bdf'!ftyf^'ryvpfL°y~eg;~df^=v{o3qop~f'tZb©dv#~©opf'}{¬Nqs©dfU~}(egf^qoprd}qs©df=rqvzxiqsvJv{}p©dryv{f^o^°ZoprbuqBoQ;f'}p²®~}{e¿qs'f°

opf^'rd}pvzx°Zo{qN²®fvzxB°B}{f^op~r}{'fU~oJrdegyv{~B?°Zqs¿op~~¯bc~v(~²qsdd'qNv{~Bo3q}pfUoprd©yzfºv(vp~oJvp}{df^Bv(}pfBr}{f'egf'=vo¦~

qsvkf^qoJvkop~egf~²¦vpbdfoJf Brqs¥vzxqNvpvp}{©ryvpfo'¯9dwf''f°L~Beg~Bdf'=v{oweroJvk©;fopf'f^vpfd~sv~dx!²®~}Uv{bdf'}k²®rdºv{~Bqsvzx

©drdvqsop~²®~B} vpbf'}kqs©¥vzxuvp~¼}p~N¬Zyfvpbdf}{f =rd}{f^ =rqs¥vzxB¯¶a#bf'xueroJvUvpbdf^©f~eg;~Bopf^oJrbqg¤#qËx¼v{bqNvUv{bdf

~N¬Bf'}qs;}{f =rd}{f'egf'=v{o#q}pf«d}{~N¬Nqs©dx¿egfv^¯

a0~dqNv{f°=eg~BoJv(~Bei;~f'=vQeg~Zdf'oQftyd}{fô{oQyf^f^yf^fô3roJdV=vpf'}p²¾q'fô$v{bqNv('ryfU~xgoJxZ=v{qBºv{^qsqBoJ;f^v{o

qDvzxZdd¯U§QtZ;f'}{f''fÊ~Bei;~Bopdu~Begdf'toJ~²Ávz¤¶q}pf'~eg~Bdf'=voUbqBowopbd~N¤ Dvpbqsvyf^f^yf^f^okftZvpf^¤#qËx

©;f'xB~vpbdfoJf¶qopfºv{o^¯Äïyf'fL°Nvp~k}pfqop~q©~Bryv0d}{~;f'}pvpf^o0~s²vpbdf#~Bei;~Bopf^oJxyoJvpf'e¿o²®}p~Be ~qBrfQegdf'egf^BvqNv{~Bo

~²~eg;~df^=v{o^°==vpf^}J²¾qBf^o3eroJv(}p~N¬ZyfUy²®~}{e¿qNvp~!qs©;~ryv(vpbdfoJfkd}p~Bf^}Jv{fo'¯Q´(~eg;~df^=v(eg~yyf'oQv{bdf'}{f²®~B}pfkozv{}p¬f

²®~B}Uqg¤¶qËxgv{~if'tyd}pfopo qiqs}{f¬Nqs}{f'vzx¼~s²$qopfºv{o^°yryd¿ftZv{}{qs±W²®rdºvp~qs9~dfo'¯

a0~uf'tZ}pfopowvpbdfoJfgyf^f^yf'f^o^°L¤(fibqË¬fd}p~B~=oJfDvp~e¿qsBf~Beg~Bdf'=v{o~B=vp}qºvp±ÀqË¤#qs}{fG°L©ryvk²®~B}V»w©;´\vp~

²¾qBf«vpbfbqsf'dBf°d~B=vp}qºvo#eroJvU©;fVftZvpf^yf^op~ivp~¿ryfoJrbDf't=v{}{qs±W²®rºv{~BqsLqop;f^ºvo'¯¶a#bdo egf^qso}{oJvU~s²

q9v{~ryf«df^¤E'~'f'yvo3v{~ÅïvqsÆ«qs©;~ryv#ftZvp}qN±G²®rdvp~qLqNvJv{}p©dryv{f^o¶~s²$oJ~²Ávz¤¶q}pfqs!df^¤ Zo#~s²1'~oJvp}qs=v{o

~N¬Bf'}¶vpbdfoJfqsvJv{}p©dryv{f^o^¯

³w²('~rd}opf°L¤¶~}{bqo©f^f'5y~fÊv{bdfgqoJvvp~yfdf¿~ozv{}{q=vkf'tyd}pfopop~ok~N¬f^}opfBrqs¥vzxqsvJvp}{©dryvpfo

q }pfqop~Ñq©~Bryv¿vpbf'eD¯EÏ´ ´¶µqse¿o¿qNv¼©drydÇ~N¬f^}v{bdo¿©~yyxÑ~s²«Zd~N¤ fyfB¯Â(rdvuyf^opBddÇqÇoJr^fopoJ²®rd

Bf'df^}{qyqdrqf#oQd~v3~ dfîv{~Vo{oprdfô¦~² Brqs¥vzxiqNvJv{}p©dryv{fôQq¿~BoJvp}qsBvo'¯1È«f'xi~f'dv{o¦¿qdrqsf yfoJ

q}pf¼q©ozv{}{qBºv{~B?°1qdd^qNv{~B?°1'~eg;~Bop¥v{~B5qÇo{~degfbqsdopegoVvpbqsvd}{~N¬Zyf¿'fqs}q·~N¤¶f'}p²®rd(eifqsoVvp~

yf dfB°;qBf°;}{~r?°bdfqD}{f^qop~q©~Bryv'~oJvp}qs=v{oUqsvqsZdok~s²¦©dyd¼v{egfoWyf^opB?°9~yyd°vpfozv{d°

yf^d~Nx=egf^Bv°y}pr!v{egfB°?¯¯¯Þ¹º¯3Ï´ ´¶µÇqy}pfopopf^o(v{bdoU©d}p~=q!bqsf^dfB¯$ÄÀv{o¶vpb}pf^fVegqsz~}#~=qso#qs}{fkv{~5e

hB¯d}{~N¬ZyfVegfqsow²®~}kftyd}{f^o{oJd¿²®rdºvp~qs$qsDf't=v{}{qs±W²®rºv{~Bqs0}pfBr}{f'egf'=vowqsD²®~}yfduvpbdf^}«opf'e¿qs=vp'o^°

qo#¤¶f'?qo¶²®~B}UoJrd~B}Jv{div{bdf'}wyf~eg;~Bop¥v{~B!~B=vp~vpbdfq}{bdvpfºv{rd}pfVyfoJf^u²®~}Uqsd'qsvp~o&f

d¯d}{~N¬Zyfegf^qo¶vp~¿qo{f^}Jvqsuv{bdfV~B}p}{f^vpdfopo¶~s²1vpbf~eg;~Bop¥v{~Bu~²$qgopfvU~s²$~Bei;~f'=v{o&fdqs?°

¯d}{~N¬Zyf$egf^qo9v{~wbdf^kqNv}{rdvpegf¦vpbqsv0~Beg~Bdf'=v{oqsv{bdfQrddf'}{xZd }pry±Wv{egfQopxyozv{f'e\eif^fv?v{bdf'}'~=vp}qvpf^

~©dBqNv{~Bo^¯

a#bdfV}{fôJv ~s²1vpbdo qf^} oU~}{BqsÐ^fûqBo¶²®~~N¤Uo^¯QÃZf^vp~id}{fôpf'=v{o(v{bdf~Bf^yvprqsLqsdo{'qf²®~B}wÏ´ ´¶µ5¤ bdf

ÃZfºv{~B!eg~Zdf'owv{bdfgf^df'}qs1qdrqsf~f'dv{oryf^_5Ï´ ´¶µ qs_ftydqsowvpbdfgBf'xyfoJ·yf^'op~Boqs

opf'e¿qs=v{U²®f^qNv{rd}{f^o(~s²?v{bdfkqsrqf¯$ÃZf^vp~!d}{~N¬ZyfoQd}{~B}{qegeidVf'tyqegdfo'¯$l f^qsvpf^u¤(~B}pgqs}{fUv{bdf'!ftdqsegdf^

qDqi'~'roJ~DoJreie¿q}pÐ'fo#Ï´ ´¶µ3Éo 'rd}{}pf^BvUqBbdf^¬f^eif^=v{o#qsu²®ryv{rd}pfV¤¶~}{9¯

g 2(!/06%Ç%)!02( _

Äï vpbdogoJfºvp~°1¤¶fu=vp}{~yyrfqs yffuv{bdf!Bf'df^}{q('~'f'yvov{bqNvgoJrd}{}{~rdÇq '~=vp}{©dryvpf¼vp~_vpbdfyf^opB ~s²

Ï´ ´¶µ3°dyf'fu²®~y'roJdg~!vpb~BopfV}pf^qsvpf^¼vp~¼'~=vp}qv¶qsdBrqsBf^o¶;f'}Uopf¯

hiUj k^lmSnAoZprqKsut(vZp_w.xyz)w{zvZpOzl}|]wm

£ ~~N¤ dDq¼v{}{qBy¥v{~BÊ·qsty~Begqsvpopf'e¿qBv{^okqÊ²®~}{egq¦oJ;f^'^qNv{~Bo~s²3d}{~B}{qe¿o'°L»k©;´qBopop~yqNvpfoa~4"@ S~ V

v{~D'qBopopf^oqsegfv{bd~ydo_vpbdfi²®~B}pe ~²Qvpbd}{f'fgopfi=do~²9~ *5&@ *)?*e] CU8*?'°44¶qs'b*&A~ *?@R"5^¯

´(~Bozv{}{q=voQqs}{f ©~Z~Bfqs¿ftyd}{f^o{op~Bo¦}{f'qNvpdV¬NqsrdfoQ~s²LoJv{qsfU¬Nqs}{qs©df^o$²®~B}Q=¬Nq}pqs=v{o^°qs}qsegfv{f'}o¦qs¿oJv{qf

¬Nqs}{qs©df^o¶²®~B} d}pf'±À'~d¥v{~Bo#qo#¤¶f'?qo qs9vpbf^opfVdro#}pfoJrdv{o#~²1egf'vpbd~ydo#²®~B} ~=ozv~Byvp~o^¯

(7)

a#bdf«d~vp~~s²$~=v{}{qBºv ozv{f'e¿o¶²®}p~Bevpbf¬ZoJ~~s²1d}{f^~Byvp~o#qBo ~y¥v{~Bo(vp~i²®rd?©Zx¿vpbdf^qsf^} oJrb!vpbqNv

v{bdf 'qsf'f¶¤ y}pf'vprd}{}{f^oprdv{o$opqsvpoz²®xZd¥vo$~=ozv~y¥v{~Bo^°ËvpbZro1f^oJv{q©dopbdkeryvprqZ~©d=qNv{~Bo©;fvz¤¶f'f^v{bdf 'qsf'}

qgvpbfk'qf'fB¯$Ãyegq}px°Zqo{oQZ¬Ëq}pqs=voQei;~BopfU~B©dBqsvp~o3~¿egfv{bd~ydo^¯$ªfvpb~Zo3©;f'Bddvpbdf^}(ftyf^'ryvp~u

qu~©dzf^ºv#ozvqNv{fUvpbqNv opqsvpofoQv{bdfwZ¬Nqs}{qBv¶eroJv(f^qË¬BfUv{bdfw~B©yzf^v¶uqiozvqNvpfopqsvpoz²®xZdv qsBq¿r~B¼vpf^}pegqNv{~B?¯

´(~BBv{}{qBºvo0bf'gdf'¬f^~Bf^}{o1v{~«ftyd}{f^o{o$ftyd'¥v{xi~y¥v{~Bo$rddf'}Q¤ bdbi~B}Jv{~Bo$~s²L~yyfU^qsi©f Brqs}qs=vpf^f^vp~

}{rdu¤ vpb~ryv#f'}{}p~B}{o^¯0Â¶ryv qsop~°=oJvp}{rdegf'=vqsvp~vpbdf«»w©9´½qsd}p~=qb¿o3v{bdf}prdd±Wv{egf«bdf^Zd~s²1~=v{}{qBºv{o^¯bc¶v¶f^qBozv

rd=v{ f'gyf'd~NxZegf'=vQ~s²;vpbdfUqdd^qNv{~B?°s©dryv¶oJ~Beif'vpegf^oQqop~drd}pdVf'tZ~B¥vqNvp~°~Bozv{}{q=vo¦qs}{f#bf^fdrd}pd

d}{~B}{qe ftyf^'ryvp~?¯3´(~BBv{}{qBºv¶¬=~qNv{~Bo(rdyfegq=vqsdf'}oQv{~N¤¶q}{o3©drBo^°Zopf¬Z~Bqsvp~u~²0qd}pf~Byvp~uf^qBdo

v{~¼©dqsegfVvpbf'qf'} ~²1v{bdfegfv{bd~yyfv{f^vpd¿vpbf¬Z~Bqsvp~?°d¤ bf¬Z~Bqsvp~D~s²Qqg;~BoJv{'~yvp~D~B}U~s²QqsDZ¬Ëq}pqs=v

f^qBdovp~©dqsegfivpbf¼'qsf^_eif'vpbd~y·v{opf'²«¾ei~yyr~qD~B}p}{f^v«q5~egdfv{f¿yf¥v{~B·~²(¬Z~qNvp~5opf'e¿qs=vp'o^°opf'f

*®¹º¯

µf^o{o~Bopyf^}pf5©dryv¿ozv{¶~=opop©fB°Q~=v{}{qBºv{oqs}{fuqo{opf'}pvp~oV v{bdf!opf'oJf!~s² vpbfueg~}{f¼²®~B}pe¿qs¶qNty~e¿qNv{¼qy±

d}{~BqBbdfô^¯XdUf^fB°y¥v o¶~=opop©fe¿qsZx¿oJegdf«^qopfô3vp~gd}{~N¬f v{bdfV~B}p}{f^vpdfopo3~s²v{bdfV~yyf¤ ¥v{b!}{f'=qs}do¦v{~v{bdfôpf

qBopopf'}pvp~o^°LG¯fB¯9vpbqsvVvpbdf¿~yyfgdbdf^}pf^Bv{x_opqsvpofokvpbdf^e¯¿ªrb_~²3vpbf¿~N¤¶f'}«~s²#»w©9´ fo«·vpbo«}{f'qNv{~BoJbÊvp~

eg~}{f²®~B}pe¿q0egfv{bd~ydo^°L¤ ¥v{bvpbfeg~svpvp~uvpbqsv¤ bqsvxB~r^qsdd~v}p~N¬Bf«²®~}{egqx°9xB~rÊ^qs¬NqsdqNv{fvpb}p~Brdbv{f^oJvpd

¾~}«}prddd=¹wvpbfgqdd^qNv{~BÊ¤ bdf¿bdfZduvpbdf¿qBopopf'}pvp~o^¯VÄï_vpbqsvVopf'oJfB°?»w©;´o«~²Ávpf^·opf'f^_qo«qoJf^eg¥±G²®~}{e¿qs

egfv{bd~y!²®~} f'bqs'v{bdf =rqsvzx¼~s²¦oJ~²Ávz¤¶q}pfB¯

hi?h 9yUn>wCs vWm l}x ]nzl zvZp9zl|]wm

! rqvzx«~s²opf'}{¬Z'fk ! ~=Ãd¹?bqo1BqerbqsvJv{f'=vp~vpbdf f'~²yozv{}p©dryv{f^erdvpegf^yqw¤ bf'}{f3v¦'~N¬f^}{oLfopopf'=v{qx

v{bdfd~vp~~²Qf'y±Wv{~s±Àf'DBrqs}qs=vpf^f^o qBopop~yqNvpfD¤ ¥v{bvpbf~Begerdd'qsvp~~²Qerdvpegf^yqu'~=vpf^BvoU~N¬Bf'}Udf'vz¤(~B}pyo

q·vpbdf^}id}{~yf^o{opdD~B ~egdrdvpdd~yyfo\h4À¯[c ~Bopyf^}{q©dfgqeg~rd=v~²#¤¶~}{Êbqo©;f'f^ y~Bdf¿ vpbdoq}pfq!vp~

=vp}{~Zdrf eg~yyf'oQqgqs}bd¥v{f^vprd}{f^o¦oprdd;~}pvpdVoJrb

!

~ZÃBrqs}qs=v{f'f^o1¿~}yf'}$v{~oJrf^}{opf^yf¶v{}{qBy¥v{~Bqsy©;f^oJvJ±Àf¨9~}pv

Äï|df'vz¤(~B}pyo^°(qÑvp~Çf'qs©dfeg~©df'~egdryv{d "*À¯a#bdogv{}pf^½bqog;f'}~Bqsvpf v{~ ozvqsdq}{ qs}bdvpfºvpr}pfoi²®~}

~Bf^ yozv{}p©dryv{f^Çd}{~yfopop°1qsegf'x5a#Ä$#9c hh4#q5eg~}{f¼}pff^Bv{xÇ´ ³lUÂc h%""À¯Êa#bdoqs}{}p~N¤Ì¬Zop~B5~s²

!

~=Ã

ow'rd}p}{f'=v{x!f'f'}qsÐ^fûvp~¼f't=v{}{qs±W²®rºv{~BqsLd}{~;f'}pvpfôU~s²Qyozv{}p©dryv{fôpxZoJvpfê¿o °Y"À°9qo

!

~ZÃu©;f^'~egf^owoJrd©dzf^ºvwvp~

}{f^opf^q}{b!vpbfVeidyf'¤#qs}{f«~egerddvzx[hË À¯

! ~ZÃgryf^o#¬Nq}p~ro(qopfºvo'°y¤ bdbu¤¶fw~N¤yfdfkDq¬Bf'}{xiBf'df^}{qe¿qsdf'}V¾qBdqsdvpf^¼²®}p~Beuh4G°"*?qs[h À°

v{~¤ bb5¤¶f}{f²®f^}«vpbdfg}{f^qdf'}²®~}Veg~}{fiy²®~B}pe¿qsvp~¹¯ ! ~ZÃyf dfo6&@ ('*)C~ @R"Y,+_~$-)* S~&>$ &@V~ ~s² q!opxyozv{f'eD°

qs¨;fºvpd!vpbdfi;f'}f'¬f =rqsvzx~s²¦vpbfi}{f^oprdv{o^¯ÃZrb_bqs}qºv{f'}{oJvp'owqs}{f~s²Áv{f'_~}{BqsÐ^f^DBv{~/~ .>..*UR ^°oprb·qo

v{egf'df^o{o ~} }{f'qs©dvzx¯

/ 1032\CY4.52W$o3vpbdfUf^fopo{qs}{x,%)&b$ "U8*¿qs`~4"@44+;vp~f'oprd}{f#vpbqsv3v{bdfwyfoJ}pf =rqs¥vzxi~s²?opf'}{¬Z'f d}p~By±

f^}Jv{fowqs}{fqsvJv{qf^qsoJroJv{qf^L¯ ÄÀv«qsddf^oU©;~sv{bvp~[~ "V;6) )Vqs2<~U4">;>$ S~&V8*5^¯70?.V@~egqqsBf'egf'=v

qBoJ;f^v{o#}{f'qNvpfv{~¿d}p~Bf^}Jv{fo#qs}{f =rd}pf^eif^=v{o(vpbqsvU}pf^e¿qs'~oJv{qBv¶vpb}p~Brdbd~BryvUoJ~Begf«qBºv{¬Zvzx¯Qa#bdf^x¼ryfe

%8 Ô ¡19(:1¡B y%9Ø<; ¢ dfdvp~D~² ! ~=Ãu}{f =rd}pf^eif^=v{o¶~}U^qsq©dvpf^o^°

;1Ô>=Ø %9W y%9Ø<; ¢ }{f^qBbdiqq}{f'f^!oJ;f^';'qNv{~B!©;fvz¤¶f'f^qsLqs}pvpf^o^°

dÙ?9W^9Ø@; ¡ Ø<; ^ Ø z¢ ~Begqs}{op~!©f'vz¤(f^f'vpbfV}pfBr}{f^

!

~=Ã!qsuvpbdf^qsq©dvzx¿vp~¿egf^fv#vpbdf^eD°qs

Ô Ø 0Ë¡ Ô Ô Ô 4Ad y%9Ø<; ¢ qs~y'qsvp~!~s²$}pfoJ~Brd}{'f^o¶oJ~iv{~¿f'oprd}{fwv{bdfVegf'fv{¿~s²v{bdf ! ~=Ãu}{f =rd}pf^eif^=v{o^¯

BDCYE2V~egqqsBf'egf'=v qopfºvo#}pf^qsvpfvp~g}{f^op~BoJfo¶vp~¿bqdfo(vpbdfVf^Z¬=}{~degf'=v¯$a#bf'x¼ryf2e

Ø@; 9® Ø E9;= ¢ eifqoprd}{dvpbf ! ~=Ã!qºv{rqsx¼d}{~N¬=yfL°

8 Ø (9W¡19;= ¢ f'oJrd}{divpbqsvwqsLqs}pvpf^o qBybdf'}{fvp~ ! ~=Ã!~B=vp}qºvo'°

F9 ; Ô>; ; ¡ Ô ¢ eg~yy'qsvp~~s²$oJxyoJvpf'e4qs}qsegf'vpf'}o(vp~ge¿qs=v{qs!vpbdf ! ~ZÃ9°

Ô>;0Ô>=;Ø

9¾ y9

Ø@;

¢

eg~Zd^qNv{~B!~²0v{bdf

!

~=Ã!~BBv{}{qBºvo'°yqs

G

Ú?ÛËåéGÛåJàºá®ëIHÁÜÞæËîzöÞÜÞæËåzêUáWåJãêËåzá9ßÜÞöÞösãöÞÝGàQá¾åJîzà õ æËÜKJzå1éWÛËå0îJàºæéWÜÞæ^çËç÷ äsåïéÁßLåzåzæwéÁë^èËÜÞæ õ ãæËêUîzàºæ'éWáWãîzéWÜÞæ õ ò;ÚÛå$í9çËá¾á¾ëIHMLàpß?ãá¾êkÜÞÝWàº÷ àºáWèÛËÜÞÝG÷

ãîÀâ'æËàpßöÞåzê õ åzÝ1éWÛËå¦ÝGÜÞ÷ ÜÞöãá¾ÜéÁë äsåïéÁßLåzåJæ«éÁë^èËÜÞæ õ áWçËöÞåzÝà5NdèËá¾à õ áGã÷ ÷ ÜÞæ õ öãæ õ çNã õ åzÝ$ãæêÜÞæNåzáWåzæËîzåQáWçöÞåJÝà5NdèËá¾åzêËÜÞîJã{éGå3öÞàõ ÜÞîºò<OÁæã¶ÝGåzæËÝWåQPNèËá¾å$H

ãæËêièsàºÝ¾éGîzàºæËêËÜéWÜÞàºæËÝ3ÜÞæ'éWá¾à^êËçîJåwãæå$R'éWåJæÝGÜÞàºæéWàkéWÛËå#éÁë^èså ÝWë^ÝWéWåJ÷Eà5N9éWÛËå ÛËàºÝWé3èËá¾à õ áWã÷ ÷ ÜÞæ õ öãæ õ çNã õ å ä'ëèËá¾àpù^ÜÞêËÜÞæ õ éGÛËåNçËöÞöèsàpßLåzáQà5N

S á¾ÝWé(HÁàºáWêåJáöÞà õ ÜÞî9éGà¦ÝWèsåJîzÜN¥ëQéGÛËå9éÁë^èsåzÝpò@T1ä'ù^ÜÞàºçËÝWöëIP÷ àºáWåLèsàpß9åJáMNçËöËéÁëèså?ÝWë^ÝWéWåz÷ ÝdÜÞæ3éWÛNã{éöÞÜÞæËåLîzàºçËöÞê¶äsåãêËàºèéWåzêUP'äËçééGÛËåLÝ¾éÀã{éWÜÞîLùåzáWÜS îJã{éWÜÞàºæ

à5NdéÁëèsåzÝß9àºçËöÞêÜÞæËîzçËáãNàºá¾÷ ÜÞêNãäËöÞå1ÜÞæîJá¾åJãÝGåQÜÞæîzàº÷ èËöÞå*R^ÜéÁëWVãæê«äså¦æËàºæHÁêËåzîzÜÞêNãäËöÞå¦ÜÞæk÷Uãæ'ëUîJãÝWåJÝXïò@Y1äsíuêËà^åzÝæËàéÝGàºöùå$éWÛËÜÞÝèËáWàºäöÞåJ÷ZP

äËçé3áWã{éGÛËåzá3áWåzÝWèàºæêËÝ(éWàÜéQäëÝGÜÞ÷ èËöëêËå*Nåzá¾ÜÞæ õ éWÛËå#ùåzáWÜS îJã{éWÜÞàºæiéWàéGÛå áWçËæ%HéGÜÞ÷ åQP=èËáWåïé¾éÁëß9åJöÞööÞÜÞâºå#÷ àºÝWé$èËáWà õ áWã÷ ÷ ÜÞæ õ öãæ õ çNã õ åzÝ(éWÛNã{é

êËå*NåzáQã{é¦öÞåJãÝ¾éQÝGàº÷ åQà5N9éWÛËå¶éÁë^èå3ùåzáWÜS îJã{éWÜÞàºæËÝQéGàwáWçæHéWÜÞ÷ å[Våòõ òBöã{éWåJæé¦éÁë^èå(ÝWë^ÝWéWåz÷ Ý\P=ãÝ¦ÜÞæñ^îÀÛËåz÷ åQPBßÛËÜÞîGÛãá¾å#ÜÞæËêåJåzê3]^çÜéGå(êËÜ^åJá¾åzæ'é

Ná¾àº÷ çæ'éÁë^èsåJêÝWë^ÝWéWåJ÷ ÝXïò

(8)

Interface +enabled : Boolean

Parameter

Component Operation

CallRelationship

Entity

Type 0..* 1..*

requires

1..*

provides 0..*

1..* contains

0..*

client 0..*

supplier

0..*

requires

+required 0..* 0..*

+provided relies-on

returns 0..*

is-of 0..*

0..*

+provided

0..*

+required 0..*

client supplier

0..*

requires

0..*

returns

0..*

is-of contains

1..*

0..*

+provided 0..*

relies-on

+required

+required 0..*

0..*

+provided 0..*

requires 1..*

0..* 1..*

provides

£ Brd}pfgh2e¦§Q=vpvzxueg~yyf'

dÙ1 81^ y9Ø@; ¢ eg~yy'qsvp~o#qsdd'qNv{~Bo¶vp~ge¿qs=v{q!vpbdf

!

~ZÃ9¯

Â#qop'qsx°

/

10~ *@ S~&?Vqs}{fegf^qoUv{~!opf²®x

!

~=Ã}{f =rd}pf^egf'=v{okqs^qsq©dvpf^o^¯ka#bdfoJfioJ;f^';'qNv{~Bo'qs

v{bdf'5oJf^}p¬BfqBok©qopok²®~}«qs$vpbf}{f'e¿qsddegqqsBf'egf'=v«qopfºv{o~²

!

~=Ã9°9d}{~N¬Zdf^Dv{bqNv~B=vp}qºvokq}pfioJr¿'f^=vpx

S"~\+8* .VV*Ë¯Qa#bd~=oJfq}pfvpbf~}{fVqopfºvo#vpbqsvUeroJvw©;fyf^q¥vU¤ vpbq

!

~=Ã!~BBv{}{qBºv qsdBrqsBf°dqs!vpbdoUqs;f'}

¤¶f¤ 0}pfozv{}pºvk~rd}oJf^¬Bf^o#v{~¿vpbok¬Zop~B?°;fqË¬=d¿~vpbdf^}we¿qsqf^eif^=vkqopfºvo vp~uvpbdfrdyf^}pxZ

!

~=Ãqs}bdvpfºvpr}pf

©drv~N¬f^}oJxyoJvpf^eqs_fvz¤¶~}{ÊoJf^}p¬Zfo'¯Wdw~N¤(f^¬f^}^°qD¤ yf¿¬Nqs}{fvzxÊ~² 2\CY4.52W$Zb4+@~ 84i^qs5©;f¼ropf^·5v{bdf

¬Nqs}{~roqBoJ;f^v{o^¯ #wf'~vpqNv{~B?°?²®~B}ftdqsegdf°$'q·v{qsBfg=vp~_q''~rd=vV~©dzf^ºv{¬Bfg²®rdvp~ovpbqsvy¨;f^}V²®}p~Be ropf'}vp~

ropf'}¯¦a#bdfVopqegfkZu~²¬Nqs}{qf'qu©;f«opf'f^!~svpbf'}#e¿qsqf'egf^Bv#qopfºvo(¤ bf'}{fwv{bdf'xu^qs!©f«eg~}{fk~B}(f^o{o#oJf^f'

qBo#eif'v{qf^¬f'?df^op~Bo'¯ £ ryvprd}{fVftZv{f'op~Bo#~s²¦Ï´ ´¶µ5¤ ?ryfoprbDqopfºvo'¯

cw¿eg;~}pv{qs=v¦opoprdf ¼oJ;f^'^qNv{~Bio$v{bdfUqs©d¥vzxvp~Vf^oJv{q©dopbg}pfBr}{f'egf'=vo¦qsg'qqs©¥v{fo¦gq¿qsdd'qNv{~By±

~B}pf'=vpf¼¤#qËx hË À¯¦|Q}p~B}qsegegf'}o(^qsyf^qL¤ ¥v{b!egfv{}p'o qddf¼v{~gd}p~B}qse¿o3q!roJf^}#f^}{'f'yv{~B?°y©dryvUerb!f^o{o

¤ vpb¿opxZoJvpfêi±G~B}pf'=vpfVegf^qBoJrd}{fô^¯Äzdf^qsx° ! ~=Ãqs}bdvpfºvpr}pfofôJr}pf(vpbdf f^fopo{qs}{xvp}qsopqNvp~©f'vz¤(f^f'gqsdd'qNv{~By±

~B}pf'=vpf~Bozv{}{q=vowqsoJxyoJvpf^e±À~}{f'=vpf!egfqoprd}pfo'¯w§¦tydv«eifbqsope¿o vp~y~¼v{bdowe¿qsd!qs}{f~²Ávpf'Êdf'fyf^

opfVv#oUqeg~BoJv eg;~Bo{oJ©dfvp~¿'qsvpf'}#²®~B}UqsL~=opop©dfVqdd^qNvp~d±G~B}pf'=vpf¼=vpf'=v{~Bo'¯cwd~sv{bdf'} eg~B}Jvqs=vUqopfºv

o«vpbfuqs©d¥vzxÊvp~ropf =rqs¥vqNv{¬Bfgq =rqs=vpv{qsvp¬f¿opf'qsvp~o« qoJfqsegf^o{o²¾qopbd~B?¯¿Äï5²¾qv^°0~Z~y·op;f^^qN±

v{~Bqdrqfo¶²®~} ! ~ZÃoJbd~Brdqs~N¤\d}{~}qsegegf'}o(vp~¼}{fdfVvpbf'}w}{f =rd}pf^eif^=v{o qs'qsqs©dvpf^oU²®}p~Be bdbd±Gf'¬Bf'

qdd^qNvp~d±G~B}pf'=vpf =rqv{qsvp¬fU'~oJvp}qs=v{o$v{~V~N¤#±Àf^¬fôJxyoJvpfê±À~}{f'=vpf =rqBv{¥vqNv{¬Bf ~dfo'¯$a#bdoQ}{fdfêgf'=vQd}{~s±

'f^o{o qs©dvzx¼o yf'fDf'=v{}{qv{~¿}pfqsLo{'qsfVoJ~²Ávz¤¶q}pf«yfoJ?¯

hi tv | vZp]lp_w{zv_p9zl}|9w.m

§¦tZv{}{qs±W²®rdºvp~qs¦~BBv{}{qBºvowqs}{fegfqs=vwv{~!drdv«~B©d=qNvp~oU~Êvpbdfg~yyfi~}d}{~N¬ZyfoJf^}p¬Zfo'¯Va0~!y~DoJ~°;vpbdf^x¤

qsvJv{qBb·qBopopf'}pvp~oUv{~Dop;f^if'=v{¥v{fo'¯+_fgd~N¤ =v{}p~yyr'fv{bdf¿dff^o{o{qs}{xD'~'f'yvod}p~N¬Zydqoprd¥vqs©dfgeg~Zdf'¦~s²

d}{~B}{qe rd~BÊ¤ bdb5~=v{}{qBºv{o'qÊ©;f¿yff^L¯a#bfiB~Bq0~²(yf^opddDq!'~=vp}qvkqsdBrqsBfqsdxZd!vp~Dqu¤ yf

¬Nqs}{fvzxg~s²eg~yyf^dq¼}p~B}qsegegdVqsrqf^o(oJrfozvo¦v{~d}{~N¬ZdfU¥v ¤ vpbq}{f²®f'}{f'fweg~yyf^9q¿e¿qsdBo3vp~

bd~=ozvo#qdrqsfo#oJrbDqo ¸kªµQ°BqË¬Nqiqs´ Íu¯

a0~dfdf¶v{bdo$}{f²®f^}pf^f¶eg~yyf'G°oJv{qsdqs}do1f#lUªD±J³»k|1°Ba#Ä$#9c°sq¿´ ³lUÂc°Nqo1¤¶f'dqo0vpbdf ¸kªµeif'v{qei~yyf^

q}pfgqsvprd}qs$ryfo'¯¿Â¶ryvV·Bf'df^}{qW°?qqs}{fiZrde©;f'}V~²¶yozv{ºvf'=v{¥v{foV'qs·©;f¼oJrd©dzf^ºv«v{~D'~=vp}qv{o^¯gÏ´ ´¶µ o

opd}{f^¼²®}p~BeÌvpbdfoJf«ozvqsqs}¿}pf'²®f'}{f''fweg~yyf'o^°=©ryv¶o#rd}{}{f'=vpxg}pfozv{}pºv{f^gv{~~B=vp}qºvo3ryv¶~Bu~Beg~Bdf'=v{o^¯¦a#bdf

²®~B~N¤ i'~opdf'}o(~Bdx¿vpbdf«dffopo{qs}{x¿~f'dv{o¶vp~¿oprdd;~}pv#vpbdo rd}{}{f'=v¶¬ZoJ~¯ £ ryvpr}pfVf't=v{f'op~o¶~s²¦Ï´ ´¶µ·¤

'~N¬f'}#eg~}{f«~s²0vpbdfV;~sv{f'=vpqs'~=vp}qv{q©dfd}{~B}{qeÌf^=vpvpf^o^¯

ÃZ~²Ávz¤¶q}pfopxyozv{f'e¿o¼qs}{fD©drd¥v!²®}p~Be 4. $,2 $@?@R ^° Bfqo{oJfo'°¶egfvpb~Zo'°¶²®~}{e¿qsUqs}qsegfv{f'}o'°¶ozvqNvpf^egf'=v{o^°

¬Nqs}{qs©df^o^°qsop~¿~qoJ~g²®~B}Jv{b?¯3|3}p~B}qseÒf^Bv{¥v{foUbqË¬Bf«egqd²®f^oJv{qNv{~BoUqsvw}pry±Wv{egf«v{bqNvw¤¶fV¤ vpbdf^}pf'²®~}{f'qs

(9)

f'tZ}pfopopfôkoJfBrf''fôk~s²Qf'¬Bf'=v{okqs_ozvqNv{fô v{bd}{~rdBb¤ bdbvpbdof'=vpvzxqs¥vok}{rdy±Gvpegfe¿qs¥²®fozvqNvp~ok^qsf^¬~¬f

~N¬Bf'}«vpegf¯ £ ~}Vf'tyqegdfB°~B©yzf^v{oq}pf¿}{f^qsvpfL°?d¥v{qÐ'fL°1}pf^fqNvpfyxÊqvp¬Ëqsvpf_©Zx_eifopo{qsBf^o^°?qs_v{bdf'Ç=qs}{©qsBf

'~fºvpf5¤ bdf' d~~dBf'}Vdf^f^yfL¯ªfv{bd~ydoiqs}{f¿}pf^fqNvpfyx_qvp¬NqNvpfL°¦ozvqs}pvpfL°$ftyf^'ryvpfL°1opropf^yfL°¦}pfoJreifL°

v{f'}{eiqsvpf^?°d}pf'vprd}{df¼²®}{~eD¯

´(~Bei;~f'=v{o^°Nqo0¤(f¶bqË¬f(oJf^f'?°sq}pfQ~Bq=rdf(egdf'egf^BvqNv{~Bo~²d²®rdvp~qvzxV~s¨9f'}{dwopf'}{¬=foLv{bd}p~Brdb 2"VS

I$'@S~4 ¬f^uv{bqNvU~vpbdf^}UoJf^}p¬Zfo qs}{fk²®r}pdopbdf^!vp~gv{bdf'e vpbd}{~rb )C;4 )>$'@S~4 , À¯3Äï=v{f'}p²¾qfo qs}{fVoJf'v{o#~s²

´(~Bei;~f'=v{o¶e¿qËx¿~s¨9f'}¶vpbf«o{qsegf~B'q;opf'}{¬Z'fkropdid¥¨9f'}{f'=vUoJr©oJf'v{o¶~s²1¥vo¶d}p~N¬Zyf^u=v{f'}p²¾qfo'°Zfqb¼~Bdf«roJd

fozvqs©dopbdfÑ©;fvz¤¶f'f^½d}p~N¬Zyf^ÑBv{f'}p²¾q'f^o¿qsÑv{o¼}pfBr}{f^Ñ~dfo'¯Ea#bdfoJf^e¿qs=vp'og~²kv{bdo¼}pf^qsvp~opbdÑogvpbqNv!q

d}{~N¬Zdf^gBv{f'}p²¾q'fUo3f'q©df^¿²qs~²L¥vo3}{f =rd}pfg=v{f'}p²¾qfkqs}{f f'q©df¿©Zxiq~Bddf^vp~gv{~Vvpbdfkd}{~N¬=yfg=vpf^}J²¾qBf

~²$op~egf«~sv{bdf'}U'~eg~Bdf'=v#vpb}p~BrdbDqg'qsL}{f'qNvp~oJbd?¯

'~eg~Bdf'=vvzx=;f^o^°1vpbdf^}iBv{f'}p²¾q'f^oq5vpbf'}qs~N¤(f_qNvJv{f'}{o~s² =v{f'}qºv{~B?¯ 42ab") D'8$,2W "Sgq}pf¿v{bdf

}{rdy±Gvpegf_opxZoJvpfê¿oud}{~N¬Zdd5v{bdf·df^'fô{opq}px oJf^}p¬Zfô¿vp~Ñoprdd;~}pvqf^y²®~}fÊ'~eg;~df^Bveg~Zdf'o'¯Ì´(~Beg~Bdf'=v

²®}qsegf'¤¶~}{yoVbqË¬Bf¼egdf'egf^BvqNv{~Bo~N¬Bf'}iy¥¨9f'}{f'=v 6+('V*\2X^°QqsÇf^¬f^Bv{rqsx_}{rd ~B oJ;f^'; -YC<bC N°0fqbÇ~s²

¤ bdb'q}p}{xZd¥vo ~N¤ D~=v{}p©dryv{~Buv{~v{bdfV~N¬f^}{q9f't=v{}{qs±W²®rºv{~Bqs9d}{~;f'}pvpf^o#~²vpbfV¤ bd~fVqsdd'qNv{~Bo^¯

=vpf'}p²¾q'f^o(~s²op~egfw'~eg~Bdf'=voQv{~\~ * 'V"2\*1d}p~N¬Zyf^g=vpf^}J²¾qBf^o3~s²?~vpbdf^}{o^¯¦´(~By²®~}{e¿qs'fUurd}{}{f'=v¶'~eg~Bdf'=v

eg~yyf'o¦~²Ávpf'i}{f^yr'f^o1v{~«opxZ=v{qvp#~d²®~}{egqf¶~s²9oJqNvpr}pfo1qvzxZfo'°s¤ bf#vpbdfU'~eg;~df^Bv¦eg~yyf'yv{opf'²9egd±

^qsu~y^rd} qNv opf'¬f^}{q;d¥¨9f'}{f'=v ~B=vo(!vpbdf^}#¥²®f'vpeif2eQqsd'qsvp~!df^opB¼vpegf°d'~Zddvpegf°dyf^d~Nx=egf^Bv¶vpegf«~}

v{bqNvQqoJv¦vpbd}{~rbd~Bryv0v{bdfUf'tZfryv{~B?°N²®}{~eY©dd=o$vpbqNv3'q©;f }{f^yf df^i~y'^qop~Bqsx«q²®}p~BeY©dydBo¦vpbqsv3'qs

a#bdfr}pfhkd}{f^opf'=v{oQvpbdfVÏ´ ´¶µf^Bv{¥vzxgeg~yyf'9qo(q¸kªµÊ'qBopo(yq}qse ²®~}¶f'=vpvpf^o(rd;~¼¤ bbu'~=vp}qv{o('qs

'rd}p}{f'=v{xD©;fgdfdfL¯6c ~Beg~Bdf'=vk}p~N¬Zyfôk~dfi~}eg~}{f=vpf^}J²¾qBfô^°Lqs_qsoJ~!}pf=rd}{fôk~f~}«eg~}{f=vpf^}J²¾qBfô^¯

§3qBbd}{~N¬Zyf=vpf^}J²¾qBfe¿qËx}pf^x~quoJrd©oJf'vk~s²$v{bdf'~eg~Bdf'=v}pfBr}{f^Bv{f'}p²¾q'f^o^¯]cU=vpf'}p²¾q'f~B=v{qsow~df

~B}eg~}{f¿~;f'}qNv{~Bo'°1¤ bdbÇ5v{rd}{ }pf=rd}{f^o«qs}qsegfv{f'}o'¯´(~eg;~df^Bvoq}Jv{'qNvpfu ^qs3}{f'qNvp~oJbdo¼

}{f =rd}pfu=vpf^}J²¾qBf«~s²$oJ~BeifV'f'=vw~Beg~Bdf'=v#vp~¼qid}{~N¬Zyf¼=vpf'}p²¾q'f«~s²¦oJ~BeifVoprdddf'}U~Beg~Bdf'=v^¯

v{bdo v{qs}{f'v#'~=vpf'tZv^¯ £ ~B}¶oJv{qfB°y¤(fV~Brd¼f'e©f¼v{bdo eg~Zdf'LBv{~v{bdf¸wªÊµ_egf'v{qN±Àeg~yyf'G°yropdg¸wªÊµ5ftZvpf^oJ~

egf^bqsdoJe¿o¾W¯f¯ Ã=v{f'}{f'~svzxZ;fô¹(vp~u'~df^ºvUvUv{~¿ftyoJvpd¼egf'v{qN±Àeg~yyf''qBopopfôVWqvprqx°d¤¶fbd~=oJfv{bdfqo{o qegfô

²®}{~e vpbdfV¸wªÊµ ´(~}{fkv{~gegqfvpboU'~df^ºv{~B!qs}pvprdqs}{x¿fqopx¼uv{bdf'qBoJf«~s²¦¸wªÊµ0¹º¯

hi%$ tvZp9m2w.xynp_w |9x5v o xy np]o zvZp9zl|]wm

a0~¼d}{~N¬Zyf«egf^qo#²®~B}wqo{f^}Jvqsdv{bdf'~}{}pfºvpf^o{o(~²Q~eg;~df^=vw~eg;~Bop¥v{~Bo ¤ vpb}{f'=qs}do(vp~¿ftZv{}{qs±W²®rdºvp~qs

}{f =rd}pf^egf'=v{o^°BqV'~=vp}qv$qsrqf#eroJv(yf dfwq~4" 'V*\2\C~ w}{f'qNvp~i©;fvz¤¶f'f'¿}p~N¬Zyf^gqs}{f =rd}{f^g~BBv{}{qBºvo'¯

´(~Bozv{}{q=vo{qNv{oJ²¾qvp~¿®~N¬Bf'}?=vpf'Bf'}oL~}}pfqso{¹9bqoL©;f'f^ozv{ryf^²®~B}0yf'qdf^o?«vpbf3e¿qNv{bdf'e¿qNv{^qss}p~B}qsegegd

¤ vpb!vpbdf«B~Bqs;v{~iop~¬fkd}p~B}qsegegd}{~©df'e¿o(©Zx¼egf'}{f'x¼ozvqNvpd`HJ-C=¶'~oJvp}qs=v{o¶oJ~Bryv{~Bo¶eroJv opqsvpoz²®xB°dqs¼vp~

´(~Bozv{}{q=vVd}{~B}{qeiegduqsrqf^obqË¬Bfivz¤(~De¿qNz~B}Vqs}pv{o&eqDoJf'v~s²#d}p~B}qsegeg'~oJvp}{rºvoVqs~N¤ dd}{~s±

B}{qeiegf^}{okvp~dfdf¼q·qd5~BoJvp}qsBvokvp~op~D^qsf ~4"5&@ * <>"4 ^°?qs{~ *5&@ *) 4+?"$$vp~oJegd¥²®x·qs

op~ryv{~Bo ozvqNv{oJ²®xZdiv{bdfoJf'vU~s²$~=v{}{q=v{oh&"À¯

²0v{bdfVy~e¿qo¶v{bdf«}pfqs9Zrde©;f'}o#qs~BoJvp}qsBvo#'qs!ropfkv{bdf«roprqs?q}pvpbdegf'vpk~Bf^}{qsvp~B}{o'&°)( qs!'~egqs}{oJ~B

~Bf^}{qsvp~}o+*°-,qs.V°Lv{bdf'·¤¶fi~B©yv{qÊvpbdf¼d~e¿qsÊ~²¶qs}{vpbdegfv{i~N¬Bf'}}pfqs$Zrde©;f'}o'°L~svpf0/¶¯DÄÀ²(¤¶fg~egvv{bdf

~Bf^}{qsvp~}1( °v{bdf' ¤¶f¼BfvVvpbf!y~BegqÇ~² df^q}qs}{vpbdegfv{¼~N¬f'}V}{f^q3Zrde©f^}{o^°0~svpf2/43576Q°$q5²U¤(f¼~Beg¥vv{bdf

3 576:<;=6

¯´(~Bozv{}{q=v

(10)

QualityAttribute

#name

+evalOn(e:Event)

Unit

+comparableTo(aUnit:Unit) : Boolean

BasicUnit -power : int -name : String

+convertsToStandard() : Float QualityAttributeType

ConstraintDomain

QoSType

#name : String

+conformsTo(qt:QoSType) : Boolean

Real FiniteDomain FiniteSet

Bool

RealArith RealLin

Entity

ConstraintExp

see the contract model

see the entity model

Type

see entity model

is-defined-by

1..* 0..*

expressed-in

0..1 0..*

0..1 element-of 0..*

0..* is-of

0..*

qualifies

1..*

value-of 0..*

0..*

extends

1..* 0..*

is-defined-by

0..*

expressed-in

0..1

a#bdfk~ozv{}{q=v3op~¬f'}3roJfoQqs¼qsty~BegqsvpÐ^qsvp~g~s²Q¾op~egfË¹$d}{~;f'}pvpf^o¦~²;v{bdfkd~e¿qs¼qsgeiv{qsvp~o3~gv{bdfwqo{o

´(~Bozv{}{q=vkd~e¿qsowqop~¬f^}{o }p~N¬Zyfqsf'tdf'f'=vkBf'df^}{qL²®~rddqNv{~B²®~}wvpbdfgoJf^fºv{~B~s²3qo{opf'}pvp~o ~N¬Bf'}

f't=v{}{qs±W²®rºv{~Bqs1d}{~;f'}pvpf^oUf'tyd}pfopop©df·~BBv{}{qBºvowqs²®~}kvpbfiyf dvp~_~s²¦vpbfiopf'e¿qs=v{^ow~²(~By²®~}{e¿qs'f©f'±

vz¤¶f'f^½'~=vp}qv{o^¯ª~}{f'~N¬Bf'}°3~Bozv{}{q=v¼opegd;'qNv{~B ^qsqsop~·©;fropf^Ñvp~ opxZ=vpbdfoJÐ'fD~N¬f^}{q#}{f =rd}pf^egf'=v{oi~s²

opxyozv{f'e¿o¼qo¼xfv¿v{~Ç©f_opqsvpof½~ozv{}{q=v{oi~B}¿vp~Çd}{~N¬Zdf©;~rdog²®~B}¿vpbdfÊdf'B~Z'qsvp~ ~s²Vqsd}p~Bd}pqNv{fDf^¬f'og~s²

!

'~eg~Bdf'=vo(~B}(©Zxg}{fvp}{~s±Àd}{~qBqsvpdV~=v{}{qBºv(}{f =rd}{f'egf'=v{o(~=v{~vpbfkbq}{d¤¶q}pfUu~B}{df'}(vp~degf'oJ~uvpbdf~N¬f^}{q

bq}{d¤¶q}pfNop~s²Ávz¤#qs}{fUoJxyoJvpf'e4~}¶vp~¿;f'}p²®~}{e qByego{oJ~~BBv{}p~B?qs!}{f^op~rd}f«qs~y^qNvp~¯