Normal view MARC view

Structural and behavioral equivalence of simulation models

Author: Yücesan, Enver ; Schruben, LeeINSEAD Area: Technology and Operations ManagementIn: ACM Transactions on Modeling and Computer Simulation, vol. 2, no. 1, January 1992 Language: EnglishDescription: p. 82-103.Type of document: INSEAD ArticleNote: Please ask the Library for this articleAbstract: It is sometimes desirable to know when two different discrete event simulation models are, in some sense, interchangeable; that is, whether or not the two models always have the same output when run under identical experimental conditions. This notion of behavioral equivalence, while conceptually imple, is difficult to define in a manner that is both useful and testable. It is difficult or impossible to assert that two simulations are behaviorally equivalent for all possible experiments. In this paper, we present an explicit and sensible definition of behavioral equivalence. Unfortunately, like other definitions in the literature, our definition is not testable in practice. However, using a general graph-theoretic specification of simulation models, which we call simulation grphs, we define a testable property related to behavioral equivalence which we refer to as structural equivalence. We then establish that structural equivalence implies behavioral equivalence
Tags: No tags from this library for this title. Add tag(s)
Log in to add tags.
Item type Current location Call number Status Date due
INSEAD Article Doriot Library
Available

Please ask the Library for this article

It is sometimes desirable to know when two different discrete event simulation models are, in some sense, interchangeable; that is, whether or not the two models always have the same output when run under identical experimental conditions. This notion of behavioral equivalence, while conceptually imple, is difficult to define in a manner that is both useful and testable. It is difficult or impossible to assert that two simulations are behaviorally equivalent for all possible experiments. In this paper, we present an explicit and sensible definition of behavioral equivalence. Unfortunately, like other definitions in the literature, our definition is not testable in practice. However, using a general graph-theoretic specification of simulation models, which we call simulation grphs, we define a testable property related to behavioral equivalence which we refer to as structural equivalence. We then establish that structural equivalence implies behavioral equivalence

Digitized

There are no comments for this item.

Log in to your account to post a comment.
Koha 3.18 - INSEAD Library Catalogue
Library Home | Contact Us | What's Koha?