Model-Driven Development of Interactive Multimedia Applications

The development of highly interactive multimedia applications is still a challenging and complex task. In addition to the application logic, multimedia applications typically provide a sophisticated user interface with integrated media objects. As a consequence, the development process involves different experts for software design, user interface design, and media design. There is still a lack of concepts for a systematic development which integrates these aspects. This thesis provides a model-driven development approach addressing this problem. Therefore it introduces the Multimedia Modeling Language (MML), a visual modeling language supporting a design phase in multimedia application development. The language is oriented on well-established software engineering concepts, like UML 2, and integrates concepts from the areas of multimedia development and model-based user interface development. MML allows the generation of code skeletons from the models. Thereby, the core idea is to generate code skeletons which can be directly processed in multimedia authoring tools. In this way, the strengths of both are combined: Authoring tools are used to perform the creative development tasks while models are used to design the overall application structure and to enable a well-coordinated development process. This is demonstrated using the professional authoring tool Adobe Flash. MML is supported by modeling and code generation tools which have been used to validate the approach over several years in various student projects and teaching courses. Additional prototypes have been developed to demonstrate, e.g., the ability to generate code for different target platforms. Finally, it is discussed how models can contribute in general to a better integration of well-structured software development and creative visual design

Dynamic enterprise modelling: a methodology for animating dynamic social networks

PhD ThesisSince the introduction of the Internet and the realisation of its potential companies have either transformed their operation or are in the process of doing so. It has been observed, that developments in I.T., telecommunications and the Internet have boosted the number of enterprises engaging into e-commerce, e-business and virtual enterprising. These trends are accompanied by re-shaping, transformation and changes in an enterprise's boundaries. The thesis gives an account of the research into the area of dynamic enterprise modelling and provides a modelling methodology that allows different roles and business models to be tested and evaluated without the risk associated with committing to a change

Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems

This guidebook, the second of a two-volume series, is intended to facilitate the transfer of formal methods to the avionics and aerospace community. The 1st volume concentrates on administrative and planning issues [NASA-95a], and the second volume focuses on the technical issues involved in applying formal methods to avionics and aerospace software systems. Hereafter, the term "guidebook" refers exclusively to the second volume of the series. The title of this second volume, A Practitioner's Companion, conveys its intent. The guidebook is written primarily for the nonexpert and requires little or no prior experience with formal methods techniques and tools. However, it does attempt to distill some of the more subtle ingredients in the productive application of formal methods. To the extent that it succeeds, those conversant with formal methods will also nd the guidebook useful. The discussion is illustrated through the development of a realistic example, relevant fragments of which appear in each chapter. The guidebook focuses primarily on the use of formal methods for analysis of requirements and high-level design, the stages at which formal methods have been most productively applied. Although much of the discussion applies to low-level design and implementation, the guidebook does not discuss issues involved in the later life cycle application of formal methods

Iterchanging Discrete Event Simulationprocess Interaction Modelsusing The Web Ontology Language - Owl

Discrete event simulation development requires significant investments in time and resources. Descriptions of discrete event simulation models are associated with world views, including the process interaction orientation. Historically, these models have been encoded using high-level programming languages or special purpose, typically vendor-specific, simulation languages. These approaches complicate simulation model reuse and interchange. The current document-centric World Wide Web is evolving into a Semantic Web that communicates information using ontologies. The Web Ontology Language OWL, was used to encode a Process Interaction Modeling Ontology for Discrete Event Simulations (PIMODES). The PIMODES ontology was developed using ontology engineering processes. Software was developed to demonstrate the feasibility of interchanging models from commercial simulation packages using PIMODES as an intermediate representation. The purpose of PIMODES is to provide a vendor-neutral open representation to support model interchange. Model interchange enables reuse and provides an opportunity to improve simulation quality, reduce development costs, and reduce development times

Transportation system modeling using the High Level Architecture

