44 Lengua[e de 8esLrlcclones de

Cb[eLo (CCL)
";ue es?
CCL son slglas en lngles que slgnlflcan Cb[ecL ConsLralnL
Language y que en casLellano se Lraducen como Lengua[e
de 8esLrlcclones de Cb[eLos
Ll CCL deflne un lengua[e slmple para escrlblr resLrlcclones
y expreslones sobre elemenLos de un modelo Ll CCL suele
ser uLll cuando se esL especlflcando un domlnlo parLlcular
medlanLe el uML y es necesarlo resLrlnglr los valores
permlLldos para los ob[eLos del domlnlo
Ll CCL brlnda la poslbllldad deflnlr en los elemenLos de un
dlagrama enLre oLros lnvarlanLes precondlclones
poscondlclones y resLrlcclones Ll CCL fue lncorporado al
uML en la versln 11 Ll CCL fue orlglnalmenLe
especlflcado por l8M y es un e[emplo ms de las muchas
herramlenLas agregadas al uML
CLra deflnlclon
Ll Lengua[e de 8esLrlccln de Cb[eLos (CCL Cb[ecL
ConsLralnL Language) es un lengua[e lnLlmamenLe
vlnculado con uML Se usa preclsamenLe para declarar
o esLablecer reglas para los elemenLos de un modelo
(para las clases por e[emplo)
CCL llena el vaclo que de[a el uso del lengua[e naLural
cuando lo usamos para deflnlr esas condlclones o
semnLlca adlclonal requerlda en Lodo modelo uso
que casl slempre causa amblguedades o falLanLes en el
modelo or Lales moLlvos CCL es oLro aspecLo de
lmporLancla a la hora de esLudlar uML y de modelar
por supuesLo
SuS CA8AC1L8lS1lCAS
W Lengua[e de expres|ones
CCL es un lengua[e de expreslones puro una
expresln CCL garanLlza que quedar sln
efecLo LsLo no puede camblar nada en el
modelo LsLo slgnlflca que un esLado del
slsLema nunca camblar debldo a una
expresln CCL lncluso una expresln CCL
podrla usarse para descrlblr Lal camblo de
esLado (pe en una posLcondlcln)
Lengua[e de mode|os
CCL es un lengua[e de modelos y no un lengua[e de
programacln no se puede escrlblr un programa
lglco o un flu[o de conLrol en CCL
LspeclalmenLe no se puede lnvocar procesos o
acLlvar operaclones no de consulLa en CCL
Lengua[e forma|
CCL es un lengua[e formal donde Lodos los
consLrucLores Llenen un slgnlflcado formal
deflnldo La especlflcacln de CCL es parLe de la
especlflcacln de uML CCL no Llene la lnLencln
de reemplazar los lengua[es formales exlsLenLes
CLro aspecLo lmporLanLe es que CCL no es un
lengua[e compleLo en sl mlsmo Muchos
lengua[es formales mandan (o al menos se
supone) que la especlflcacln compleLa se
escrlba en el mlsmo lengua[e Con CCL no se
neceslLa lncluso se Llene la poslbllldad de
escrlblr las especlflcaclones compleLas en CCL
La lnLencln de CCL es la de uLlllzarlo en
comblnacln con los modelos vlsuales uML
L[emplo de clases
lengua[e de dlseno de programas
W 1amblen denomlnado lengua[e esLrucLurado o
pseudocdlgo
W LsLe lengua[e no puede compllarse
eferenc|as
W 1 hLLp//wwwsofLwarelbmcom/ad/ocl
W hLLp//wwwboldsofLcom/news/columns/column!W
armerhLm More resulLs from wwwboldsofLcom
W hLLp//wwwcompuLerorg/proceedlngs/Lools/0/
00abshLm More resulLs from
wwwcompuLerorg
W 4hLLp//wwwawlcom/producL/0001400
0hLml
W hLLp//wwwraLlonalcom/LechnoLes/rose_hLml/8os
e_hLml/LechnoLe_hLml
W 9ressman Ingen|er|a de| software un enfoque
prct|co McGrawn||| 2002