Towards a Framework to Detect Modeling and Semantic Errors in Event Graphs

Yahya E. Osais

doi:10.1109/SPECTS.2018.8574132

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 proceeding › Conference contribution › peer-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 language	English
Title of host publication	2018 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, SPECTS 2018
Publisher	Institute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)	9781538671443
DOIs	https://doi.org/10.1109/SPECTS.2018.8574132
State	Published - 12 Dec 2018

Publication series

Name	2018 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, SPECTS 2018

Bibliographical note

Publisher Copyright:
© 2018 IEEE.

Keywords

Code synthesis
discrete-event simulation
event graphs
modeling errors
semantics

ASJC Scopus subject areas

Computer Networks and Communications
Safety, Risk, Reliability and Quality
Modeling and Simulation

Access to Document

10.1109/SPECTS.2018.8574132

Cite this

Osais, Y. E. (2018). Towards a Framework to Detect Modeling and Semantic Errors in Event Graphs. In 2018 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, SPECTS 2018 Article 8574132 (2018 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, SPECTS 2018). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SPECTS.2018.8574132

Osais, Yahya E. / Towards a Framework to Detect Modeling and Semantic Errors in Event Graphs. 2018 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, SPECTS 2018. Institute of Electrical and Electronics Engineers Inc., 2018. (2018 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, SPECTS 2018).

@inproceedings{3f635bd5a7524c5d92e5b630557a657d,

title = "Towards a Framework to Detect Modeling and Semantic Errors in Event Graphs",

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.",

keywords = "Code synthesis, discrete-event simulation, event graphs, modeling errors, semantics",

author = "Osais, \{Yahya E.\}",

note = "Publisher Copyright: {\textcopyright} 2018 IEEE.",

year = "2018",

month = dec,

day = "12",

doi = "10.1109/SPECTS.2018.8574132",

language = "English",

series = "2018 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, SPECTS 2018",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

booktitle = "2018 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, SPECTS 2018",

address = "United States",

}

Osais, YE 2018, Towards a Framework to Detect Modeling and Semantic Errors in Event Graphs. in 2018 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, SPECTS 2018., 8574132, 2018 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, SPECTS 2018, Institute of Electrical and Electronics Engineers Inc. https://doi.org/10.1109/SPECTS.2018.8574132

Towards a Framework to Detect Modeling and Semantic Errors in Event Graphs. / Osais, Yahya E.
2018 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, SPECTS 2018. Institute of Electrical and Electronics Engineers Inc., 2018. 8574132 (2018 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, SPECTS 2018).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Towards a Framework to Detect Modeling and Semantic Errors in Event Graphs

AU - Osais, Yahya E.

PY - 2018/12/12

Y1 - 2018/12/12

N2 - 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.

AB - 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.

KW - Code synthesis

KW - discrete-event simulation

KW - event graphs

KW - modeling errors

KW - semantics

UR - https://www.scopus.com/pages/publications/85060280923

U2 - 10.1109/SPECTS.2018.8574132

DO - 10.1109/SPECTS.2018.8574132

M3 - Conference contribution

AN - SCOPUS:85060280923

T3 - 2018 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, SPECTS 2018

BT - 2018 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, SPECTS 2018

PB - Institute of Electrical and Electronics Engineers Inc.

ER -

Osais YE. Towards a Framework to Detect Modeling and Semantic Errors in Event Graphs. In 2018 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, SPECTS 2018. Institute of Electrical and Electronics Engineers Inc. 2018. 8574132. (2018 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, SPECTS 2018). doi: 10.1109/SPECTS.2018.8574132

Towards a Framework to Detect Modeling and Semantic Errors in Event Graphs

Abstract

Publication series

Bibliographical note

Keywords

ASJC Scopus subject areas

Access to Document

Fingerprint

Cite this