Resumo
O objetivo principal desse projeto é o de propor um modelo, que possibilite a tradução de especificações formais de aplicações multimídia distribuídas, realizadas numa extensão temporal da Técnica de Descrição Formal (TDF) "Language of Temporal Ordering Specification (LOTOS)", para o "Multimidia and Hypermidia Expert Group (MHEG)", ambos padrões pela "International Organization for Standa…