Organizaçoes que buscam apoiar seus processos de negócio de forma mais flexivel estao cada vez mais interessadas em substituir os sistemas de informaçao existentes centrados em dados por sistemas de informaçao cientes de processo (PAISs), nos quais a lógica de controle de fluxo dos processos e especificada em modelos executaveis separados do código da aplicaçao. Ainda que as abordagens tradicionais de modelagern de processes sejam amplamente utilizadas para o desenvolvimento de PAISs empresariais, muitas nao possuem a flexibilidade necessaria para: realizar reengenharia de processos de negócios, gerenciar dependencias entre processos interativos e paralelos e manter a base de código para tratar exccuções e estados de processo imprevistos pequena e gerenciavel. WED-flow, por sua vez, é uma abordagem de modelagem de processos transacional, baseada em eventos, e orientada a dados que atende a esses desafios. No entanto, 'WED-flow nao pode modelar o comportamento e as restrições temporais dos processes sensiveis ao tempo encontrados em sistemas de tempo real. Para a maioria dos sistemas de tempo real, o nao cumprimento de restrições de tempo pode resultar em catastrofes. Assim, a capacidade de decidir se um processo sensível ao tempo pode ou nao cumprir seus prazos é essencial para ao menos aliviar seus efeitos colaterais potencialmente perigosos. Alem disso, se processos sensíveis ao tempo competirem por recursos compartilhados, a detecçao antecipada de que alguns deles nao atenderao aos seus prazos pode aumentar a eficiencia da política de alocaçao de recursos em uso. As principais contribuiçoes deste trabalho sao: (1) apresentar o modelo WED-flow Temporal, estendendo WED-flow com uma noção de tempo, (2) apresentar um metodo para mapear um modelo de processo WED-flow para uma rede de Petri um formalismo grafico e matematico para modelagem e analise de sistemas concorrentes, (3) e apresentar um modelo de rede Petri dependente de tempo adequado para descrever a semantica temporal dos modelos de processo de WED-flow Temporal. Assim, podemos verificar a lógica de controle de fluxo dos modelos de processo WED-flow atraves de redes de Petri equivalentes, assim como verificar sua pontualidade. Como um exemplo de um sistema de tempo real modelado usando WED- flow, apresentamos SISAUT - um sistema de gerenciamento de autópsias que coordena processos interativos, paralelos e sensiveis ao tempo para coletar e processar órgãos para projetos de pesquisa.

Organizations seeking to support their business processes in a more flexible way are increasingly interested in replacing existing information systems centered on data with process-aware informa- tion systems (PAISs), in which the control-flow logic of processes is specified in executable models separate from the application code. Even though traditional process modeling approaches have been largely used to build enterprise PAISs, most lack the flexibility needed to: perform business process reengineering|manage dependencies among interacting, parallel processes|and keep the code base for handling exceptions and unforeseen process states small and manageable. 'WED-flow, in turn, is a transactional, event-based, and data-driven process modeling approach that addresses these chal- lenges. However, WED-flow cannot model the temporal behavior and constraints of time-critical processes found in real-time systems. For most real-time systems, failing to meet time constraints could result in catastrophic damage. Hence, the ability to decide whether or not a time-critical process can meet its deadlines is essential to at least alleviate potentially hazardous side effects. Moreover, if time-critical processes compete for shared resources, early detecting that some of them are likely to miss their deadlines could increase the efficiency of the resource allocation policy in use. The main contributions of this work are: (1) to present Time WED-flow, extending WED-flow with the notion of time|(2) to present a method for mapping a WED-flow process model to a Petri net - a graphical and mathematical formalism for modeling and reasoning about the functional behavior of concurrent systems|(3) and to present a time dependent Petri net model suitable for describing the temporal semantics of Time WED-flow process models. Thus, we can check the control-flow logic of WED-flow process models through their equivalent Petri nets, and check their timeliness as well. As an example uf a real-time system modeled using WED-flow, we present SISAUT - an autopsy management system that coordinates interacting, parallel, time-critical processes to collect and process organs for research projects.