Modelagem Conceitual
de
Sistemas de Informação
Introdução
Prof. Eber
Perspectivas de um SI

Contribuição ao sistema “envoltório”


Estrutura e comportamento


(POR QUE?)
(COMO?)
Funções

(O QUE?)
Domínio
Área ou setor da realidade onde se
inscreve o SI.
 A informação de que trata o SI é chamado
sistema objeto ou universo de discurso
 O domínio é usualmente uma organização
 Os domínios têm uma dinâmica que pode
ser descrita por uma sucessão de estados

Definição - Funções
Memória: manter uma representação do
estado do domínio
 Informativa: prover informação sobre o
estado do domínio
 Ativa: executar ações que mudam o
estado do domínio

Modelagem Conceitual

Como representar (modelar, descrever) o
estado de um domínio?

pressuposto (fundamental): um domínio
consiste de (vários) objetos (ou coisas, ou
entidades) e dos relacionamentos entre
eles, os quais (objetos e relacionamentos)
são classificados em conceitos.
Modelagem Conceitual
o estado de um domínio (num dado
momento) consiste de um conjunto de
objetos, um conjunto de relacionamentos
e um conjunto de conceitos nos quais os
objetos e relacionamentos são
classificados
 o conjunto de conceitos é chamado de
modelo (ou esquema) conceitual (1a
versão)

Conceito: definições

Def. de conceito
 uma
idéia abstrata ou genérica generalizada
a partir de instâncias particulares
 uma idéia ou quadro mental de um grupo ou
classe de objetos formado pela combinação
de todos seus aspectos (propriedades)
Conceito: definições

Def. de um conceito
 intensão:
conjunto de propriedades
 extensão: conjunto de instâncias (possíveis)

Exemplo: Número Par
{x |  k  N e x = 2k}
 extensão: {2, 4, 6, 8, 10, … }
 intensão:
Conceito: operações
as operações mapeiam o mundo real no
mundo dos conceitos e vice-versa
 Classificação: associa um objeto ao seu
conceito
 Instanciação: associa um conceito a uma
instância

Conceitos: teorias
clássica (ou definicional)
 baseadas em similaridade

 conceitos
prototípicos
 conceitos baseados em exemplares
Conceitos Definicionais
Definido pelo conjunto de propriedades
necessárias e suficientes
 um objeto é instância de um conceito se
tem todas as propriedades
 Exemplo: triângulo (figura geométrica de três lados),
casa (construção (building), lugar onde as pessoas moram,

localização geográfica fixa, tem um proprietário, etc)
Projeto (design) de Conceitos




conceitos “naturais”: instâncias são objetos
familiares. Ex.: árvore, cachorro, temperatura
problema: conceitos naturais existentes não são
suficientes para um dado domínio.
solução: inventar conceitos ou refinar definições
existentes.
Ex.: leasing, cliente (customer), projeto (project)
Modelagem Conceitual: exemplos

domínio videolocadora
 coisas:

cliente, DVD; relacionamento: aluguel
domínio biblioteca
 coisas:
livro, leitor; relacionamento:
empréstimo

domínio esta sala
 coisas:
professor, aluno; relacionamento: aula
Modelagem Conceitual: linguagens

LPO (FOL): lógica de primeira ordem

UML&OCL: Unified Modeling
Language&Object Constraint Language

Alloy
Tipo de Entidade



Tipo de entidade: conceito cujas instâncias são
objetos individuais e identificáveis (entidades) .
LPO: tipos de entidade são representados por
predicados unários.
UML: tipos de entidades são representados por
retângulos
Tipo de Relacionamento




Conceitos associativos: instâncias relacionamse a duas ou mais entidades
Tipo de relacionamento: conceito (associativo)
cujas instâncias são relacionamentos
LPO: tipos de relacionamentos n-ários são
representados por predicados n-ários.
UML tipos de relacionamento binários são
representados por uma linha conectando as
duas entidades
Conceitos e Instâncias
Conceito
instância de
Entidade/
Relacionamento
Pessoa
Lê
Livro
Modelo Conceitual
Representação em UML
Lê
Pessoa
Representação em LPO
Pessoa (_)
Livro (_)
Lê (_: Pessoa ,_: Livro )
Livro
Modelo Estrutural
Modelo estrutural: conjunto dos tipos de
entidades e relacionamentos usados para
representar o estado de um domínio.
 Modelo conceitual (2a versão) =

 modelo
estrutural +
 modelo comportamental
