DSpace
 
  Repositório Institucional da Universidade de Aveiro > Departamento de Electrónica, Telecomunicações e Informática > DETI - Teses de doutoramento >
 Metodologias e mecanismos para linguagens de programação concorrente orientadas por objectos
Please use this identifier to cite or link to this item http://hdl.handle.net/10773/2213

title: Metodologias e mecanismos para linguagens de programação concorrente orientadas por objectos
authors: Silva, Miguel Augusto Mendes Oliveira e
advisors: Rafael, José Alberto
keywords: Engenharia informática
Programação de computadores
Programação paralela
Linguagens de programação
issue date: 2007
publisher: Universidade de Aveiro
abstract: Esta tese faz uma aproxima¸c˜ao sistem´atica `a integra¸c˜ao de mecanismos de programa¸c˜ao concorrente em linguagens orientadas por objectos com suporte `a programa¸c˜ao por contrato e sistema de tipos est´atico. Nessa integra¸c˜ao deu-se prioridade `a expressividade, seguran¸ca, abstrac¸c˜ao e realizabilidade dos mecanismos propostos. ´E sustentado que essa integra¸c˜ao deve possuir ambos os modelos de comunica¸c˜ao entre processadores – por mensagens e partilha de objectos – e que a sincroniza¸c˜ao seja autom´atica e abstracta. Todos os aspectos de sincroniza¸c˜ao de objectos – intra-objecto, condicional e inter-objecto – s˜ao contemplados e integrados de uma forma segura e sin´ergica com mecanismos de linguagens sequenciais orientadas por objectos. ´E proposta e parcialmente desenvolvida uma linguagem prot´otipo – denominada MP-Eiffel – onde estes mecanismos e abstrac¸c˜oes est˜ao a ser validados experimentalmente. ABSTRACT: This thesis makes a systematic approach to the integration of concurrent programming mechanisms in Design by Contract and static type system based object-oriented languages. In this integration priority was given to the expressiveness, safety, abstraction and realizability of the proposed language mechanisms. We argue that this integration should provide both models of inter-processor communication – message passing and shared objects – and that synchronization should be automatic and abstract. All aspects of object synchronization – intra-object, conditional, and inter-object – were considered and integrated in a safe and synergic way with sequential object-oriented language mechanisms. We propose and partially develop a prototype language – named MP-Eiffel – in which these mechanisms and language abstractions are being validated.
description: Doutoramento em Engenharia Informática
URI: http://hdl.handle.net/10773/2213
appears in collectionsUA - Teses de doutoramento
DETI - Teses de doutoramento

files in this item

file description sizeformat
2008001176.pdf1.47 MBAdobe PDFview/open
statistics

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! RCAAP OpenAIRE DeGóis
ria-repositorio@ua.pt - Copyright ©   Universidade de Aveiro - RIA Statistics - Powered by MIT's DSpace software, Version 1.6.2