A comparison of DEVS and semantic composability theory

2005 Spring Simulation Interoperability Workshop, SIW 2005 - International European Multi Conference

Volumn , Issue , 2005, Pages

  Weisel, Eric W ^a   Petty, Mikel D ^b   Mielke, Roland R ^b  

^a WernerAnderson Inc   (United States)

^b OLD DOMINION UNIVERSITY   (United States)

Author keywords

Composability; DEVS; Semantic composabiliy theory

Indexed keywords

DISCRETE EVENT SIMULATION; INTERACTIVE COMPUTER SYSTEMS; INTEROPERABILITY; SEMANTICS; SPECIFICATIONS; SPRINGS (COMPONENTS);

COMPLEXITY OF COMPOSITIONS; COMPUTABILITY THEORY; DISCRETE EVENT SYSTEM SPECIFICATION; DYNAMIC STRUCTURE; FORMAL DEFINITION; NOTATIONAL SYSTEMS; SIMULATION DEVELOPMENT; STATE TRANSITION FUNCTIONS;

REAL TIME SYSTEMS;

EID: 85091695264     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (26)

1. M. D. Petty and E. W. Weisel, “A Composability Lexicon”, Proceedings of the Spring 2003 Simulation Interoperability Workshop, Orlando FL, March 30-April 4 2003, pp. 181-187.
2. E. W. Weisel, M. D. Petty, and R. M. Mielke, “A Survey of Engineering Approaches to Composability”, Proceedings of the Spring 2004 Simulation Interoperability Workshop, Arlington VA, April 18-23 2004.
3. S. Porcarelli, M. Castaldi, F. Di Giandomenico, A. Bondavalli, and P. Inverardi, “A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems”, in R. de Lemos, C. Gacek, and A. Romanovsky (Eds.), Architecting Dependable Systems, Volume 2, Lecture Notes in Computer Science, Springer-Verlag, New York NY.
4. S. Waziruddin, D. C. Brogan, and P. F. Reynolds, “The Process for Coercing Simulations”, Proceedings of the Fall 2003 Simulation Interoperability Workshop, Orlando FL, September 14-19 2003.
5. R. R. Mielke and M. A. Phillips, “Development and Application of an Academic Battle Lab”, Proceedings of the 2003 Interservice/Industry Training, Simulation and Education Conference, Orlando FL, December 1-4 2003, pp. 1371-1380.
6. P. K. Davis and R. H. Anderson, Improving the Composability of Department of Defense Models and Simulations, RAND National Defense Research Institute, Santa Monica CA, 2004.
7. P. K. Davis and R. H. Anderson, “Improving the Composability of Department of Defense Models and Simulations”, Journal of Defense Modeling and Simulation, Vol. 1, No. 1, January 2004, pp. 5-17.
8. M. D. Petty and E. W. Weisel, “A Formal Basis for a Theory of Semantic Composability”, Proceedings of the Spring 2003 Simulation Interoperability Workshop, Orlando FL, March 30-April 4 2003, pp. 416-423.
9. M. D. Petty, E. W. Weisel and R. R. Mielke, “A Formal Approach to Composability”, Proceedings of the 2003 Interservice/Industry Training, Simulation and Education Conference, Orlando FL, December 1-4 2003, pp. 1763-1772.
10. E. W. Weisel, R. R. Mielke, and M. D. Petty, “Validity of Models and Classes of Models in Semantic Composability”, Proceedings of the Fall 2003 Simulation Interoperability Workshop, Orlando FL, September 14-19 2003, pages 526-536.
11. M. D. Petty, E. W. Weisel, and R. R. Mielke, “Computational Complexity of Selecting Models for Composition”, Proceedings of the Fall 2003 Simulation Interoperability Workshop, Orlando FL, September 14-19 2003, pages 517-525.
12. E. H. Page and J. M. Opper, “Observations on the Complexity of Composable Simulation”, Proceedings of the 1999 Winter Simulation Conference, Phoenix AZ, December 5-8 1999, pp. 553-560.
13. M. D. Petty, “Simple Composition Suffices to Assemble Any Composite Model”, Proceedings of the Spring 2004 Simulation Interoperability Workshop, Arlington VA, April 18-23 2004, pp. 299-307.
14. B. P. Zeigler, H. Praehofer, and T. G. Kim, Theory of Modeling and Simulation, Second Edition, Academic Press, San Diego CA, 2000.
15. S. Kasputis, I. Osvalt, R. McKay, and S. Barber, “Semantic Descriptors of Models and Simulations”, Proceedings of the Spring 2004 Simulation Interoperability Workshop, Arlington VA, April 18-23 2004.
16. Simulation Interoperability Standards Organization, Base Object Model (BOM) Template Specification Volume I - Interface BOM, SISO-STD-003.1-TRIAL-USE-V0.9, July 23 2004, On-line at http://www.boms.info/spec/BOM_VolI_v0_9_trialuse.pdf.
17. P. D. Mosses, “Denotational semantics”, in J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, Vol. B - Formal Models and Semantics, Elsevier, Amsterdam The Netherlands 1990, pp. 573-631.
18. W. Wymore, Model-Based Systems Engineering, CRC Press, Boca Raton FL, 1993.
19. S. Y. Harmon, “Interoperability between Distributed Simulations I: Interacting Models of Physical Processes”, Proceedings of the 15th Workshop on the Interoperability of Distributed Interactive Simulation, Orlando FL, September 16-20 1996.
20. M. Roggenbach and M. Majster-Cederbaum, “Towards a Unified View of Bisimulation: A Comparative Study,” Theoretical Computer Science, Vol. 238, pp. 81-130, 2000.
21. A. Borälv and G. Stålmarck, “Formal Verification in Railways”, in M. G. Hinchey and J. P. Bowen (Eds.), Industrial-Strength Formal Methods in Practice, Springer-Verlag, London, pp. 329-350, 1999.
22. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, “The synchronous data flow programming language LUSTRE”, Proceedings of the IEEE, Vol. 79, Iss. 9, pp. 1305-1320, September 1991.
23. M. D. Petty, E. W. Weisel, and R. R. Mielke, “Composability Theory Overview and Update”, Proceedings of the Spring 2005 Simulation Interoperability Workshop, April 3-8 2005, San Diego CA.
24. J. B. Collins and D. Clark, “Towards an Ontology of Physics”, Proceedings of the 2004 European Simulation Interoperability Workshop, Edinburgh Scotland, June 28-July 1 2004.
25. J. B. Collins, “Standardizing an Ontology of Physics for Modeling and Simulation”, Proceedings of the Fall 2004 Simulation Interoperability Workshop, September 19-24 2004, Orlando FL.
26. M. D. Davis, R. Sigal, and E. J. Weyuker, Computability, Complexity, and Languages, Fundamentals of Theoretical Computer Science, Second Edition, Morgan Kaufmann, San Diego CA, 1994.