Made available in DSpace on 2014-06-12T16:01:13Z (GMT). No. of bitstreams: 2
arquivo7234_1.pdf: 3108647 bytes, checksum: 005c566b9ea912b4246e213ae0704e2f (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2005 / 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]
| Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufpe.br:123456789/2793 |
| Date | January 2005 |
| Creators | Godoi de Albuquerque Maranhão, Robson |
| Contributors | Cezar Alves Sampaio, Augusto |
| Publisher | Universidade Federal de Pernambuco |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Source | reponame:Repositório Institucional da UFPE, instname:Universidade Federal de Pernambuco, instacron:UFPE |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0143 seconds