An approach for validation of semantic composability in simulation models

Proceedings - Workshop on Principles of Advanced and Distributed Simulation, PADS

Volumn , Issue , 2009, Pages 3-10

  Szabo, C ^a   Teo, Y M ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIORAL EQUIVALENCE; COMPOSABILITY; LIVENESS; LOGICAL PROPERTIES; NON-TRIVIAL; PERFECT MODEL; SIMULATION COMPONENTS; SIMULATION MODEL; SIMULATION TIME; STATE-OF-THE-ART APPROACH; TEMPORAL PROPERTY;

MODEL CHECKING; SEMANTICS;

SIMULATORS;

EID: 70350406393     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PADS.2009.14     Document Type: Conference Paper

References (15)

1. O. Balci. Verification, Validation and Accreditation of Simulation Models. In Proceedings of the Winter Simulation Conference, pages 135-141, Atlanta, USA, 1997.
2. M. Ben-Ari. Principles of the Spin model checker. Springer Verlag, 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. R. Gore and P. Reynolds. Applying Causal Inference to Understand Emergent Behavior. In Proceedings of the Winter Simulation Conference, pages 712-721, Miami, USA, 2008.
5. S. Kasputis and H. Ng. Composable Simulations. In Proceedings of the Winter Simulation Conference, pages 1577-1584, Orlando, USA, 2000.
6. F. Moradi, R. Ayani, S. Mokarizadeh, G. H. A. Shahmirzadi, and G. Tan. A Rule-based Approach to Syntactic and Semantic Composition of BOMs. In Proceedings of the 11th IEEE Symposium on Distributed Simulation and Real-Time Applications, pages 145-155, Crete, Greece, 2007.
7. S. Owicki and L. Lamport. Proving Liveness Properties of Concurrent Programs. ACM Transactions on Programming Languages and Systems (TOPLAS), 4:455-495, 1982.
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. J. Srba. On the Power of Labels in Transition Systems. In Proceedings of the 12th International Conference on Concurrency Theory, pages 277-291, Aalborg, Denmark, 2001.
10. C. Szabo and Y. Teo. On Syntactic Composability and Model Reuse. In Proceedings of the International Conference on Modeling and Simulation, pages 230-237, Phuket, Thailand, 2007.
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. Y. Teo and C. Szabo. CODES: An Integrated Approach to Composable Modeling and Simulation. In Proceedings of the 41st Annual Simulation Symposium, pages 103-110, Ottawa, Canada, 2008.
13. A. Tolk. What Comes After the Semantic Web - PADS Implications for the Dynamic Web. In Proceedings of the 20th Workshop on Principles of Advanced and Distributed Simulation, pages 55-62, Singapore, 2006.
14. M. K. Traore. Analyzing Static and Temporal Properties of Simulation Models. In Proceedings of theWinter Simulation Conference, pages 897-904, Monterey, USA, 2006.
15. B. Ziegler, H. Prahofer, and T. Kim. Theory of Modeling and Simulation. Academic Press, 2000.