Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-20T14:23:49Z (GMT). No. of bitstreams: 1 190529.pdf: 1898705 bytes, checksum: d04ae3c1687951bb05caef6def6d7071 (MD5)

Made available in DSpace on 2014-06-12T15:51:19Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Message Sequence Charts (MSC) é uma linguagem gráfica, usada na academia e na indústria, cujo objetivo é descrever o comportamento de componentes de sistemas e seus ambientes. A sintaxe e a semântica de um diagrama MSC padrão são definidos pelo International Telecommunication Union. A motivação para esse trabalho foi originada a partir de esforços para modelar cenários de aplicações de aparelhos móveis com o objetivo de automatizar a geração de testes, no contexto de uma colaboração entre Centro de Informática da Universidade Federal de Pernambuco (CIn- UFPE) e a Motorola, no contexto do projeto Brasil Test Center (BTC). Ao modelar algumas destas aplicações que envolvem múltipla sincronização utilizando como linguagem de modelagem, MSC padrão, constatou-se que os diagramas são de difícil entendimento ou com um comportamento diferente do desejado. É proposta neste trabalho uma extensão de MSC com o objetivo de permitir a descrição de mensagens síncronas, que permitem descrever eventos instantâneos (abstraindo-se a duração do tempo real para que a conexão seja estabelecida) e podendo envolver várias instâncias de MSC. Essa extensão é conservativa, no sentido que o comportamento das construções existentes não é afetado pela mesma; além disso, em um mesmo diagrama é possível conter mensagens síncronas e mensagens assíncronas. Foi desenvolvido um algoritmo de transformação, que a partir de um diagrama escrito na notação MSC estendido, gera um diagrama correspondente na notação de MSC padrão. Este algoritmo tem por objetivo permitir a transitividade entre as notações e demonstrar suas equivalências. Este algoritmo de transformação implementa mensagens síncronas como uma seqüência de mensagens assíncronas seguindo um algoritmo particular de handshake. A segunda contribuição desse trabalho é a definição de uma semântica para a notação padrão e estendida de MSC. Essa definição é dada em termos da álgebra de processos CSP (Communicating Sequential Processes). O formalismo introduzido na notação de Message Sequence Charts com CSP permite mostrar a equivalência entre um diagrama na notação de MSC estendido e seu correspondente descrito em MSC padrão, gerado a partir do algoritmo de transformação. Além disso, modelar MSC como um processo descrito na notação CSP permite uma análise sobre seus diagramas, usando um rico conjunto de leis algébricas de CSP, bem como o uso de ferramentas, como FDR2 e o Probe. Finalmente, para validar a estratégia proposta, desenvolveu-se um exemplo que ilustra a utilização da notação estendida de MSC, notação síncrona; a conversão desta notação para a notação padrão e a equivalência entre o MSC estendido e o padrão. Mostramos, ainda, o uso da ferramenta Power Tool Kit(PTK) para geração de casos de teste a partir de diagramas MSC

