Towards a framework to detect modeling and semantic errors in event graphs

Yahya E. Osais*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Scopus citations

Abstract

An event graph is a visual representation of a discrete-event simulation model. It shows the events that occur in the model and the scheduling relationships between them. It also shows the impact of events on the state of the simulation model. On the other hand, event graphs have no formal semantics. This can lead to modeling and execution errors. For example, if a deadlock in the event graph is not detected while constructing the model, the execution of the model will halt when the deadlock is encountered. Deadlocks can be easily detected by inspecting the corresponding event graph of a simulation problem. This paper represents the first step towards building a framework for assisting in detecting modeling and semantic errors in event graphs. The author is going to point out some common modeling issues with event graphs. Several examples will be given to illustrate the power of event graphs and their shortcomings.

Original languageEnglish
Title of host publicationSimulation Series
EditorsJose J. Padilla, Christopher J. Lynch
PublisherThe Society for Modeling and Simulation International
Pages13-22
Number of pages10
Edition11
ISBN (Electronic)9781538671443
ISBN (Print)9781510860131, 9781510860148, 9781510860155, 9781510860162, 9781510860179, 9781510860186, 9781510860186, 9781510860209
DOIs
StatePublished - 2018

Publication series

NameSimulation Series
Number11
Volume50
ISSN (Print)0735-9276

Bibliographical note

Publisher Copyright:
© 2018 Society for Modeling & Simulation International (SCS).

Keywords

  • Code synthesis
  • Discrete-event simulation
  • Event graphs
  • Modeling errors
  • Semantics

ASJC Scopus subject areas

  • Computer Networks and Communications

Fingerprint

Dive into the research topics of 'Towards a framework to detect modeling and semantic errors in event graphs'. Together they form a unique fingerprint.

Cite this