titulo

MPPI: um modelo de procedência para subsidiar processos de integração
Bruno Tomazela

SERVIÇO DE PÓS-GRADUAÇÃO DO ICMC-USP

Data de Depósito: 15.01.2010
Assinatura:

MPPI: um modelo de procedência para subsidiar processos de integração

Bruno Tomazela

Orientadora: Profª Drª Cristina Dutra de Aguiar Ciferri

Dissertação apresentada ao Instituto de Ciências Matemáticas e de Computação - ICMC-USP, como parte dos requisitos para obtenção do título de Mestre em Ciências - Ciências de
Computação e Matemática Computacional.

USP – São Carlos
Janeiro/2010

❆❣r❛❞❡❝✐♠❡♥t♦s
❆♦s ♠❡✉s ♣❛✐s✱ ❱❛❧t❡r ❡ ❉✐✈❛✱ ❛♦ ♠❡✉ ✐r♠ã♦ ●✐✉❧✐❛♥♦ ❡ à s✉❛ ❡s♣♦s❛ ▲✉❛♥❛✱ ♣❡❧♦ s✉♣♦rt❡
❡ ✐♥❝❡♥t✐✈♦ ✐♥❝♦♥❞✐❝✐♦♥❛✐s✳

➚ ♠✐♥❤❛ ♦r✐❡♥t❛❞♦r❛ ❈r✐st✐♥❛ ❉✳ ❆✳ ❈✐❢❡rr✐✱ ♣❡❧♦ ❡♠♣❡♥❤♦ ❡ ❞❡❞✐çã♦ ❞❡s♣❡♥❞✐❞♦s s❡♠♣r❡
❝♦♠ ♠✉✐t♦ ❜♦❛ ✈♦♥t❛❞❡❀ ❛❧é♠ ❞❡ s✉❛ ✐♥❡st✐♠á✈❡❧ ❛♠✐③❛❞❡✳

❆♦ ♣r♦❢❡ss♦r ❘✐❝❛r❞♦ ❘✳ ❈✐❢❡rr✐ ♣❡❧♦ ❛❝♦♠♣❛♥❤❛♠❡♥t♦ ❞♦ tr❛❜❛❧❤♦✱ s❡✉s ❝♦♥s❡❧❤♦s ❡ s✉❣❡stõ❡s✳ ❆♦s ♣r♦❢❡ss♦r❡s ❈❛❡t❛♥♦ ❚r❛✐♥❛ ❏r ❡ ❆❣♠❛ ❏✳ ▼✳ ❚r❛✐♥❛ ♣❡❧❛ ❡①♣❡r✐ê♥❝✐❛ ❝♦♠♣❛rt✐❧❤❛❞❛✳

❆ t♦❞♦s ♦s r❡s♣♦♥sá✈❡✐s ♣❡❧♦ Pr♦❥❡t♦ ❯r❛♥♦✱ ♦ q✉❛❧ ❣❡r♦✉ ❛ ♠♦t✐✈❛çã♦ ❞❡st❡ tr❛❜❛❧❤♦✳

❆♦ ■❈▼❈ ❡ ❛♦ ●❇❞■✱ ♣❡❧❛ ❡str✉t✉r❛ ❢♦r♥❡❝✐❞❛✳

❆♦ ❈◆Pq✱ ♣❡❧♦ ❛♣♦✐♦ ✜♥❛♥❝❡✐r♦✳

❆ t♦❞♦s ❛q✉❡❧❡s q✉❡ ❞✐r❡t❛ ♦✉ ✐♥❞✐r❡t❛♠❡♥t❡ ❝♦♥tr✐❜✉ír❛♠ ♣❛r❛ ❛ r❡❛❧✐③❛çã♦ ❞❡st❡ tr❛❜❛❧❤♦✱ ❡♠ ❡s♣❡❝✐❛❧ ❛♦s ❝♦♠♣❛♥❤❡✐r♦s ❞❡ r❡♣ú❜❧✐❝❛ ❡ ❞❡ ❧❛❜♦r❛tór✐♦✳

✐

✐✐

❘❡s✉♠♦
❆ ♣r♦❝❡❞ê♥❝✐❛ ❞♦s ❞❛❞♦s ❝♦♥s✐st❡ ♥♦ ❝♦♥❥✉♥t♦ ❞❡ ♠❡t❛❞❛❞♦s q✉❡ ♣♦ss✐❜✐❧✐t❛ ✐❞❡♥t✐✜❝❛r ❛s
❢♦♥t❡s ❡ ♦s ♣r♦❝❡ss♦s ❞❡ tr❛♥s❢♦r♠❛çã♦ ❛♣❧✐❝❛❞♦s ❛♦s ❞❛❞♦s✱ ❞❡s❞❡ ❛ ❝r✐❛çã♦ ❛té ♦ ❡st❛❞♦
❛t✉❛❧ ❞❡ss❡s ❞❛❞♦s✳

❊①✐st❡♠ ❞✐✈❡rs❛s ♠♦t✐✈❛çõ❡s ♣❛r❛ s❡ ✐♥❝♦r♣♦r❛r ❛ ♣r♦❝❡❞ê♥❝✐❛ ❛♦

♣r♦❝❡ss♦ ❞❡ ✐♥t❡❣r❛çã♦✱ t❛✐s ❝♦♠♦ ❛✈❛❧✐❛r ❛ q✉❛❧✐❞❛❞❡ ❞♦s ❞❛❞♦s ❞❛s ❢♦♥t❡s ❤❡t❡r♦❣ê♥❡❛s✱ r❡❛❧✐③❛r ♣r♦❝❡ss♦s ❞❡

❛✉❞✐t♦r✐❛ ❞♦s ❞❛❞♦s ❡ ❞❡ ❛tr✐❜✉✐çã♦ ❞❡ ❛✉t♦r✐❛ ❛♦s ♣r♦♣r✐❡tár✐♦s ❞♦s

❞❛❞♦s ❡ r❡♣r♦❞✉③✐r ❞❡❝✐sõ❡s ❞❡ ✐♥t❡❣r❛çã♦✳
◆❡st❛ ❞✐ss❡rt❛çã♦ é ♣r♦♣♦st♦ ♦ ▼PP■✱ ✉♠

♣r♦❝❡ss♦s ❞❡ ✐♥t❡❣r❛çã♦✳

♠♦❞❡❧♦

❞❡

♣r♦❝❡❞ê♥❝✐❛