Made available in DSpace on 2016-04-28T18:22:11Z (GMT). No. of bitstreams: 1 Erisana Celia Sanches Victoriano.pdf: 3011444 bytes, checksum: 0077e3316d46d2f7b287c64a52b1f91d (MD5) Previous issue date: 2010-10-26 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The new ICTs have been used in face-to-face and distance courses to support and enrich teaching-learning processes. However, their use demands planning and adequacy so that it corresponds to educational goals. For this reason, many studies have been developed. They usually focus on the use of the tools, or on the roles teachers and students play during the interactions (Gervai, 2007; Costa, 2005; Leal, 2005). However, these investigations do not seem to consider language as central in teaching-learning processes; they do not discuss the importance of pedagogic practice and the knowledge structure that are involved in the interactions. In order to contribute to the filling of these gaps, this research was suggested. Therefore, the general objective of this study is to contribute to the improvement on the use of ICTs, more specifically to the use of synchronous communication tools in educational contexts, by considering language as central in teaching-learning processes. In order to reach this goal, seven synchronous sessions (chats) were collected from a distance course that was offered for teachers of English. In addition, the data were analysed under two theoretical frameworks: the systemic-functional theory and the Bernstenian social theory. The analysis developed during this research favoured detailed comprehension about some kinds of interactions that can take place in online synchronous communication in educational contexts, as it highlighted differences in the pedagogic and discursive practices, and in the knowledge structure during the sessions. The analysis developed with the support of the systemic-functional approach for the description of conversations, exchange structure (Martin, 1992), allowed a detailed study of some discursive practices that can take place during this kind of communication. This analysis, combined with the concepts of regulative and instructional discourse suggested in the Bernsteinian theory (Bernstein, 1990), allowed reflections about pedagogic practices that had been involved in the online synchronous sessions. Finally, the concept of entity (Martin and Rose, 2003) and the concepts of horizontal and vertical discourse (Bernstein, 1990) contributed to the comprehension about the nature of knowledge which had been involved in the interactions. This research indicates that the combination of the systemic-functional theory and the Bernsteinian theory can be powerful for the comprehension of language, pedagogic practices and different nature of knowledge that were brought to the interactions; and, it presents results which can contribute to an adequate use of chats in educational contexts , and to the quality of distance education / As tecnologias de informação e comunicação (TICs) vêm sendo usadas em cursos presenciais e a distância com o objetivo apoiar e enriquecer o ensino-aprendizagem. Porém, seu uso exige planejamento e adequação para que corresponda aos objetivos educacionais. Por esse motivo, muitos estudos vêm sendo conduzidos. Esses estudos geralmente focam o uso das próprias ferramentas, ou o papel de professores e alunos durante as interações (Gervai, 2007; Costa, 2005; Leal, 2005). No entanto, essas investigações não consideram a centralidade da linguagem no ensino-aprendizagem, e não discutem a importância da prática pedagógica e das naturezas do conhecimento envolvidas nas interações. Para contribuir com o preenchimento dessas lacunas, esta pesquisa foi proposta. Dessa forma, o objetivo geral deste trabalho é contribuir para o aprimoramento do uso das TICs, mais especificamente com o uso de ferramentas de comunicação síncrona, em contexto educacional considerando a centralidade lingüística em contextos de ensino-aprendizagem. Para tal, sete sessões síncronas online (bate-papos) foram coletadas de um curso a distância, oferecido para professores de inglês. Além disso, os dados foram analisados sob duas perspectivas teóricas: a teoria sistêmico-funcional e a teoria social Bernsteiniana. Ao apontar diferenças nas práticas discursivas e pedagógicas, e na estrutura do conhecimento durante as sessões, a análise conduzida durante essa pesquisa ajudou a compreender mais detalhadamente o tipo de interação que pode acontecer em comunicações síncronas online em contexto educacional. A análise conduzida com ajuda do conceito sistêmico-funcional de estrutura da troca (Martin, 1992) possibilitou um estudo detalhado de algumas práticas discursivas que podem acontecer neste tipo de comunicação online. Essa análise, combinada com os conceitos de discurso regulador e instrucional propostos na teoria bernsteiniana (Bernstein, 1990) permitiu reflexões sobre as práticas pedagógicas que estiveram envolvidas nas sessões síncronas online. Por fim, o conceito de entidade (Martin e Rose, 2003) e os conceitos de discurso horizontal e discurso vertical (Bernstein, 1990), colaboraram para o entendimento sobre a natureza dos conhecimentos envolvidos nas interações. Esta pesquisa indica que a combinação da teoria sistêmico-funcional com a teoria Bernsteiniana mostra-se ferramenta poderosa para a compreensão da linguagem, da prática pedagógica e das diferentes naturezas de conhecimentos trazidos para contextos educacionais; e, apresenta resultados que podem contribuir com usos adequados de ferramentas síncronas digitais em contexto educacional e, assim, com a melhoria da qualidade da educação a distância.

