文档介绍：UNIVERSIDADE ICA´ DE LISBOA
INSTITUTO SUPERIOR ICO´
Concurrent Object-Oriented Programming:
Separation position of Concerns
using Design Patterns, Pattern Languages, and
Object-Oriented Frameworks
Antonio´ Manuel Ferreira Rito da Silva
Dissertation for the degree of Doctor of Philosophy in
Informatics puter Engineering
March 1999
(This document contains the English translation of the thesis that was originally written in
Portuguese. I apologize if some sentences are harder to understand. Do not hesitate to send me
an e-mail. I’ll be grateful.
Antonio´ Rito Silva (@) )
Adviser
Prof. Doutor Pedro Manuel Moreira Vaz Antunes de Sousa
Professor Auxiliar do Departamento de Engenharia Informatica´ do Instituto Superior
ico´ da Universidade ica´ de Lisboa.
co-adviser
Prof. Doutor Jose´ Manuel da Costa Alves Marques
Professor Catedratico´ do Departamento de Engenharia Informatica´ do Instituto
Superior ico´ da Universidade ica´ de Lisboa.
Resumo
O desenvolvimento de programas objectos, na perspectiva da
engenharia de software, deve possuir um conjunto de qualidades que permitam con-
trolar as plexidades o o nao-determinismo.˜
Esta dissertac¸ao˜ a definic¸ao˜ de uma abordagem para a construc¸ao˜
de programas objectos, alicerc¸ada na estrategia´ de dividir para con-
quistar, em que as facetas funcionais e nao-funcionais˜ dos programas concorrentes
sao˜ tratadas separadamente. A abordagem define padroes˜ de desenho para tresˆ fac-
etas nao-funcionais˜- Objecto Concorrente, Objecto Sincronizado e Objecto Recuperavel´ - e
padroes˜ composic¸ao˜ para binac¸oes˜ de facetas - Objecto Concorrente Sincroniza-
do, Objecto Sincronizado Recuperavel´ e Objecto Concorrente Sincronizado Recuperavel´ . Os
padroes˜ de desenho e posic¸oes˜ sao˜ integrados num processo de desen-
volvimento incremental de programas concorrentes, descrito por uma linguagem de
padroes,˜ em que a introduc¸ao˜ de nao-determinismo˜ e´ retardada