IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space.

Distributed process execution in collaborative networks

Processes are a central entity in enterprise collaboration. Collaborative processes need to be executed and coordinated in a distributed Computational platform where computers are connected through heterogeneous networks and systems. Life cycle management of such collaborative processes requires a framework able to handle their diversity based on different computational and communication requirements. This paper proposes a rational for such framework, points out key requirements and proposes it strategy for a supporting technological infrastructure. Beyond the portability of collaborative process definitions among different technological bindings, a framework to handle different life cycle phases of those definitions is presented and discussed. (c) 2007 Elsevier Ltd. All rights reserved.

Um caso multimédia na formação inicial: contributos para o conhecimento sobre o ensino exploratório da Matemática

Este artigo tem como foco o uso de casos multimédia na formação inicial de professores e procura analisar o seu contributo para o desenvolvimento do conhecimento didático de futuras professoras acerca do ensino exploratório da Matemática, bem como apreciar as suas perspetivas sobre as mais-valias do caso multimédia utilizado como recurso formativo. Analisam-se questionários e relatórios de treze alunas do Mestrado em Educação Pré-Escolar e Ensino do 1.º Ciclo da Universidade de Évora, que trabalharam sobre um caso multimédia que retrata a prática de ensino de uma professora de 1º ciclo. O caso inclui recursos diversificados, sendo os vídeos de sala de aula complementados com o plano da aula, as resoluções da tarefa pelos alunos, as reflexões da professora sobre a sua prática, um quadro de referência sobre o ensino exploratório da Matemática e artigos teóricos sobre ensino de natureza exploratória da Matemática. As alunas em formação apreciaram conhecer e explorar o caso multimédia, ressaltando a possibilidade de através dele conhecerem uma nova prática real de ensino da Matemática; sublinharam a importância de ouvirem as reflexões da professora para dotar de sentido a respetiva prática, revelando as intenções das suas ações; aprenderam também conhecimentos relevantes para pôr em prática o ensino exploratório, nomeadamente relativos ao conhecimento do processo instrucional, tanto no diz respeito à planificação, como à condução da aula.

A aquisição de competências musicais no ensino da Técnica de Dança Clássica no 2º ano no Conservatório de Música da Jobra

Relatório Final de Estágio apresentado à Escola Superior de Dança, com vista à obtenção do grau de Mestre em Ensino de Dança.

Prática de ensino supervisionado no 1.º e 2.º ciclo do ensino básico: o jogo e o desenvolvimento da consciência linguística

Relatório de Estágio apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ensino do 1.º e 2.º Ciclo do Ensino Básico

A interação entre Música e Dança na aula de Técnica de Dança Clássica : estratégias para o desenvolvimento da sensibilidade musical com alunas do 5º ano da Escola Vocacional de Dança da Sociedade Filarmónica Gualdim Pais

Relatório Final de Estágio apresentado à Escola Superior de Dança, com vista à obtenção do grau de Mestre em Ensino de Dança.

Autonomic Activities in the Execution of Scientific Workflows: Evaluation of the AWARD Framework

Workflows have been successfully applied to express the decomposition of complex scientific applications. However the existing tools still lack adequate support to important aspects namely, decoupling the enactment engine from tasks specification, decentralizing the control of workflow activities allowing their tasks to run in distributed infrastructures, and supporting dynamic workflow reconfigurations. We present the AWARD (Autonomic Workflow Activities Reconfigurable and Dynamic) model of computation, based on Process Networks, where the workflow activities (AWA) are autonomic processes with independent control that can run in parallel on distributed infrastructures. Each AWA executes a task developed as a Java class with a generic interface allowing end-users to code their applications without low-level details. The data-driven coordination of AWA interactions is based on a shared tuple space that also enables dynamic workflow reconfiguration. For evaluation we describe experimental results of AWARD workflow executions in several application scenarios, mapped to the Amazon (Elastic Computing EC2) Cloud.