interoperación basado en hacia un modelo/> dediseño por contratos propuesto por meyer en 1988....
TRANSCRIPT
Hacia u
n <Modelo/
>de
Interoperació
n basado en
Contrato
s
Fé
lix O
sca
r Fe
rná
nd
ez P
eñ
a
JD
AR
E 2
00
7
Objetivos
�E
nfo
car la
pro
ble
mátic
a d
e la
s a
plic
acio
nes
dis
tribuid
as d
esde u
na <
pers
pectiv
a g
lobal/>
.
�A
naliz
ar e
l <esta
do_del_
arte
/>en e
l
desarro
llo d
e a
plic
acio
nes b
asadas e
n
contra
tos.
�<
Conte
xtu
aliz
ar/>
el d
esarro
llo d
e la
s
aplic
acio
nes d
istrib
uid
as b
asado e
n
contra
tos.
SICLOS. Funcionamiento
�R
ecupera
ció
n d
e D
ocum
ento
s.
�<
Fu
en
tes/>
de
info
rmació
n e
xte
rna
s.
�P
rep
roce
sa
mie
nto
<a
uto
má
tico
/>.
�<
Pub
lica
ció
n/>
de
recu
rso
s in
form
acio
nale
s.
�In
tera
cció
n.
�A
cto
s c
om
un
ica
tivo
s {<
info
rm/>
, <re
qu
est/>
}
�D
escrip
ció
n d
e re
cu
rsos e
inte
reses {<
on
tolo
gía
/>}
SICLOS. Aplicació
n Distrib
uida
Fle
xib
le
Recurs
os
com
partid
os
Inte
ropera
ble
�P
roto
colo
de C
om
unic
ació
n.
�In
telig
encia
de P
rocesos.
�In
terfa
z d
e A
plic
ació
n
¿CALIDAD DE SERVICIO
?
Sta
rs W
ar G
ala
xy
Framework
<E
stru
ctu
ra/>
de s
oporte
defin
ida s
obre
la c
ual o
tro
<pro
yecto
_de_softw
are
/>
puede <
org
aniz
ars
e/>
y
<desarro
llars
e/>
Arquitectu
ra de Servicios Web
http
://ww
w.w
3.o
rg/T
R/w
s-a
rch/
Diseño por Contrato
s
�P
ropuesto
por M
eyer
en 1
988.
�B
asado e
n tre
s c
apas
�D
ocum
en
tació
n
�D
efin
ició
n d
e e
rrore
s
�M
an
ipu
lació
n d
e e
rrore
s.
�O
bje
tivos:
�A
um
en
tar la
s c
ap
acid
ad
es d
e in
teg
ració
n
�A
um
en
tar la
s c
ap
acid
ad
es d
e e
xte
nsib
ilida
d d
e
las a
plic
acio
ne
s.
Object-Oriented Software Construction, P
rentic
e H
all, 1
98
8.
Contrato
s Electró
nicos
�F
lexib
ilidad.
�A
dapta
ció
n a
ento
rnos c
am
bia
nte
s.
“Expre
sió
n d
e la
<R
ela
ció
n/>
entre
una
<cla
se/>
y s
us <
clie
nte
s/>
com
o u
n
<contra
to_fo
rmal/>
, expre
sando
las <
oblig
acio
nes/>
y <
dere
chos/>
de
cada u
na d
e la
s <
parte
s/>
”*
(*)Object-Oriented Software Construction, P
rentic
e H
all, 1
988.
En Pos de la C
ontratació
n Electró
nica
�e
bX
ML
�W
S-C
DL
�W
SLA
�W
S-A
gre
em
en
t
ebXML
http
://ww
w.e
bxm
l.org
WS-CDL
http
://ww
w.w
3.o
rg/T
R/2
004/W
D-w
s-c
dl-1
0-2
00412
17/
WSLA
A. K
elle
r, H. L
udw
ig . “T
he W
SLA
Fra
mew
ork
: Specify
ing a
nd M
onito
ring S
erv
ice L
evel A
gre
em
ents
for W
eb S
erv
ices”
Vol. 1
1. N
o. 1
. Journ
al o
f Netw
ork
and S
yste
ms M
anagem
ent. 2
003.
Acuerdos del Nivel de Servicio (SLAs)
�A
ccesib
ilidad
�U
sabilid
ad
�D
esem
peño
�O
pera
bilid
ad
�<
Otro
s_atrib
uto
s_de_serv
icio
>
WS-Agreem
ent
http
://ww
w.o
gf.o
rg/P
ublic
_C
om
ment_
Docs/D
ocum
ents
/Oct-2
006/
WS
-Agre
em
en
tSpecific
atio
nD
raftF
inal_
sp
_tn
_jp
ver_
v2.p
df
http
://ww
w.o
gf.o
rg/P
ublic
_C
om
ment_
Docs/D
ocum
ents
/Oct-2
006/
WS
-Agre
em
en
tSpecific
atio
nD
raftF
inal_
sp
_tn
_jp
ver_
v2.p
df
Flexib
ilidad “por Contrato
”
�C
onte
xto
.
�R
ole
s.
�O
blig
acio
nes.
�M
étric
as d
e Q
oS
.
�V
iola
cio
nes.
�P
enaliz
acio
nes / M
ecanis
mos d
e
recupera
ció
n.
¿Norm
ativa?
Normas
�“R
egla
o <
está
ndar_
de_com
porta
mie
nto
/>
com
partid
o p
or lo
s m
iem
bro
s d
e u
n g
rupo
socia
l”(E
ncyclo
ped
ia B
ritan
nic
a o
f So
cio
log
y).
�<
Regla
_auto
ritativ
a>
por la
cual s
e ju
zga a
lgo, y
sobre
esta
base s
e a
pru
eba o
no (C
olu
mb
ia
En
cyclo
ped
ia o
f Ph
iloso
ph
y) .
[COMMIT(i,j, d
eliver)]O
ij(deliver)
Normas. F
órmulas A
tómicas
�o
av(o
, a, v
): ag
en
teo
tien
eu
n a
tribu
toa
co
n v
alo
r v.
�a
tt(s, w
, I): Un
ag
en
tein
ten
tóo
pe
ració
nI
en
el
esta
do
wd
e la
escen
as.
�u
tt(s, w
, I): Ifu
ea
ce
pta
do
co
mo
un
ain
tera
cció
nle
ga
l en
el e
sta
do
wd
e s
.
�ctr(s
, w, ts
): la e
jecu
ció
nd
e la
esce
na
sa
lca
nzó
el
esta
do
we
n e
l insta
nte
de
tiem
po
ts.
�o
bl(s
, w, I): I
de
be
ten
er
lug
ar
en
wd
e s
.
�p
er(s
, w, I): I
está
pe
rmitid
oen
wd
e s
.
�p
rh(s
, w, I): I
está
pro
hib
ido
en w
de
s.
A.
Garc
ía,
J.
Rodríg
uez,
C.
Sie
rra,
W.
Vasconcelo
s.
“Constra
int
Rule
-base
d
Pro
gra
mm
ing o
f Norm
s fo
r Ele
ctro
nic
Institu
tions”. T
echnic
al R
eport R
R-IIIA
-2006
Normas. C
iencias C
omputacio
nales
�F
orm
aliz
ació
n d
e lo
s s
iste
mas
norm
ativ
os h
um
anos e
n
rep
rese
nta
cio
nes c
om
puta
cio
nale
s.
�In
corp
ora
ció
n d
e la
s n
orm
as e
n la
estru
ctu
ra d
e o
rganiz
acio
nes d
e fo
rma
tal q
ue la
s p
arte
s in
tera
ctu
ante
sope
ren
según la
s n
orm
as o
sean p
en
aliz
adas
cuando la
s v
iole
n.
Instituciones Electrónicas
Organizaciones Electrónicas
Modelo basado en Contrato
s.Requerimientos
�Id
entific
ar <
role
s/>
y <
com
po
ne
nte
s/>
involu
cra
dos.
�D
efin
ir form
alm
ente
el <
conte
nid
o/>
de
l
contra
to.
�D
ecla
rar lo
s p
osib
les <
esta
dos/>
del c
iclo
de v
ida d
e c
ada
contra
to.
�M
odela
r los <
esquem
as_de_in
tera
cció
n>
válid
os e
ntre
las p
arte
s in
volu
cra
das.
Modelo basado en Contrato
s. Funcionalidades
�N
eg
ocia
ció
n d
e c
on
trato
s.
�D
ise
ño
.
�E
n tie
mp
o d
e e
jecu
ció
n.
�C
on
trol d
e la
inte
racció
n e
ntre
las p
arte
s.
�P
olític
a d
e b
itáco
ras.
�A
cce
so
a in
terfa
z w
eb
.
�C
on
trol d
el fu
ncio
nam
ien
to d
el s
iste
ma
.�
Eva
lua
ció
n d
e m
étric
as d
e s
erv
icio
.
�A
plic
ació
n d
e p
en
aliz
acio
ne
s.
�F
ina
liza
ció
n d
e c
on
trato
s.
Processes
Monitoring
Vio
latio
n D
ete
ctio
n
Measure
me
nt
Deployment
Negotiation
Conditio
ns S
pecific
atio
n
Conditio
ns P
ropose
Sig
nin
g
Contract Context
Gua
rante
es
Metric
s &
Measure
ment A
lgo
rithm
s
Events
Executio
n a
ctiv
ities
Conditio
ns
Pro
positio
ns
Agre
eem
ent
Rela
ted C
ontra
cts
Contra
ct b
asic
s d
efin
ition
Monito
ring a
ctiv
ities
Ajustes P
ropuestos
�La in
tegra
ció
n d
e la
s p
ropuesta
s e
xis
tente
s
para
la c
onfo
rmació
n d
e u
n
<le
nguaje
_fo
rmal/>
de c
ontra
tació
n
ele
ctró
nic
a.
�La c
ate
goriz
ació
n d
e lo
s
<tip
os_de_m
ensaje
s/>
en p
os d
e fa
cilita
r el
pro
cesam
iento
de lo
s m
ism
os.
�La d
efin
ició
n d
e u
na <
onto
logía
/>e
n p
os d
e
una d
escrip
ció
n s
em
ántic
a m
ás c
om
ple
ta d
el
dom
inio
de a
plic
ació
n.
Aplicació
n basada en Contrato
s. Arquitectu
ra.
INSTITUTION
Web S
erv
ice
Arc
hite
ctu
re
ONTOLOGYC
om
mun
icativ
eA
cts
Work
flow
Agre
em
ents
Norm
s
SLA. Ejemplo
<wsla:ServiceLevelObjective
name="SLOTiempoRespuestaReconfirmacion">
<wsla:Obliged>recNotario</wsla:Obliged>
<wsla:Validity>
<wsla:Start>2006-05-07T00:00:00</wsla:Start>
<wsla:End>2007-05-08T00:00:00</wsla:End>
</wsla:Validity>
<wsla:Expression>
<wsla:Predicatexsi:type="wsla:LessEqual">
<wsla:SLAParameter>
TiempoRespuestaReconfirmacion
</wsla:SLAParameter>
<wsla:Value>10</wsla:Value>
</wsla:Predicate>
</wsla:Expression>
<wsla:EvaluationEvent>NewValue</wsla:EvaluationEvent>
</wsla:ServiceLevelObjective>
Ejemplo de Aplicació
n
Ventajas. G
estión Global
�R
educe la
<in
certid
um
bre
/>sobre
el
com
porta
mie
nto
de lo
s c
om
ponente
s d
el
sis
tem
a.
�R
educe la
incom
pre
nsió
n d
e lo
s
<esquem
as_de_in
tera
cció
n>
.
�P
erm
ite <
infe
rir/>la
s im
plic
acio
nes d
e u
na
inte
racció
n.
�S
implific
a lo
s p
rocesos re
lacio
nados c
on la
<to
ma_de_decis
ión/>
.
Reflexió
n
Cuan
to m
ás s
encilla
s, n
atu
rale
s e
invis
ible
s s
e p
resenta
n la
s
tecnolo
gía
s a
los u
sua
rios, ta
nto
más
fácil e
s s
u a
sim
ilació
n p
or to
das la
s
escala
s s
ocia
les, p
ero
tanto
más
com
plic
adas s
e v
uelv
en la
s
infra
estru
ctu
ras d
e fo
ndo q
ue le
s
deben
pro
porc
ionar s
op
orte
Conclusiones
�U
so d
e <
contra
tos/>
com
o
especific
ació
n a
<niv
el g
lob
al/>
de
los flu
jos d
e tra
bajo
que c
om
ponen
una a
plic
ació
n d
istrib
uid
a.
�E
l mejo
ram
iento
de lo
s s
erv
icio
s
pro
veíd
os e
n u
n <
conte
xto
/>dado,
según la
<Q
oS
/> q
ue s
e p
rovee.
¿Salien
do de la E
ra del
Imperio?...
¡Gra
cia
s A
lfon
so
!