This dissertation investigates the High Level Architecture (HLA) as a possible distributed simulation framework for transportation systems. The HLA is an object-oriented approach to distributed simulations developed by the Department of Defense (DoD) to handle the issues of reuse and interoperability of simulations. The research objectives are as follows: (1) determine the feasibility of making existing traffic management simulation environments HLA compliant; (2) evaluate the usability of existing HLA support software in the transportation arena; (3) determine the usability of methods developed by the military to test for HLA compliance on traffic simulation models; and (4) examine the possibility of using the HLA to create Internet-based virtual environments for transportation research. These objectives were achieved in part via the development of a distributed simulation environment using the HLA. Two independent traffic simulation models (federates) comprised the environment (federation). A CORSIM federate models a freeway feeder road with an on-ramp while an Arena federate models a tollbooth exchange

A new approach to the development and maintenance of industrial sequence logic

This thesis is concerned with sequence logic as found in industrial control systems, with the focus being on process and manufacturing control systems. At its core is the assertion that there is a need for a better approach to the development of industrial sequence logic to satisfy the life-cycle requirements, and that many of the ingredients required to deliver such an approach are now available. The needs are discussed by considering the business case for automation and deficiencies with traditional approaches. A set of requirements is then derived for an integrated development environment to address the business needs throughout the control system life-cycle. The strengths and weaknesses of relevant control system technology and standards are reviewed and their bias towards implementation described. Mathematical models, graphical methods and software tools are then assessed with respect to the requirements for an integrated development environment. A solution to the requirements, called Synect is then introduced. Synect combines a methodology using familiar graphical notations with Petri net modelling supported by a set of software tools. Its key features are justified with reference to the requirements. A set of case studies forms the basis of an evaluation against business needs by comparing the Synect methodology with current approaches. The industrial relevance and exploitation are then briefly described. The thesis ends with a review of the key conclusions along with contributions to knowledge and suggestions for further research

A study on Discrete Event Simulation (DES) in a High-Level Architecture (HLA) networked simulation

This thesis investigates implementing Discrete Event Simulation (DES) concepts using Simkit packages into a High- Level Architecture (HLA)-networked simulation, thus addressing sustainability of the HLA methodology into the future. Through the DES concept of predicting and anticipating the time of when events will occur, redundant and excessive exchange of common data, like position and sensory status, can be removed. This DES implementation considerably reduces the network load and removes data processing incompatibility between simulations. A design involving several concepts of DES and HLA simulation led to the creation of a Simkit based application library. Interfacing this application library with two DES models demonstrated and proved the feasibility of DES concepts in HLA-networked simulations. A generic combat scenario modeled using this methodology, successfully showed the intended advantages of the thesis. The ease of linking non-DES and non-HLA simulations to an HLA environment was enhanced using a common set of interfaces built based on the resulting application library. Through a simple comparison with traditional time-stepped real-time simulation of the same scenario configuration, it was shown that data exchange between simulations was reduced by several orders of magnitude. This freed a substantial amount of network resources to perform other tasks, hence, improving network performance.http://archive.org/details/astudyondiscrete109454958(Simulation Systems) author (civilian)Approved for public release; distribution is unlimited

State of the Art in Dense Monocular Non-Rigid 3D Reconstruction

3D reconstruction of deformable (or non-rigid) scenes from a set of monocular2D image observations is a long-standing and actively researched area ofcomputer vision and graphics. It is an ill-posed inverse problem,since--without additional prior assumptions--it permits infinitely manysolutions leading to accurate projection to the input 2D images. Non-rigidreconstruction is a foundational building block for downstream applicationslike robotics, AR/VR, or visual content creation. The key advantage of usingmonocular cameras is their omnipresence and availability to the end users aswell as their ease of use compared to more sophisticated camera set-ups such asstereo or multi-view systems. This survey focuses on state-of-the-art methodsfor dense non-rigid 3D reconstruction of various deformable objects andcomposite scenes from monocular videos or sets of monocular views. It reviewsthe fundamentals of 3D reconstruction and deformation modeling from 2D imageobservations. We then start from general methods--that handle arbitrary scenesand make only a few prior assumptions--and proceed towards techniques makingstronger assumptions about the observed objects and types of deformations (e.g.human faces, bodies, hands, and animals). A significant part of this STAR isalso devoted to classification and a high-level comparison of the methods, aswell as an overview of the datasets for training and evaluation of thediscussed techniques. We conclude by discussing open challenges in the fieldand the social aspects associated with the usage of the reviewed methods.<br