Ética em TI
- Metodologia Moral e TI
- Concepções Éticas

Modelo do relatório de leitura. Deve ser entregue um por equipe a cada artigo na data prevista.

Artigo para leitura e elaboração do relatório de leitura que deverá esr entreue em 2/11/2007.

Slides da aula de Gestão de Tecnologia da Informação, de 13/11/2007.

As competências e os valores das pessoas é que fazem acontecer a integração da tecnologia da informação
com as estratégias de negócios das empresas

A tecnologia de gerenciamento workflow procura oferecer uma solução flexível em apoio aos processos de negócios,
por meio da facilitação de modificações e da criação de novos processos. Entretanto, a falta de definição bem formalizada
no que se refere à sintaxe e à semântica de tais técnicas dificulta análises mais complexas dos modelos. Nesse caso,
redes de Petri atuam com excelente potencial, uma vez que possuem representação gráfica, são de fácil aprendizado,
funcionam como linguagem de comunicação entre especialistas de diversas áreas, possibilitam descrever aspectos
estáticos e dinâmicos do sistema a ser representado e ainda possuem o formalismo matemático necessário para métodos
de análise já consagrados. O presente trabalho tem por objetivo, primeiramente, oferecer uma visão atualizada do
estado da arte na área de modelagem de workflow baseada em redes de Petri e expor um exemplo de modelo de
workflow com parâmetros de tempo e custo associados às transições da rede. O objetivo secundário é apresentar
conceitos importantes de redes de Petri, workflow e rotas de processos.

Abstract--

The paper describes the specification method
for dependable systems, called Transnet. The method
offers a formal notation for describing the software
structure, the means for defining safe and un-safe states
and techniques for the software simulation and analysis.
The modeling process is based on an extension to Petri
nets, which enables the modeler to represent control as
well as data processing aspects of the software. Petri
net-based model can be analyzed using the concept of a
modified reachability graph and a state graph or can be
a framework for simulated execution. The model can be
built in the specification phase, thus creating the
potential for early validation of the software behavior.

Artigo clássico sobre Redes de Petri, uma ferramenta de modelagem gráfica e matemática aplicável a inúmeros sistemas, principalmente ao estudo de sistemas de processamento de informações.

Estudo de caso sobre Parcerias Virtuais.

Programa de monitoramento de desempenho que apresenta em tempo real a porcentagem de utilização das capacidades totais dos pentes de memória RAM e do processador central do computador.