Search

Language engineering is a key factor in Multi-Paradigm Modeling (MPM). Since MPM strongly builds on metamodeling, the applied language engineering methods must also be generic enough to support various metamodels. Besides the generic methods to build the abstract and concrete syntax of a visual language, only a few solutions are available to describe the dynamic behavior ('animation') of the models. The aim of this paper is to contribute (i) an event-based conceptual architecture to support animation, (ii) a set of visual languages to describe the animation of the models and their execution. These concepts were used to implement the animation support in our tool called Visual Modeling and Transformation System (VMTS). The VMTS animation framework introduces novel languages to describe certain aspects of animation, while integrating the benefits of the existing approaches. Our solution clearly separates the domain knowledge and the animation description both on a conceptual and implementation level. Thus, the VMTS offers a concise and systematic solution to provide a highly customizable animation framework for metamodeled languages with strong integration support to external systems such as simulation engines. The efficiency of the approach is illustrated with a rather complex animation case study implementing a model transformation debugger. [ABSTRACT FROM AUTHOR]

HLA/RTI is one of the dominant middleware for large-scale distributed simulation. However, traditional RTI design and resulting implementations have been facing several difficulties, especially in satisfying the requirements for real-time distributed simulations. Many improved or novel RTI designs have been proposed in recent years, which aim to improve the real-time capabilities of RTI systems. Such designs are in general non-formalized, and the realizations of the designs are highly time-consuming and error-prone practices. In this paper, we propose a formal real-time RTI (RT-RTI) design approach using Discrete Event System Specification (DEVS). We discuss the feasibility of using DEVS and, as an additional step, we consider the case study of two recently proposed RT-RTI designs through a formalized DEVS model system. Our focus is how a DEVS component-based formalized design approach can predict some of the key design factors before the design is realized, or can further validate and consolidate realized RT-RTI designs. [ABSTRACT FROM AUTHOR]

Time Warp parallel simulations need efficient schemes to cancel erroneous event messages in order to achieve acceptable performance levels. Lazy cancellation depends on delaying the cancellation of incorrect computations until rolled-back events are re-processed. An antimessage is then sent for cancellation only if an output message re-produced after rollback is found to be unequal to its counterpart produced before rollback. One drawback of this approach is that antimessages are sent too late to catch the wave of incorrect computations, which results in more rollbacks. In this paper, we suggest an enhanced lazy cancellation technique that aims to throttle incorrect computations. It asks logical processes (LPs) that have received any output messages, generated from the first execution of a rolled-back input event in some neighboring LP, to mark those messages as temporarily blocked. Those messages remain in a blocked state until it is later decided whether or not they must be cancelled. The receiving LP becomes blocked only after a blocked input message becomes the next message to process. After re-executing the rolled-back input event, the sending LP sends each of its receiving LPs either an `Unblock' message or an antimessage for each previously marked output message, depending on the result of the equality test of that output message's versions before and after rollback. Experimental results for a synthetic benchmark show that our technique can yield better performance than both lazy and aggressive cancellation. [ABSTRACT FROM AUTHOR]