Made available in DSpace on 2016-04-28T18:22:12Z (GMT). No. of bitstreams: 1 Erisana Celia Sanches Victoriano.pdf: 3011444 bytes, checksum: 0077e3316d46d2f7b287c64a52b1f91d (MD5) Previous issue date: 2010-10-26 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The new ICTs have been used in face-to-face and distance courses to support and enrich teaching-learning processes. However, their use demands planning and adequacy so that it corresponds to educational goals. For this reason, many studies have been developed. They usually focus on the use of the tools, or on the roles teachers and students play during the interactions (Gervai, 2007; Costa, 2005; Leal, 2005). However, these investigations do not seem to consider language as central in teaching-learning processes; they do not discuss the importance of pedagogic practice and the knowledge structure that are involved in the interactions. In order to contribute to the filling of these gaps, this research was suggested. Therefore, the general objective of this study is to contribute to the improvement on the use of ICTs, more specifically to the use of synchronous communication tools in educational contexts, by considering language as central in teaching-learning processes. In order to reach this goal, seven synchronous sessions (chats) were collected from a distance course that was offered for teachers of English. In addition, the data were analysed under two theoretical frameworks: the systemic-functional theory and the Bernstenian social theory. The analysis developed during this research favoured detailed comprehension about some kinds of interactions that can take place in online synchronous communication in educational contexts, as it highlighted differences in the pedagogic and discursive practices, and in the knowledge structure during the sessions. The analysis developed with the support of the systemic-functional approach for the description of conversations, exchange structure (Martin, 1992), allowed a detailed study of some discursive practices that can take place during this kind of communication. This analysis, combined with the concepts of regulative and instructional discourse suggested in the Bernsteinian theory (Bernstein, 1990), allowed reflections about pedagogic practices that had been involved in the online synchronous sessions. Finally, the concept of entity (Martin and Rose, 2003) and the concepts of horizontal and vertical discourse (Bernstein, 1990) contributed to the comprehension about the nature of knowledge which had been involved in the interactions. This research indicates that the combination of the systemic-functional theory and the Bernsteinian theory can be powerful for the comprehension of language, pedagogic practices and different nature of knowledge that were brought to the interactions; and, it presents results which can contribute to an adequate use of chats in educational contexts , and to the quality of distance education / As tecnologias de informação e comunicação (TICs) vêm sendo usadas em cursos presenciais e a distância com o objetivo apoiar e enriquecer o ensino-aprendizagem. Porém, seu uso exige planejamento e adequação para que corresponda aos objetivos educacionais. Por esse motivo, muitos estudos vêm sendo conduzidos. Esses estudos geralmente focam o uso das próprias ferramentas, ou o papel de professores e alunos durante as interações (Gervai, 2007; Costa, 2005; Leal, 2005). No entanto, essas investigações não consideram a centralidade da linguagem no ensino-aprendizagem, e não discutem a importância da prática pedagógica e das naturezas do conhecimento envolvidas nas interações. Para contribuir com o preenchimento dessas lacunas, esta pesquisa foi proposta. Dessa forma, o objetivo geral deste trabalho é contribuir para o aprimoramento do uso das TICs, mais especificamente com o uso de ferramentas de comunicação síncrona, em contexto educacional considerando a centralidade lingüística em contextos de ensino-aprendizagem. Para tal, sete sessões síncronas online (bate-papos) foram coletadas de um curso a distância, oferecido para professores de inglês. Além disso, os dados foram analisados sob duas perspectivas teóricas: a teoria sistêmico-funcional e a teoria social Bernsteiniana. Ao apontar diferenças nas práticas discursivas e pedagógicas, e na estrutura do conhecimento durante as sessões, a análise conduzida durante essa pesquisa ajudou a compreender mais detalhadamente o tipo de interação que pode acontecer em comunicações síncronas online em contexto educacional. A análise conduzida com ajuda do conceito sistêmico-funcional de estrutura da troca (Martin, 1992) possibilitou um estudo detalhado de algumas práticas discursivas que podem acontecer neste tipo de comunicação online. Essa análise, combinada com os conceitos de discurso regulador e instrucional propostos na teoria bernsteiniana (Bernstein, 1990) permitiu reflexões sobre as práticas pedagógicas que estiveram envolvidas nas sessões síncronas online. Por fim, o conceito de entidade (Martin e Rose, 2003) e os conceitos de discurso horizontal e discurso vertical (Bernstein, 1990), colaboraram para o entendimento sobre a natureza dos conhecimentos envolvidos nas interações. Esta pesquisa indica que a combinação da teoria sistêmico-funcional com a teoria Bernsteiniana mostra-se ferramenta poderosa para a compreensão da linguagem, da prática pedagógica e das diferentes naturezas de conhecimentos trazidos para contextos educacionais; e, apresenta resultados que podem contribuir com usos adequados de ferramentas síncronas digitais em contexto educacional e, assim, com a melhoria da qualidade da educação a distância