MCuLLACLM CCnCLl1uAL uL

SlS1LMAS uL lnlC8MAC
lnLroduo
rof Lber
ConcelLos
W Modelo ConcelLual de SlsLemas de lnformao
Modelo
ConcelLual
SlsLema de lnformao
Modelo
W Modelo represenLao (de algo)
algo (aspecLos) de um seLor de realldade
ob[eLlvo(s)
absLrao
nfases
SlsLema de lnformao erspecLlvas
W ConLrlbulo ao slsLema envolLrlo"
W (C8 CuL?)
W LsLruLura e comporLamenLo
W (CCMC?)
W lunes
W (C CuL?)
SlsLema de lnformao uomlnlo
W rea ou seLor da realldade onde se lnscreve o
Sl o slsLema envolLrlo"
W A lnformao de que LraLa o Sl referese a
(descreve) um Jomlolo Lambem chamado
slstemo objeto ou oolvetso Je Jlscotso
W C domlnlo e usualmenLe uma organlzao
W Cs domlnlos Lm uma dlnmlca que pode ser
descrlLa por uma sucesso de esLados
SlsLema de lnformao deflnlo
(funclonal pressupe um domlnlo)
W Memrio manLer uma represenLao do
esLado do domlnlo
W rmotivo prover lnformao sobre o
esLado do domlnlo
W tivo execuLar aes que mudam o esLado do
domlnlo
roblema e ressuposLo bslco
W prob|ema Como represenLar (modelar
descrever) o esLado de um domlnlo?
W pressuposto bs|co das "teor|as" sobre SI um
domlnlo conslsLe de (vrlos) ob[eLos (ou
colsas ou enLldades) e de seus
relaclonamenLos os quals (ob[eLos e
relaclonamenLos) classlflcamse em concelLos
A Soluo
W o esLado de um domlnlo (num dado
momenLo) conslsLe de um con[unLo de
ob[eLos um con[unLo de relaclonamenLos e
um con[unLo de concelLos nos quals se
classlflcam os ob[eLos e relaclonamenLos
W o con[unLo de concelLos e chamado de
modelo concelLual (1
a
verso) mals
proprlamenLe modelo esLruLural parLe
esLruLural do modelo concelLual
ConcelLo deflnles
W uef de concelLo
uma ldela absLraLa ou generlca generallzada a
parLlr de lnsLnclas parLlculares
uma ldela ou quadro menLal de um grupo ou
classe de ob[eLos formado pela comblnao de
Lodos seus aspecLos (proprledades)
ConcelLo deflnles
W uef de um concelLo
lnLenso con[unLo de proprledades
exLenso con[unLo de lnsLnclas (posslvels)
W Lxemplo numero ar
lnLenso x | Z n e x 2
exLenso 2 4 6 8 10
ConcelLo operaes
W as operaes mapelam o mundo real no
mundo dos concelLos e vlceversa
W a operao de c|ass|f|cao assocla um ob[eLo
ao seu concelLo
W a operao de |nstanc|ao (lnversa da
classlflcao) lnsLancla (ou exempllflca) um
concelLo assocla um concelLo a uma lnsLncla
Modelo ConcelLual (LsLruLural)
W o esLado de um domlnlo (num dado
momenLo) conslsLe de um con[unLo de
ob[eLos um con[unLo de relaclonamenLos e
um con[unLo de concelLos nos quals se
classlflcam os ob[eLos e relaclonamenLos
W o con[unLo de concelLos e chamado de
modelo concelLual (1
a
verso) mals
proprlamenLe modelo esLruLural parLe
esLruLural do modelo concelLual
Modelo ConcelLual exemplos
W domlnlo vldeolocadora
colsos cllenLe uvu teloclooomeoto aluguel
W domlnlo blblloLeca
colsos llvro lelLor teloclooomeoto empresLlmo
W domlnlo esLa sala
colsos professor aluno teloclooomeoto aula
Modelagem ConcelLual llnguagens
W LC (lCL) lglca de prlmelra ordem
W uML unlfled modellng language
Modelo LsLruLural elemenLos
W 1lpo de LnLldade
W 1lpo de 8elaclonamenLo
ALrlbuLos e um Llpo de relaclonamenLo
1lpo de LnLldade
W um Llpo de enLldade e um concelLo cu[as lnsLnclas
so ob[eLos lndlvlduals e ldenLlflcvels LsLes ob[eLos
so chamados enLldades
W em LC Llpos de enLldade so represenLados por
predlcados unrlos
W em uML Llpos de enLldades so represenLados por
reLngulos
1lpo de 8elaclonamenLo
W concelLos assoclaLlvos suas lnsLnclas relaclonamse
a duas ou mals enLldades
W um Llpo de relaclonamenLo e um concelLo
(assoclaLlvo) cu[as lnsLnclas so relaclonamenLos
W em LC Llpos de relaclonamenLos nrlos so
represenLados por predlcados nrlos
W em uML Llpos de relaclonamenLo blnrlos so
represenLados por uma llnha conecLando as duas
enLldades
ConcelLos e lnsLnclas
Conceito Pessoa Livro L
Entidade/
Relacionamento
instncia de
Modelo LsLruLural
epresentao em LC
essoa (_)
Llvro (_)
L (_ essoa _ Llvro )
Pessoa
Livro
L
Representao em UML
Modelo LsLruLural
!essoa
ome
dade
Endereo
CPF
Livro
Ttulo
Autor
Edio
SB
L
Representao em UML
Modelo LsLruLural
W o con[unLo dos Llpos de enLldades e
relaclonamenLos usados para represenLar o
esLado de um domlnlo e chamado modelo
concelLual do esLado ou mode|o estrutura|
W modelo concelLual (2
a
verso)
modelo esLruLural +
modelo comporLamenLal
ase de lnformao (ou Memrla)
W eii represenLao das enLldades e
relaclonamenLos do domlnlo e suas classlflcaes em
Llpos de enLldade e relaclonamenLo (a l e a
represenLao do esLado do domlnlo)
W a classlflcao de uma enLldade (ou relaclonamenLo)
em um Llpo de enLldade (ou de relaclonamenLo) e
chamada um ot
W a base de lnformao conLem os faLos sobre o
domlnlo
ase de lnformao (em LC)
W enLldades so represenLadas por consLanLes
W faLos so represenLados por frmulas
W Llpos de enLldade so represenLados por
predlcados unrlos
W Llpos de relaclonamenLo nrlo so
represenLados por predlcados nrlos
ase de lnformao (em LC)
W se[a um modelo com dols Llpos de enLldade essoa e L|vro e
um Llpo de relaclonamenLo L respecLlvamenLe assoclados
aos predlcados essoa() L|vro() e L()
W suponha que o domlnlo conLenha uma pessoa e um llvro e
que a pessoa esLe[a lendo o llvro
W A base de lnformao conLer
uma consLanLe A represenLando a pessoa
uma consLanLe represenLando o llvro
o faLo essoa (A) represenLando que A e uma essoa
o faLo Llvro () represenLando que e um Llvro
o faLo L (A ) represenLando que a pessoa A l o llvro
Modelo ComporLamenLal
W evenLo
W esLado
Modelo ComporLamenLal
W modela a dlnmlca do domlnlo
evenLos exLernos (causa da mudana no domlnlo)
mudanas de esLado (efelLo do evenLo na memrla do
domlnlo)
W evenLos requlslo de ao
especlflca as aes que o slsLema pode execuLar em
resposLa aos evenLos exLernos
W evenLos de domlnlo
especlflca as mudanas vlldas no esLado do domlnlo
LvenLos de domlnlo
W LvenLo esLruLural mudana elemenLar na populao
de um Llpo de enLldade ou relaclonamenLo
W 1lpos de evenLo esLruLural
depende da llnguagem
em LC lnsero e remoo de faLos
W um Lu e uma sequncla de evenLos esLruLurals
W um Lu e uma mudana de esLado perceblda como
vllda no domlnlo (Lransao)
LvenLos de domlnlo exemplo
W Lransferncla enLre conLas
suponha que saldos bancrlos esLe[am represenLados na l
pelo predlcado Saldo e que
W Saldo (ConLa1 CuanLla1)
W Saldo (ConLa2 CuanLla2)
a Lransferncla da quanLla M de ConLa1 para ConLa2
efeLlvase pelos segulnLes evenLos esLruLurals
W remoo de Saldo (ConLa1 CuanLla1)
W remoo de Saldo (ConLa2 CuanLla2)
W lnsero de Saldo (ConLa1 CuanLla1 M)
W lnsero de Saldo (ConLa2 CuanLla2 + M)
LvenLos 8equlslo de Ao
W expllclLos
exLernos (lnlclados por usurlo)
W noLlflcao de evenLo de domlnlo
W querles
lnduzldos (lnlclados por ouLra ao)
W Lemporals (lnlclados pela passagem do Lempo)
W gerados (lnlclados por alguma condlo)
1lpos de LvenLo
W evenLos (asslm como enLldades e
relaclonamenLos) so lnsLnclas do concelLo
t|po de evento
W aquele evenLo de Lransferncla enLre as
conLas ConLa1 e ConLa2 e uma lnsLncla do
Llpo de evenLo Lransferncla enLre conLas
W Lodo evenLo Lem um relaclonamenLo com a
enLldade lnsLanLe de Lempo
8esLrles de lnLegrldade
W uma l e uma represenLao do esLado de um
domlnlo (memrla) A l conLem os faLos do
domlnlo
W lnLegrldade valldade + CompleLude
W valldade
faLos verdadelros
W CompleLude
Lodos os faLos relevanLes
8esLrles de lnLegrldade
W condles que a l deve obedecer e que
podem ser verlflcadas (lmposLas)
auLomaLlcamenLe
W Lxemplos
um exemplar no pode esLar empresLado a mals de um
lelLor
o mxlmo de empresLlmos para um lelLor so 3 llvros
e prolbldo empresLar a lelLores em aLraso
a ldade do lelLor deve ser lnferlor a 120 anos
8egras de uerlvao
W expresses que deflnem como novos faLos
podem ser lnferldos a parLlr de ouLros
frmulas lglcas
frmulas maLemLlcas (esLaLlsLlcas)
algorlLmos
8egras de uerlvao exemplo
W def lglca
x e av (ou av) de y se exlsLe z Lal que x e pal (ou me) de
z e z e pal (ou me) de y
W deLermlnao algorlLmlca
1 usque os dols pals (pal e me) z1 e z2 de y
2 usque os dols pals x1 e x2 de z1
3 usque os dols pals x3 e x4 de z2
4 Cs avs (avs e avs) de y so x1 x2 x3 e x4
Modelo ConcelLual
%vetso flool)
W Modelo LsLruLural
W Modelo ComporLamenLal
W 8esLrles de lnLegrldade
W 8egras de uerlvao