Goals Software Construction Process

Generalized hyper competitiveness in the world markets has determined the need to offer better products to potential and actual clients in order to mark an advantagefrom other competitors. To ensure the production of an adequate product, enterprises need to work on the efficiency and efficacy of their business processes (BPs) by means of the construction of Interactive Information Systems (IISs, including Interactive Multimedia Documents) so that they are processed more fluidly and correctly.The construction of the correct IIS is a major task that can only be successful if the needs from every intervenient are taken into account. Their requirements must bedefined with precision, extensively analyzed and consequently the system must be accurately designed in order to minimize implementation problems so that the IIS isproduced on schedule and with the fewer mistakes as possible. The main contribution of this thesis is the proposal of Goals, a software (engineering) construction process which aims at defining the tasks to be carried out in order to develop software. This process defines the stakeholders, the artifacts, and the techniques that should be applied to achieve correctness of the IIS. Complementarily, this process suggests two methodologies to be applied in the initial phases of the lifecycle of the Software Engineering process: Process Use Cases for the phase of requirements, and; MultiGoals for the phases of analysis and design. Process Use Cases is a UML-based (Unified Modeling Language), goal-driven and use case oriented methodology for the definition of functional requirements. It uses an information oriented strategy in order to identify BPs while constructing the enterprise’s information structure, and finalizes with the identification of use cases within the design of these BPs. This approach provides a useful tool for both activities of Business Process Management and Software Engineering. MultiGoals is a UML-based, use case-driven and architectural centric methodology for the analysis and design of IISs with support for Multimedia. It proposes the analysis of user tasks as the basis of the design of the: (i) user interface; (ii) the system behaviour that is modeled by means of patterns which can combine Multimedia and standard information, and; (iii) the database and media contents. This thesis makes the theoretic presentation of these approaches accompanied with examples from a real project which provide the necessary support for the understanding of the used techniques.Orientador Professor Doutor Paulo Nazareno Maia Sampai

Pratiques informationnelles informelles des adolescents (14 - 18 ans) sur le Web

Thèse de Doctorat en Sciences de l\u27information & de la communication de Madame Karine Aillerie, soutenue l\u27Université Paris 13 sous la direction de Roger Bautier, portant sur les pratiques informationnelles informelles des adolescents (14-18 ans) sur le Web

Representando sincronização multimídia através do modelo reflexivo tempo real RTR

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico.O objetivo deste trabalho é validar o Modelo Reflexivo Tempo Real - RTR que explora as potencialidades dos paradigmas de orientação a objetos e reflexão computacional, no sentido de averiguar sua adequação na especificação da sincronização multimídia, visando contribuir para a solução de vários problemas encontrados atualmente nessa classe de especificação. A potencialidade do modelo é demonstrada através de um exemplo envolvendo situações típicas de um cenário multimídia real. Além disso, uma extensão do modelo para especificação de sincronização multimídia é descrita e exemplificada. Adicionalmente, esta dissertação também apresenta um estudo abrangente sobre os requisitos para um modelo multimídia e sobre os principais modelos e linguagens reflexivas

Conception formelle de documents hypermedias portables

This thesis proposes a formal model and a methodology to support the formal design of portable hypermedia documents. This methodology covers the main steps of the life cycle of hypermedia documents. We defined a formal model which allows the specification and analysis of hypermedia documents. The implementation is supported by the translation of the analyzed specification into a physical representation which can be interpreted by a presentation system. We developed software tools to put this methodology into practice. The proposed formal model is an extension of the Hierarchical Time Stream Petri Nets model (HTSPN), which enables a unified and accurate specification of temporal and logical synchronization within hypermedia systems. However, this model only addresses logical and temporal synchronization issues. The interpreted HTSPN model (I-HTSPN), introduced in this thesis, provides means to completely specify hypermedia documents. The proposed methodology provides a solid basis for the specification and analysis of hypermedia documents and the translation of these specifications into either MHEG representations or Java applications. MHEG is an international standard which defines rules for multimedia and hypermedia information encoding and allows the transfer of this information through open systems. Java is a programming language of multimedia applications providing a portable code. In brief, the main contribution of this work is the proposition and the implementation of an methodology which allows the users to control the quality and the complexity of hypermedia systems, based on a life cycle providing the direct generation of hypermedia documents from fully analyzed formal specifications.Cette thèse propose un modèle formel et une méthodologie, permettant la conception formelle de documents hypermédias portables, qui couvre toutes les étapes essentielles du cycle de développement des documents hypermédias. Nous avons défini un modèle formel permettant la spécification et l'analyse des documents. L'implémentation est supportée par la traduction de la spécification analysée en une représentation physique interprétable par un système de présentation. Nous avons aussi développé des outils mettant en oeuvre cette méthodologie. Le modèle formel proposé est une extension du modèle Réseaux de Pétri Hiérarchiques à Flux Temporel (RdPHFT), qui permet une spécification formelle unifiée et précise de la synchronisation logique et temporelle des systèmes hypermédias distribués. Le modèle RdPHFT n'a pas pour objectif la description complète de documents hypermédias. Cette thèse propose une version interprétée du modèle RdPHFT, appelée RdPHFT-I, qui étend le modèle RdPHFT afin de permettre la spécification complète de documents hypermédias. A la suite et à l'aide du modèle RdPHFT-I, nous proposons une méthodologie de prototypage de documents hypermédias dans laquelle la spécification et l'analyse des documents sont faites à l'aide du modèle RdPHFT-I et l'implantation est supportée : soit par la production automatique de représentations MHEG, soit par la production d'applications Java. MHEG est une norme internationale de représentation des informations multimédias et hypermédias permettant le transfert de ces informations dans un système ouvert. Java est un langage de programmation d'applications multimédias fournissant un code portable de l'application. En résumé, la principale contribution de ce travail est d'avoir proposé et mis en oeuvre une méthodologie permettant de contrôler la qualité et de maîtriser la complexité des systèmes hypermédias, à partir d'un cycle de vie permettant de générer directement un docume nt hypermédia à partir d'une spécification formelle analysée