Conference Paper

Kiltera: A Language for Timed, Event-Driven, Mobile and Distributed Simulation

Appl. Formal Methods Group, Queen's Univ., Kingston, ON, Canada
DOI: 10.1109/DS-RT.2010.19 Conference: Distributed Simulation and Real Time Applications (DS-RT), 2010 IEEE/ACM 14th International Symposium on
Source: IEEE Xplore

ABSTRACT Kiltera is a language for modelling, analysis and simulation of time-sensitive, event-driven systems with support for (channel) mobility, introduced in. In this paper we present an updated version of the language to support distributed computation. We present the language from an informal perspective and discuss its implementation based on event-scheduling and time-warp for distributed simulation. We also present a nontrivial application to modelling load-balancing in server farms.

  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: Event-based communication styles are potential solutions for facilitating high flexibility, scalability, and concurrency of distributed systems due to the intrinsic loose coupling of the participants. However, software developers often find the event-driven communication style unintuitive, especially for large and complex systems with numerous constituting elements, because of its non-deterministic characteristics. In this paper, we propose a novel approach based on DERA---an event actor-based framework---which can be used to describe distributed event-based systems with reduced nondeterminism. DERA's graphical notations support representing a current snapshot of an event-based system closely to the intuitive perception of the developers. We propose a formal specification of the event actors-based constructs and the graphical notations based on Petri nets in order to enable formal analysis of such snapshots. Based on this, an automated translation from event actors-based constructs to Petri nets using template-based model transformation techniques is also developed. The applicability of our approach is shown through an industrial case study in the field of service platform integration.
    17th IEEE International Enterprise Distributed Object Computing Conference (EDOC); 09/2013

Full-text (2 Sources)

Available from
Jun 10, 2014