Uma disciplina de análise e projeto para aplicações concorrentes, baseada no RUP

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