Linguagem Para Execuaao De Processos
Mostrando 1-4 de 4 artigos, teses e dissertações.
-
1. Contratos formais para derivaÃÃo e verificaÃÃo de componentes paralelos. / Formal Contracts for Derivation and Verification of Parallel Componentes
A aplicaÃÃo de nuvens computacionais para oferecer serviÃos de ComputaÃÃo de Alto Desempenho (CAD) à um assunto bastante discutido no meio acadÃmico e industrial. Esta dissertaÃÃo està inserida no contexto do projeto de uma nuvem computacional para o desenvolvimento e execuÃÃo de aplicaÃÃes de CAD baseadas em componentes paralelos, doravante de
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 20/09/2012
-
2. O processo de revisÃo da escrita: um estudo do que o docente privilegia no trabalho com o texto / Rewieu process of writing: what a teacher prioritizes when working with a text
Nossa pesquisa està fundamentada em princÃpios metodolÃgicos do Interacionismo Sociodiscursivo e nas bases teÃricas da LinguÃstica de Texto, fazendo interface com a LinguÃstica Aplicada. Tem como objetivo fundamental identificar, na tarefa de revisÃo de texto, em sala de aula, em que medida o docente explora aspectos formais do gÃnero e da sequÃncia
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/06/2009
-
3. Uma linguagem para modelagem de processos baseada em semÃntica de aÃÃes
Modelos de processos de negÃcio sÃo criados para descrever, em uma linguagem de fÃcil acesso, como os processos de uma organizaÃÃo sÃo realizados. Para isso, o processo à visto como uma coleÃÃo de atividades que interagem para a realizaÃÃo do objetivo final do processo. Para facilitar o entendimento e a anÃlise de processos deste tipo, a modelage
Publicado em: 2005
-
4. Uma linguagem de workflow para composiÃÃo de Web Services - LCWS.
Empresas vÃm realizando reavaliaÃÃes de seus negÃcios para se tornarem mais produtivas e efetivas perante seus concorrentes. Assim, a automaÃÃo de processo de negÃcios vem ganhando importÃncia dentro de organizaÃÃes, pois pode ser vista como uma tecnologia de componentes que substitui ou suplementa processos manuais, buscando eliminar intervenÃÃe
Publicado em: 2004