masterThesis
Uma disciplina de análise e projeto para aplicações concorrentes, baseada no RUP
Registro en:
Godoi de Albuquerque Maranhão, Robson; Cezar Alves Sampaio, Augusto. Uma disciplina de análise e projeto para aplicações concorrentes, baseada no RUP. 2005. Dissertação (Mestrado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2005.
Autor
Godoi de Albuquerque Maranhão, Robson
Institución
Resumen
O desenvolvimento crescente de sistemas concorrentes e de tempo real vem
provocando uma evolução nos conceitos e paradigmas da Engenharia de Software.
Recentemente, entre outras abordagens, destacamos o surgimento de UML-RT,
visando adaptar e estender as estruturas já consagradas de UML para os conceitos
de concorrência e tempo real. Complementarmente, já existem modelos teóricos de
concorrência e tempo real bem consolidados, como álgebra de processos, que
contam com estratégias e ferramentas de validação, verificação e transformação de
modelos. Por outro lado, processos de software bem definidos, que integrem
estratégias formais de análise com orientações menos formais (mas sistemáticas) de
desenvolvimento, são, ainda, negligenciados.
O Rational Unified Process (RUP), um dos processos de desenvolvimento de
software mais extensivamente usado e aceito, introduziu vários conceitos e
orientações que objetivam sistematizar o desenvolvimento com UML-RT; no entanto,
vários aspectos importantes e críticos de aplicações concorrentes, como a
transformação de uma classe de análise (passiva) em uma classe ativa (cápsula ou
processo), com um fluxo de execução independente, são tratados de forma
superficial e informal; outros exemplos são a decomposição de cápsulas e a análise
de uma aplicação com relação a propriedades clássicas de concorrência (como
ausência de deadlock) ou específicas do negócio. As orientações fornecidas pelo
RUP parecem sugerir que é simples garantir estes resultados, quando, na verdade,
requerem grande atenção e conhecimento do desenvolvedor.
O foco deste trabalho é a adaptação e extensão de uma das disciplinas mais
afetadas do RUP, Análise e Projeto, a fim de integrar de forma mais detalhada e
rigorosa os conceitos e implicações do desenvolvimento de aplicação concorrentes
ao processo, incluindo a aplicação de leis de transformação de modelos, sugeridas
em estratégias formais de desenvolvimento. A grosso modo, o objetivo pode ser
resumido à adaptação do RUP ao paradigma de desenvolvimento baseado em
modelos (MDE, Model Driven software Engineering). Apesar do foco em Análise e
Projeto, outras disciplinas e fases são também revisadas.
A proposta é validada através de sua aplicação a um estudo de caso sobre o
projeto de um Sistema Automático de Produção SAP (Automatic Manufacturing
System AMS), inicialmente explorado em [18]