TY - GEN
T1 - An Ontology Framework for Generating Discrete-Event Stochastic Models
AU - Keefe, Ken
AU - Feddersen, Brett
AU - Rausch, Michael
AU - Wright, Ronald
AU - Sanders, William H.
N1 - Publisher Copyright:
© 2018, Springer Nature Switzerland AG.
PY - 2018
Y1 - 2018
N2 - Discrete-event stochastic models are a widely used approach for studying the behavior of systems that have not been implemented or that it would be too costly to examine directly. Valuable analysis depends on carefully constructed, well-founded models, which are very difficult for humans to create. To address this problem, we propose a framework for generating detailed, low-level models from high-level, block-diagram-style graphical models. Our approach uses extensible, collaborative ontology libraries that contain information about the types of components in a system, the types of relationships that connect those components, and fragments of low-level models that can be constructed together based on the definition of a high-level system model. This framework has been implemented and used in several case studies. We describe the framework and how model generation works by examining its use to generate complex ADversary VIew Security Evaluation (ADVISE) models.
AB - Discrete-event stochastic models are a widely used approach for studying the behavior of systems that have not been implemented or that it would be too costly to examine directly. Valuable analysis depends on carefully constructed, well-founded models, which are very difficult for humans to create. To address this problem, we propose a framework for generating detailed, low-level models from high-level, block-diagram-style graphical models. Our approach uses extensible, collaborative ontology libraries that contain information about the types of components in a system, the types of relationships that connect those components, and fragments of low-level models that can be constructed together based on the definition of a high-level system model. This framework has been implemented and used in several case studies. We describe the framework and how model generation works by examining its use to generate complex ADversary VIew Security Evaluation (ADVISE) models.
KW - Discrete-event simulation
KW - Executable models
KW - Model generation
KW - Ontology
UR - http://www.scopus.com/inward/record.url?scp=85055524831&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85055524831&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-02227-3_12
DO - 10.1007/978-3-030-02227-3_12
M3 - Conference contribution
AN - SCOPUS:85055524831
SN - 9783030022266
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 173
EP - 189
BT - Computer Performance Engineering - 15th European Workshop, EPEW 2018, Proceedings
A2 - Remke, Anne
A2 - Ballarini, Paolo
A2 - Barbot, Benoît
A2 - Bakhshi, Rena
A2 - Castel-Taleb, Hind
PB - Springer
T2 - 15th European Performance Engineering Workshop, EPEW 2018
Y2 - 29 October 2018 through 30 October 2018
ER -