Distributed Event Graphs: Formalizing Component-based Modelling and Simulation

Authors:
Juan de Lara
Affiliations:
Escuela Politécnica Superior, Ingeniería Informática, Universidad Autónoma de Madrid, Madrid, Spain
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2005

Citing 8
Cited 3

A model for distributed systems based on graph rewriting

Journal of the ACM (JACM)
Simulation modeling with event graphs

Communications of the ACM
Architecture initiatives: component-based simulation modeling

Proceedings of the 32nd conference on Winter simulation
Theory of Modeling and Simulation

Theory of Modeling and Simulation
A visual environment for visual languages

Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Composing Domain-Specific Design Environments

Computer
Rearchitecting the UML infrastructure

ACM Transactions on Modeling and Computer Simulation (TOMACS)
AToM3: A Tool for Multi-formalism and Meta-modelling

FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering

Modeling internet applications with event graphs

FSKD'09 Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 5
A novel approach of process mining with event graph

KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part I
Workflow simulation for operational decision support using event graph through process mining

Decision Support Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this work an extension to the classical Event Graphs formalism for discrete-event simulation is presented. The extensions are oriented towards the specification of component-based models. The abstract syntax has been defined through meta-modelling. Several methodological issues are discussed, concerning the use of two different meta-modelling levels or collapsing the language into a single one, where ''instance-of'' relationships are used between processes and their classes. The operational semantics have been defined through graph transformation. This formal definition enables analysis before code is generated from the model. The syntax and semantics of the visual language have been implemented in the multi-paradigm tool AToM^3, together with a code generator that produces stand-alone applications able to run the analysed models in real-time.