Base de Informação (BI)




BI: representação das entidades e
relacionamentos do domínio e suas
classificações em tipos de entidade e
relacionamento
BI: é a representação do estado do domínio
Fato: classificação de uma entidade
(relacionamento) em um tipo de entidade
(relacionamento)
BI:contem os fatos sobre o domínio.
Base de Informação (em LPO)
entidades são representadas por
constantes
 fatos são representados por fórmulas
 tipos de entidade são representados por
predicados unários
 tipos de relacionamento n-ário são
representados por predicados n-ários.

Base de Informação (em LPO)



seja um modelo com dois tipos de entidade Pessoa e
Livro e um tipo de relacionamento Lê, respectivamente
associados aos predicados Pessoa(), Livro() e Lê().
suponha que o domínio contenha uma pessoa e um
livro, e que a pessoa esteja lendo o livro.
A base de informação conterá:





uma constante A representando a pessoa
uma constante B representando o livro
o fato Pessoa (A) representando que A é uma Pessoa
o fato Livro (B) representando que B é um Livro
o fato Lê (A, B) representando que a pessoa A lê o livro B
Modelo Comportamental (MC)

MC: modela a dinâmica do domínio
 eventos
externos: causam mudança no estado do
domínio

Eventos de Domínio (ED):
 mudanças

válidas no estado do domínio
Eventos Requisição de Ação (ERA):
 Solicitações
de ações que ao SI
Eventos de Domínio


Evento estrutural: mudança elementar na
população de um tipo de entidade ou
relacionamento.
Tipos de evento estrutural
 depende
da linguagem
 em LPO: inserção e remoção de fatos


ED: é um conjunto eventos estruturais
ED: mudança de estado percebida como válida
no domínio (transação)
Eventos de domínio: exemplo

transferência entre contas
 suponha
que saldos bancários estejam
representados na BI pelo predicado Saldo e que:


Saldo (Conta1, Quantia1)
Saldo (Conta2, Quantia2)
a
transferência da quantia M de Conta1 para Conta2
efetiva-se pelos seguintes eventos estruturais:




remoção de Saldo (Conta1, Quantia1)
remoção de Saldo (Conta2, Quantia2)
inserção de Saldo (Conta1, Quantia1 - M)
inserção de Saldo (Conta2, Quantia2 + M)
Eventos Requisição de Ação

explícitos
 externos
(iniciados por usuário)
notificação de evento de domínio
 queries

 induzidos
(iniciados por outra ação)
temporais (iniciados pela passagem do
tempo)
 gerados (iniciados por alguma condição)

Tipos de Evento
eventos (assim como entidades e
relacionamentos) são instâncias de
conceitos: tipo de evento.
 aquele evento de transferência entre as
contas Conta1 e Conta2 é uma instância
do tipo de evento transferência entre
contas.
 todo evento tem um relacionamento com a
entidade instante de tempo

Restrições de Integridade
BI: representação do estado de um
domínio (memória).
 Integridade = Validade + Completude
 Validade

 fatos

verdadeiros
Completude
 todos
os fatos relevantes
Restrições de Integridade (RI)
RI: condições que a BI deve obedecer e
que podem ser verificadas (impostas)
automaticamente.
 Exemplos

 um
exemplar não pode estar emprestado a mais de
um leitor.
 o máximo de empréstimos para um leitor são 5 livros
 é proibido emprestar a leitores em atraso
 a idade do leitor deve ser inferior a 120 anos
Regras de Derivação

expressões que definem como novos
fatos podem ser inferidos a partir de
outros
 fórmulas
lógicas
 fórmulas matemáticas (estatísticas)
 algoritmos
Regras de Derivação - exemplo

def. lógica
x
é avô (ou avó) de y se existe z tal que x é pai (ou
mãe) de z e z é pai (ou mãe) de y.

determinação algorítmica
 1.
Busque os dois pais (pai e mãe) z1 e z2 de y.
 2. Busque os dois pais x1 e x2 de z1.
 3. Busque os dois pais x3 e x4 de z2.
 4. Os avós (avôs e avós) de y são x1, x2, x3, e x4.
Modelo Conceitual
(versão final)
Modelo Estrutural
 Modelo Comportamental
 Restrições de Integridade
 Regras de Derivação

Qualidades de um MC






completo
correto (válido)
entendível
simples
princípio da conceitualização (independente de
projeto, livre de tecnologia)
estabilidade (flexibilidade)
Download

Slides Aula 1