A time-based formalism for the validation of semantic composability

Szabo, Claudia; Teo, Yong Meng; See, Simon

doi:10.1109/wsc.2009.5429293

Cited by 14 publications

(8 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In contrast, the purpose SCT is to enable the development of new theories and build understand about simulation and simulation-validation. The work of Szabo, Teo and See (2009) supports this purpose.…”

Section: Theoriesmentioning

confidence: 57%

“…These works have borrowed from other fields upon which M&S depends to establish underlying principles specifically important to M&S. For instance, Discrete Event System Specification (DEVS) (Zeigler, Praehofer, and Kim 2000) and Model-Based Systems Engineering (MBSE) (Wymore 1993) draw from systems engineering, Model Based Data Engineering (MBDE) from database theory (Tolk and Diallo 2010), descriptions of M&S using model theory , Simulation Composability Theory (SCT) from concurrency theory (Weisel, Petty, and Mielke 2003;Szabo, Teo, and See 2009), and Assumption Constraint Engineering (ACE) taking a computer science perspective . From their foundational perspectives, these M&S theories develop principles, properties, definitions, conditions, theorems, and conjectures with respect to M&S in general, some of which affect the practice, assessments, and limits of validation in particular.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Towards a unified theory of validation

Bair¹,

Tolk

2013

2013 Winter Simulations Conference (WSC)

View full text Add to dashboard Cite

The modeling and simulation (M&S) literature is rich with procedures, standards, conceptual frameworks, and M&S-related theories that provide frames of reference for M&S validation. However, these works are disjoint, leading to inconsistencies: common terms used differently, differing terms for similar concepts, varying degrees of detail, and conflicting assumptions. There is no single, unifying frame of reference for validation. This has restricted the development of a common theoretical and practical understanding of validation across the M&S field. This paper introduces the concept of a validation frame of reference; builds a taxonomy of using frames of reference found in the validation literature; and proposes the creation of a unifying theoretical framework for M&S validation to build a foundation for the development of a paradigm of common theoretical and practical understanding of validation across the M&S field.

show abstract

Section: Theoriesmentioning

confidence: 57%

Section: Introductionmentioning

confidence: 99%

Towards a unified theory of validation

Bair¹,

Tolk

2013

2013 Winter Simulations Conference (WSC)

View full text Add to dashboard Cite

show abstract

“…For example, approaches presented by Weisel et al and Szabo and Teo depend on treating models as computable functions with inputs and outputs, 28,27 and therefore cannot be used for cases where identifying model inputs/outputs is difficult and models are composed by fusion, as in the presented case study. Moreover, semantic composability is checked based on analyzing the execution sequence of the composed model and comparing it to a reference (a perfect model or a pre-specified scenario), 15,29 either by transforming model executions into labeled transition systems or through state-machine execution. 15,27,29 Our approach takes another view and employs simulation experiments that have been performed with individual models to check model validity.…”

Section: Discussionmentioning

confidence: 99%

Reusing simulation experiment specifications in developing models by successive composition — a case study of the Wnt/β-catenin signaling pathway

et al. 2017

View full text Add to dashboard Cite

With the increasing size and complexity of models, developing models by composing existing ones becomes more important. We exploit the idea of reusing simulation experiments of individual models for composition to automatically generate experiments for the composed model. First, we illustrate the process of modeling based on composition and discuss the role simulation experiments can play in this process. Our focus is on semantic validation of the composed model. We explicitly specify simulation experiments in simulation experiment specification via a Scala layer, including the desired model behavioral properties and their required experiment setups. Models are annotated with experiment specifications, and upon composition, these specifications are adapted and automatically executed for the composed model. The approach is applied in a case study of developing a Wnt/b-catenin signaling pathway model by successively composing three individual models, where we exploit metric interval temporal logic to describe model behavioral properties and check averages of stochastic simulation results against these properties.

show abstract

“…We base our proposed visualization on our previous time-based formalism for the representation of a model component (Szabo, Teo, and See 2009) …”

Section: Understanding Emergencementioning

confidence: 99%

An integrated approach for the validation of emergence in component-based simulation models

Szabo

Teo

2012

Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC)

Self Cite

View full text Add to dashboard Cite

Emergent properties are becoming increasingly important as systems grow in size and complexity. Despite recent research interest in understanding emergent behavior, practical approaches remain a key challenge. This paper proposes an integrated approach for the identification of emergence with two perspectives. A post-mortem emergence analysis requires a-priori knowledge about emergence and can identify the causes of emergent behavior. In contrast, a live analysis, in which emergence is identified as it happens, does not require prior knowledge and relies on a more rigorous definition of individual model components in terms of what they achieve, rather than how. Our proposed approach integrates reconstructability analysis in the validation of emergence included in our proposed component-based model development life-cycle.

show abstract

A time-based formalism for the validation of semantic composability

Cited by 14 publications

References 17 publications

Towards a unified theory of validation

Towards a unified theory of validation

Reusing simulation experiment specifications in developing models by successive composition — a case study of the Wnt/β-catenin signaling pathway

An integrated approach for the validation of emergence in component-based simulation models

Contact Info

Product

Resources

About