An Approach for Validation of Semantic Composability in Simulation Models

ABSTRACT

Semantic composability aims to ensure that the composition of simulation components is meaningful in terms of their expressed behavior, and achieves the desired objective of the new composed model. Validation of semantic composability is a non-trivial problem because reused simulation components are heterogeneous in nature and validation must consider various orthogonal aspects including logical, temporal, and formal. In this paper, we propose a layered approach to semantic composability validation with increasing accuracy and complexity. The first layer exploits model checking for logical properties of component coordination including deadlock, safety, and liveness. Next, we address temporal properties by validating composition safety and liveness through simulation time. The third layer provides a formal composition validation guarantee by determining the behavioral equivalence between the composed model and a perfect model. In contrast to state-of-the-art approaches, we propose time-based formalisms to describe simulation components and compare the composition behaviors through time using semantically related composition states.

REFERENCES

• 1: Osman Balci, Verification validation and accreditation of simulation models, Proceedings of the 29th conference on Winter simulation, p.135-141, December 07-10, 1997, Atlanta, Georgia, United States [doi>10.1145/268437.268462]
• 2: Mordechai Ben-Ari, Principles of the Spin Model Checker, 2008
• 3: H. Garavel. CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. In Proceedings of the 19th International Conference on Computer Aided Verification , pages 158-163, Berlin, Germany, 2007.
• 4: Ross Gore , Paul F. Reynolds, Jr., Applying causal inference to understand emergent behavior, Proceedings of the 40th Conference on Winter Simulation, December 07-10, 2008, Miami, Florida
• 5: S. Kasputis and H. Ng. Composable Simulations. In Proceedings of the Winter Simulation Conference, pages 1577- 1584, Orlando, USA, 2000.
• 6: Farshad Moradi , Rassul Ayani , Gary Tan, A Rule-based Approach to Syntactic and Semantic Composition of BOMs, Proceedings of the 11th IEEE International Symposium on Distributed Simulation and Real-Time Applications, p.145-155, October 22-26, 2007 [doi>10.1109/DS-RT.2007.10]
• 7: Susan Owicki , Leslie Lamport, Proving Liveness Properties of Concurrent Programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.3, p.455-495, July 1982 [doi>10.1145/357172.357178]
• 8: M. Petty and E. W. Weisel. A Composability Lexicon. In Proceedings of the Spring Simulation Interoperability Workshop , pages 181-187, Orlando, USA, 2003.
• 9: Jirí Srba, On the Power of Labels in Transition Systems, Proceedings of the 12th International Conference on Concurrency Theory, p.277-291, August 20-25, 2001
• 10: Claudia Szabo , Yong Meng Teo, On Syntactic Composability and Model Reuse, Proceedings of the First Asia International Conference on Modelling & Simulation, p.230-237, March 27-30, 2007 [doi>10.1109/AMS.2007.74]
• 11: C. Szabo and Y. M. Teo. Validation of Semantic Composability in Simulation Models. Technical Report APSTC-TR- 2009-01, Department of Computer Science, National University of Singapore, 2009.
• 12: Yong Meng Teo , Claudia Szabo, CODES: An Integrated Approach to Composable Modeling and Simulation, Proceedings of the 41st Annual Simulation Symposium (anss-41 2008), p.103-110, April 13-16, 2008 [doi>10.1109/ANSS-41.2008.24]
• 13: Andreas Tolk, What Comes After the Semantic Web - PADS Implications for the Dynamic Web, Proceedings of the 20th Workshop on Principles of Advanced and Distributed Simulation, p.55, May 24-26, 2006 [doi>10.1109/PADS.2006.39]
• 14: Mamadou Kaba Traoré, Analyzing static and temporal properties of simulation models, Proceedings of the 38th conference on Winter simulation, December 03-06, 2006, Monterey, California
• 15: Bernard P. Zeigler , Tag Gon Kim , Herbert Praehofer, Theory of Modeling and Simulation, Academic Press, Inc., Orlando, FL, 2000

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.6 SIMULATION AND MODELING
      I.6.4 Model Validation and Analysis

Additional Classification:
  I. Computing Methodologies
  I.6 SIMULATION AND MODELING
      I.6.5 Model Development
          Subjects: Modeling methodologies
      I.6.8 Types of Simulation

General Terms:
Design, Performance, Theory

Keywords:
simulation, semantic composability, validation, component