Escolar Documentos
Profissional Documentos
Cultura Documentos
Belm, 2004
Sumrio
1 INTRODUO ................................................................................................3
2 TECNOLOGIA DE PROCESSO DE SOFTWARE ................................................5
2.1
2.2
2.3
2.4
3.2
3.3
3.3.1
SPELL....................................................................................................... 24
3.3.2
E3 ................................................................................................................... 26
3.3.3
SLANG ..................................................................................................... 29
3.3.4
TEMPO ..................................................................................................... 32
3.3.5
LOTOS-SPD ............................................................................................. 33
3.3.6
JIL ............................................................................................................. 37
3.4
RUP Builder...................................................................................................... 41
4.2
SPEARMINT.................................................................................................... 45
4.3
APSEE .............................................................................................................. 46
5 CONCLUSES ..............................................................................................48
1. BIBLIOGRAFIA ............................................................................................49
1 Introduo
Dentre as principais reas que constituem a Cincia da Computao, uma das que
mais influenciam o mundo atual a Engenharia de Software, envolvida nos aspectos
tecnolgicos e gerenciais do processo de desenvolvimento de software (ou simplesmente
processo de software, segundo Gimenes [GIM94]). Software tornou-se a base de
sustentao de inmeras organizaes dos mais diversos ramos de atuao espalhados
pelo planeta, consistindo no elemento estratgico da diferenciao de produtos e servios
atuais. Atualmente, o software est embutido em sistemas de uma infindvel lista de
diferentes cincias e tecnologias e, segundo Pressman [PRE01], ser o propulsor dos
novos avanos que influenciam uma ampla gama de indstrias, envolvendo desde a
Educao Elementar at corporaes envolvidas com a Engenharia Gentica.
Apesar dos inmeros avanos recentes nesta disciplina, muito ainda discutido
acerca da baixa qualidade e produtividade da indstria mundial de software, refletindo-se
na insatisfao dos seus usurios e em prejuzos financeiros de enormes propores. Por
outro lado, os computadores esto rapidamente tornando-se componentes comuns do diaa-dia das pessoas que, por sua vez, apontam necessidades com requisitos de
complexidade cada vez maiores.
O fenmeno descrito na literatura especializada como Crise do Software um
reflexo da incapacidade da indstria de software em atender plenamente s necessidades
de um mercado consumidor cada vez mais exigente. Atualmente, segundo Pressman
[PRE01], cerca de 70% dos investimentos da rea so realizados com o objetivo de
manter produtos desenvolvidos anteriormente. Segundo Yourdon [YOU95], a indstria
de software mundial caminha a passos largos para a estagnao.
Com o objetivo de solucionar esses problemas, vrias tecnologias vm sendo
experimentadas no sentido de apoiar o ciclo de vida do software. Um dos esforos mais
significativos corresponde definio de metodologias voltadas a disciplinar o processo
de desenvolvimento atravs do estabelecimento de etapas bem definidas, proporcionando,
desta forma, um mecanismo de controle para o processo. Como conseqncia, muitas
organizaes de desenvolvimento de software buscam a maturidade no processo de
software, usando medidas como o SEI-Capability Maturity Model for Software (SWCMM) [PAU94] para estruturar as iniciativas de melhoria de processo.
O modelo SW-CMM prope cinco estgios, sendo que uma organizao de
desenvolvimento de software pode se encaixar desde o nvel inicial, onde o processo
catico, at o nvel otimizado, onde o gerenciamento de software ideal. Nesse modelo,
algumas reas-chave so identificadas para que uma organizao passe de um nvel ao
outro do modelo, assumindo um papel importante na verificao da qualidade do
software produzido. Uma das reas-chave determinadas pelo SW-CMM, para que uma
organizao possa obter aumento na maturidade dos seus processos, consiste na definio
rigorosa de processos que determinem as estratgias gerenciais adotadas durante o
desenvolvimento de qualquer produto de software pela organizao.
relatrios
procedimentos
restries
Software
Processo
Problema
Soluo
c
e
e.1
a.1
a.2
e.2
e.4
e.3
a.3
a.3.1
a.3.2
Neste texto, os termos atividade e tarefa so considerados sinnimos, de acordo com Conradi
[CON94].
produtos de
sada
produtos de
entrada
Atividade
Atividade
prazos
recursos
restries
ferramentas
agentes e
cargos
Processo em Execuo
Viso do
Gerente
c
e
e.1
a.1
P
a.3A
Viso do
Desenvolvedor
e.2
e.4
a.2
e.3
esperando
a.3.1
a.3.2
pronta
A
P
ativa
parada
completa
Durao prevista
Aquisio de
conhecimento
Pronta
Entrevistar usurio
Ativa
10.07.2002
Criar documento
de anlise
Parada
12.07.2002
Anlise do problema Completa 01.07.2002
12 horas
10.07.2002
8 horas
20 horas
Descrio dos artefatos: para definir o sistema de software que est sendo
construdo, incluindo o cdigo-fonte de todos os artefatos produzidos;
Gerncia pr-ativa aquela que direciona o processo em direo a um objetivo, enquanto que o
gerncia reativa descreve como o processo responde a contigncias. [SUT 97a]
N
Procedimental
Orientado
Redes
aX
Orientado
Objetos
aX
Baseado
Regras
T
X
X
X
em X
X
X
X
X
X
Semntica Redes
baseada Petri
em PRO
Formal
LOG
de Diagramas Lgica
ER
e Auto
Transi
Epist
LOTOS/S
PD uma
extenso
de LOTOS
o
de mica
Estados
Redes de
Petri e
semnti
ca baseada
em PRO
LOG
Especificao
Projeto
Estilo
lgico
Implementao X
Visualizao
eX
Facilidade
de
uso
Especifi
Visual JIL X
cao
Formal.
Possvel
represen
(grfica)
tao
grfica
com
GLOTOS
Verificvel
Reflexiva
Tratamento de
X
X
Excees
Executvel
Por simula X
3.3.1 SPELL
SPELL [COW 91] uma linguagem de processo de paradigma hbrido
desenvolvida para o ambiente EPOS [CON 94] do Norwegian Institute of Technology.
SPELL adota essencialmente um modelo de dados orientado a objetos, onde so
definidos tipos bsicos (classes) que so estendidos (especializadas) durante o
desenvolvimento (figura 3.3). O modelo de processo adotado por SPELL consiste de uma
rede encadeada de tarefas, onde cada uma das tarefas so associadas a descries de
outras atividades, produtos, ferramentas e papis. As atividades interagem entre si, com
as ferramentas e humanos. SPELL uma linguagem concorrente e reflexiva que foi
baseada em Prolog, e segundo [AMB 97], SPELL pode ser considerada um Prolog
estendido com orientao a objetos (tipos), reflexo (no estilo de metatipos SmallTalk) e
gerncia de tarefas concorrentes. Ela suporta modelagem orientada a objetos (modelo de
dados Entidade-Relacionamento com triggers).
Um tipo task em SPELL expressa o conhecimento acerca de um passo de
desenvolvimento e constitui uma regra de ativao com um programa (script) a ser
executado. So definidas PR e PS condies em torno da seo de cdigo, que servem
como "envelope" de cada tarefa. Pr e ps condies estticas so utilizadas para o
raciocnio para frente e para trs 7, enquanto que as pr e ps condies dinmicas so
teis para a ativao dinmica de atividades. Assim, redes de tarefas SPELL podem
expressar tanto modelos de processo orientados a objetivos (utilizando regras estticas e
restries para planejamento automtico da rede), como modelos orientados a atividades
(usando as pr e ps condies e scripts) [AMB 97].
O tipo task possui parmetros formais e decomposies, isto , um conjunto de
operandos de entrada e sada e de subtarefas, respectivamente. Isto expressa uma
gramtica de grafos mnima ou template para descrever fragmentos da rede.
Uma task pode ser associada com um cargo e ento executada por agentes que
ocupem o cargo. Projetos so atividades especiais, contendo as requisies e logs de
mudanas, informaes acerca do versionamento de artefatos, recursos disponveis, e
protocolos de comunicao. Conceitos e formalismos associados para modelagem de
verses, transaes e espaos de trabalho so expressados fora de SPELL.
Uma instncia de task potencialmente ativa, e permanece em uma rede de
tarefas (ou plano) que serve para conectar as tarefas vizinhas. Os construtores
FORMALS e DECOMPOSION (restries estticas que expressam uma gramtica de
grafos) e as pr e ps condies estticas ajustam a estrutura e o fluxo de controle desta
rede de tarefas.
A execuo de uma tarefa pode ocorrer em qualquer nodo da rede, no apenas nas
folhas. O fluxo de controle pode ser busy (ativado por gatilhos), periodic, opportunistic,
ou lazy (orientado a objetivos), enquanto que a execuo de uma tarefa pode ser
automtica ou manual (ao humana), com procedimentos arbitrrios de reviso e
negociao.
Figura 3.3 - Os tipos primitivos (classes) do ambiente EPOS utilizados por SPELL
A linguagem SPELL suporta vrios nveis de abstrao e composio para
modelar elementos de processo externos. Entretanto, a verso apresentada em [CON 94]
definida somente para suportar a programao de processos (sem suporte a anlise ou
projeto). Alm disso, SPELL possui uma representao grfica (um exemplo exposto na
figura 3.4) e reflexiva, permitindo que modelos de processo sejam especializados
hierarquicamente e refinados dinamicamente em tempo de execuo, podendo ainda ser
versionados [AMB 97]. Requisitos de processo no-automatizveis (anlise e projeto de
processo) no so bem suportados, embora alguns aspectos da linguagem possam ser
utilizados para descrever processos mais informais ou incompletos. Ainda segundo
[AMB 97], SPELL fornece um suporte fraco para anlise formal dos modelos, assim
como no possibilita mltiplas vises do processo.
3.3.2
E3
Este exemplo foi proposto no 6 International Software Process Workshop (ISPW6) e consiste
de vrios componentes importantes dos processos de software do mundo real desempenhando
um papel muito importante na verificao e avaliao de ambientes e linguagens de processo de
software [LIM 98].
Classe Role (cargo). Atividades que requerem interveno humana devem ser
modeladas como tarefas com um cargo associado. A associao entre tarefas e papis
especificada no nvel de modelo, isto , uma tarefa deve estar conectada pela relao
3.3.3 SLANG
O projeto SPADE (Software Process Analysis, Design and Enactment) vem sendo
desenvolvido no Instituto Politecnico di Milano e CEFRIEL. O ambiente baseado em
uma linguagem de modelagem de processo de software chamada SLANG (SPADE
Language) que um formalismo baseado em uma rede de Petri de alto nvel. SLANG
fornece recursos para modelagem, execuo e evoluo de processos. Alm disso,
permite descrever a interao com humanos e ferramentas externas de uma maneira
uniforme. As principais caractersticas de SLANG so:
3.3.4 TEMPO
TEMPO uma linguagem de programao de processo baseado no conceito de
cargo e conexo construda para o ambiente ADELE [NOU 94]. Um tipo de processo de
software definido como um conjunto de objetos realizando um papel (role). Um papel
permite que seja redefinido dinamicamente as propriedades comportamentais de objetos
que esto realizando um papel no processo, permitindo assim o acrscimo de novas
funcionalidades a um objeto em tempo de execuo. Uma conexo expressa como os
processo cooperam.
Um modelo de processo de software definido como uma combinao de tipos de
processo de software. Um tipo processo identifica e descreve um conjunto de atividades.
Processos de software so atividades que executam concorrentemente e de forma
assncrona. Em TEMPO, os protocolos para comunicao e sincronizao entre processos
de software so descritos por regras temporais evento-condio-ao (TECA). Todas as
manipulaes feitas em um objeto durante o processo de software geram eventos.
TEMPO capaz de lidar com modelos de processo de software definidos pelo
usurio, mltiplas vises de artefatos de software, eventos temporais, atividades de longa
durao, e prov suporte a comunicao entre atividades de software. Um modelo de
processo de software de tamanho considervel pode ser escrito atravs do agrupamento
de vrios tipos de processo de software. Um tipo processo de software possui uma
definio recursiva. Por exemplo, uma atividade para verificar um documento de projeto
de um mdulo consiste de dois sub-processos:
3.3.5 LOTOS-SPD
As tcnicas de especificao formal vem sendo utilizadas na Engenharia de
Software para proporcionar a construo de programas corretos e com alta exigncia de
qualidade. Para estas linguagens so definidas semnticas formas, permitindo a
verificao matemtica de uma srie de propriedades de qualidade de software, como
completude e correo.
LOTOS [ISO 87] uma linguagem padro ISO que conseguiu a aceitao das
comunidades acadmicas e cientficas para a especificao, simulao e validao de
sistemas distribudos e protocolos de comunicao. LOTOS representa os aspectos de
ordenao temporal de sistemas, possuindo construes para representar paralelismo de
atividades e sincronizao de eventos. LOTOS possui uma representao grfica
chamada G-LOTOS, que tambm um padro ISO [ISO 89].
Em geral, quase se utiliza LOTOS para descrever processo de software,
necessrio especificar a ordem temporal de execuo e argumentos de atividades
primitivas que fazem uso de ferramentas de desenvolvimento de software. Para executar
tal processo em um ambiente distribudo, os desenvolvedores devem se comunicar entre
si, trocando mensagens com informao e sincronizao de eventos. Entretanto, estas
Execuo seletiva: [] ;
Interrupo: [> .
QE cria um mdulo executvel do sistema (code) com os dados de teste tstdt e decide
quando o processo deve ser repetido ou terminado (ele coloca "NO" para repetio e
"OK" para trmino na varivel res);
Process MakeCode[SE,P1,P2,QE]
(oldsp:file, olds1:file, olds2:file, oldtd:file): exit :=
(( SE?spec:file[spec=makedocument(oldsp)];
3.3.6 JIL
JIL [SUT 97a] uma linguagem de processo de software recente, desenvolvida
sob a influncia dos ltimos acontecimentos na rea de processo de software. uma
linguagem multi-paradigma que objetiva suportar todas as facetas do processo de
software.
A construo principal de JIL um passo (step), que procura representar um
passo (etapa, atividade) no processo de software. Um programa JIL uma composio de
passos, cada um dos quais podendo conter um conjunto de sub-unidades. Os elementos
da especificao de um passo incluem:
Tratamento de excees.
de
Processos:
Figura 4.4 - Edio das vises no RUP Builder -contedo da viso do gerente (Manager).
O passo seguinte a configurao da publicao do guia de processo segundo o
RUP, conforme a figura 4.5.
4.2 SPEARMINT
O ambiente Spearmint [IES04] [BEC98] uma ferramenta que compe a soluo
de gerncia de processos chamada Vincent. A PML adotada a MVP-L e a principal
caracterstica da ferramenta a de permitir modelagem e documentao do processo.
Uma das funcionalidades a gerao do guia web de processos, assim como feito no
RUP Builder. As figuras a seguir mostram duas vises distintas de um modelo de
processos para Extreme Programming.
4.3 APSEE
O modelo APSEE o resultado de um projeto de pesquisa internacional que
envolve, no Brasil, a Universidade Federal do Par e a Universidade Federal do Rio
Grande do Sul, e na Alemanha, a Universidade de Stuttgart10. APSEE distingue-se por
fornecer uma infraestrutura que integra diferentes servios voltados modelagem,
simulao [SIL99], execuo [LIM02d], reutilizao ([REI01b], [REI01d] e [REI02f]),
visualizao [SOU02] e aperfeioamento de processos.
A linguagem APSEE-PML auxilia a descrio de processos, sendo tambm til
para habilitar polticas em modelos de processos de software. A figura 4.10 apresenta um
resumo da notao grfica fornecida para a APSEE-PML usada para a descrio de um
modelo de processo. As atividades normais so aquelas desempenhadas por pessoas,
enquanto que as automticas so realizadas sem interveno humana. As conexes
simples e mltiplas so responsveis por descrever o encadeamento temporal das
atividades: o tipo end-start restringe o incio da execuo da atividade destino para
apenas depois do trmino da atividade origem; o tipo end-end habilita o trmino do
10
Projeto apoiado pelo CNPq, FAPERGS, DLR e pela Fundao Alexander von Humboldt.
Id-Atividade
Atividade Decomposta
(fragmento)
Atividade Folha
Normal
AUTOMATIC
Id-Atividade
Conexes de Artefato
Artefatos
Atividade (Artefato
de Entrada)
Conexo de Artefato
Atividade (Artefato
De Sada)
Conexo de Artefato
Conexo Branch
ou Join
Conexo de Artefato
Id-Artefato
Tipo-Artefato
Conexo de Artefato
Conexes Mltiplas
Conexes Simples
Tipo_Sinc
Conexo de Seqncia
condio
Conexo de Feedback
Tipo (J)
Aonde:
Tipo_S inc
Dependncia: end_start,
start_start, end_end or ? (Indefinido)
condio: expresso lgica avaliada
em tempo de execuo
Conexo Join
Tipo (B)
Tipo_S inc
Conexo Branch
Aonde:
Tipo_Sinc: end_start, start_start,
end_end or ? (Undefined)
Tipo: AND, OR ou XOR (OR e XOR
possuem condies associadas)
5 Concluses
A tecnologia de processo de software quando combinada com outras tcnicas de
Engenharia de Software pode trazer inmeros benefcios para o aumento da qualidade do
software produzido.
Esse texto representa um passo na disseminao da Tecnologia de Processo de
Software no sentido de ampliar a discusso do tema no pas. Acredita-se que o
aprofundamento da divulgao desse assunto possa levar a um aumento significativo na
qualidade dos processos adotados e, por conseqncia, nos produtos resultantes de
organizaes de desenvolvimento de software.
Apesar de tudo que a comunidade internacional j desenvolveu, a modelagem e
automao de processos ainda uma tarefa complexa que demanda profissionais
altamente especializados. Esforos ainda devem ser realizados no sentido de unificar a
terminologia, notaes e requisitos no contexto das solues automatizadas para
reutilizao de processos de software, a fim de amadurecer a pesquisa na rea. Alm
disso, a tecnologia de processo de software vem absorvendo os recentes avanos no
contexto de linguagens de programao para facilitar a construo e manuteno dos
programas de processos. Assim, por exemplo, a programao orientada a aspectos um
campo inovador que pode trazer inmeros benefcios modelagem de processos segundo
mltiplas perspectivas [REI02d].
A necessidade de acomodar modificaes em modelos de processos em
execuo tambm constitui um tpico importante de pesquisa atual. Processos so
suscetveis a modificaes, isto , a intrnseca natureza dinmica do desenvolvimento de
software tem como conseqncia que os processos originalmente prescritos dificilmente
so executados sem qualquer modificao. Assim, algumas modificaes devem ser
toleradas, desde que no levem a estados inconsistentes [LIM02e].
Outra tendncia recente integrar PSEEs a ferramentas tradicionais de gerncia
de projetos e/ou de workflow. O ambiente MILOS [MAU00] gerencia processos de
software na Internet integrando modelagem, planejamento e execuo. Sua mquina de
execuo est integrada com o gerenciador Microsoft Project - o qual fornece a interface
para o gerente do projeto oferecendo, ainda, interface para os agentes utilizando applets
Java e comunicao via e-mail. A sinergia de integrar diferentes solues j disponveis
nas empresas de desenvolvimento parece ser um caminho vivel para a popularizao da
tecnologia de processo de software.
Finalmente destaca-se a importncia da modelagem de processos para auxiliar a
gerncia de desenvolvimento de software provendo documentao e orientao para os
participantes do processo. Espera-se que a tecnologia de processos seja amplamente
adotada em organizaes de desenvolvimento de software preocupadas com a qualidade
de seus produtos.
6 Bibliografia
[AMB 97]
[ARB 94]
[ARM 92]
[BAL 94]
BALDI, M.; GAI, S.; JACCHERI, M. L.; LAGO, P. Object Oriented Software Process
Model Design in E3. In: Software Process Technology, B.A. Nuseibeh (editor),
Research Studies Press, 1994. Disponvel na internet por www em
http://www.polito.it/~ezmaint/articles.html.
[BAN 93]
[BAN 94]
[BAR 92]
[BEC 98]
[BEL 94]
[CHE 90]
[CHR 95]
[COA 92]
[CON 94]
[CUR 92]
[DEI 90]
[DER99]
[DOW 91]
[DUI95]
[ENG 94]
[FEI93]
[FRA02]
[GEO94]
[GIM94]
[GRU98]
[HUM 89]
HUMPHREY, W.S. The Software Engineering Process: Definitions and Scope. ACM
Sigsoft Software Engineering Notes, New York, v. 14, n. 4, June 1989, p. 82-83.
Trabalho apresentado em: International Software Process Workshop, 4., 1988,
Devon, UK.
[HUM89]
HUMPHREY, W.S. The Software Engineering Process: Definitions and Scope. ACM
Sigsoft Software Engineering Notes, New York, v. 14, n. 4, June 1989, p. 82-83.
Trabalho apresentado em: International Software Process Workshop, 4., 1988,
Devon, UK.
[IES04]
[ISO 87]
[ISO 89]
[JAC98]
JACCHERI, M. L.; LAGO, P.; PICCO, G.P. Eliciting Software Process Models with
the E3 Language. ACM Transactions on Software Engineering and
Methodology, Summer 1998. Em http://www.polito.it/~patricia/articles/tosem.pdf.zip
[JAC99]
[JUN 94]
[KAI 90]
[KAT 89]
[KRU00]
[KRU96]
[LIM02a]
LIMA REIS, C.A.; REIS, R.Q.; ABREU, A.; NUNES, D.J. APSEE: Um Modelo Formal
e Flexvel para Execuo de Processos de Software. In: Workshop Iberoamericano
de Ingeniera de Requisitos y Ambientes Software, 5. (IDEAS2002) Memrias...
CYTED. Havana, Cuba. Abr. de 2002.
[LIM02b]
LIMA REIS, C. A.; REIS, R.Q.; SCHLEBBE, H.; NUNES, D.J. A Policy-based
Resource Instantiation Mechanism to Automate Software Process Management.
Workshop on Software Engineering Decision Support (SEDECS'2002). In: Software
Engineering & Knowledge Engineering, 14. (SEKE2002). Proceedings Ischia,
Itlia. Jul. 15-19, 2002. ACM Press.
[LIM02c]
LIMA REIS, C.A.; REIS, R.Q.; SCHLEBBE, H.; NUNES, D.J. Resource Instantiation
Policies in Software Process Environments. In: Annual International Computer
Software and Applications Conference, 26. (COMPSAC2002). Proceedings
Oxford, Inglaterra. Ago. 26-29, 2000. Los Alamitos: IEEE Computer Society Press.
[LIM02d]
[LIM02e]
LIMA REIS, C.A. et al. Flexible Software Process Enactment Support in the APSEE
Model. In: IEEE Symposia on Human-Centric Computing Languages and
Environments. Proceedings Arlington, USA. Sept. 2002. Los Alamitos: IEEE
Computer Society Press.
[LIM98]
[LON 94]
[MAU00]
MAURER, F.; DELLEN, B.; BENDECK, F.; GOLDMANN, S.; HOLZ, H.; KTTING,
B.; SCHAFF M. Merging Project Planning and Web-Enabled Dynamic Workflow
Technologies. IEEE Internet Computing, May/June 2000. Los Alamitos: IEEE
Computer Society Press.
[MUR89]
[NGU97]
[OCA98]
[OST87]
[PAU94]
[PRE 95]
[PRE01]
[REI 98]
[REI00]
[REI01a]
REIS, R. Q.; LIMA REIS, C.A. NUNES, D.J. Automated Support for Software
Process Reuse: Requirements and Early Experiences with the APSEE model. In:
INTERNATIONAL WORKSHOP ON GROUPWARE, 7. Proceedings Darmstadt,
Germany, Sept. 2001. Los Alamitos: IEEE Computer Society Press.
[REI01b]
[REI01c]
[REI01d]
Software
Process
Model
in
Epos.
REIS, R.Q.; Lima Reis, C.A.; YAMIN, A.; AUGUSTIN, I.; NUNES, D.J.; GEYER, C.
Towards a Software Process Model to Support the Design of Mobile Computing
Applications. In: World Conference on Integrated Design & Process Technology, 6.
(IDPT2002) Proceedings... Society for Design and Process Science. Pasadena,
EUA. Jun. 2002.
[REI02b]
REIS, R.Q.; LIMA REIS, C.A.; SCHLEBBE, H.; NUNES, D.J. Automatic Verification
of Static Policies on Software Process Models. In: WANG, Y.; BRYANT, A. (Eds.)
Annals of Software Engineering. Vol. 14, Special volume on Process-based
Software Engineering. Oct. 2002. Boston, MA, USA: Kluwer Academic Publishers
(aceito para publicao).
[REI02c]
REIS, R.Q.; LIMA REIS, C.A.; SCHLEBBE, H.; NUNES, D.J. APSEE-Reuse:
Automated Support for Software Process Reuse. In: Workshop Iberoamericano de
Ingeniera de Requisitos y Ambientes Software, 5. (IDEAS2002) Memrias...
CYTED. Havana, Cuba. Abr. de 2002.
[REI02d]
REIS, R.Q.; LIMA REIS, C.A.; SCHLEBBE, H.; NUNES, D.J. Towards an AspectOriented Approach to Improve the Reusability of Software Process Models. In:
International Workshop on Early Aspects: Aspect-Oriented Requirements
Engineering and Architecture Design; International Conference on Aspect-Oriented
Software Development, 1. Proceedings Enschede, The Netherlands. New York:
ACM Press. Apr. 2002.
[REI02e]
REIS, R.Q.; LIMA REIS, C.A.; SCHLEBBE, H.; NUNES, D.J. Early Experiences on
Promoting Explicit Separation of Details to Improve Software Processes Reusability.
In: IEEE Annual International Computer Software and Applications Conference, 26.
(COMPSAC2002). Proceedings Oxford, Inglaterra. Ago. 26-29, 2000. Los
Alamitos: IEEE Computer Society Press.
[REI02f]
[REI99]
[RID 98]
[RIL 94]
[ROM 93]
[ROS 77]
[ROS 85]
ROSS, D. Applications and Extensions of SADT. IEEE Computer, New York, v. 18,
n. 4, Apr. 1985. p. 25-35.
[ROS 94]
[SAE 91]
SAEKI, M.; KANEKO, T.; SAKAMOTO. A method for software process modeling and
description using LOTOS. In: International Conference on the Software Process, 1.
Proceedings... p. 90-104. IEEE Computer Society Press, 1991. Redondo Beach,
California, October, 1991.
[SIL99]
[SOU01]
SOUSA, A.L.R.; LIMA REIS, C.A.; REIS, R.Q.; NUNES, D.J. Interao Humana
Durante Execuo de Processos de Software: Classificao e Exemplos.
Relatrio de Pesquisa RP 310. Porto Alegre: PPGC-UFRGS, Jun. 2001.
[SUT 90]
[SUT 95]
[SUT 97a]
[SUT 97b]
SUTTON, S.; LERNER, B.; OSTERWEIL, L. Experience Using the JIL Process
Programming Language to Specify Design Process. Computer Science Dept.,
University of Massachusetts, Technical Report 97-68. Sept, 1997. Disponvel na
Internet por www em http://laser.cs.umass.edu/~blemer/icse98-stan.ps
[SUT95]
[TOY95]
[TUL89]
[WAN00]
[WOR99]
[YAS 94]
[YOU 95]
Modelagem, execuo,
simulao, verificao,
reutilizao e aperfeioamento
do processo produo de
software
Fundamentos tericos
Tecnologia baseada
principalmente em produtos
comerciais
Disponibilidade das
implementaes
Vrias implementaes
comerciais
Agentes
Pessoas em geral
Gerentes e Desenvolvedores
de Software
Integrao de Ferramentas
Externas
Software de automao de
escritrio e SBBDs
Ferramentas CASE
Modelagem da Estrutura
Organizacional
Detalhada, permitindo a
definio de estruturas
prprias da organizao
usuria
Aplicabilidade em domnios
diferentes da produo de
software
Extensiva
Limitada
Paradigmas para
Modelagem de Processos
Mono-paradigma
Multi-paradigma
Evoluo do Processo
Limitado
Evoluo dinmica e
reutilizao de modelos
Workflow Management
Coalition
No existe
Objetivos
Granulosidade da definio
do processo