A service-oriented modeling and simulation framework for rapid development of distributed applications

Simulation Modelling Practice and Theory

Volumn 14, Issue 6, 2006, Pages 725-739

  Tsai, W T ^a   Fan, Chun ^a   Chen, Yinong ^a   Paul, Ray ^b  

^a Arizona State University   (United States)

^b ARMED FORCES INSTITUTE OF PATHOLOGY   (United States)

Author keywords

Distributed simulation; Multi agent simulation; Policy based computing; Service oriented architecture; Verification and validation

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; FORMAL LOGIC; LARGE SCALE SYSTEMS; SPECIFICATIONS; USER INTERFACES;

DISTRIBUTED SIMULATION; MULTI-AGENT SIMULATION; POLICY-BASED COMPUTING; SERVICE-ORIENTED ARCHITECTURE; VERIFICATION AND VALIDATION;

MULTI AGENT SYSTEMS;

EID: 33745262527     PISSN: 1569190X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.simpat.2005.10.005     Document Type: Article

References (30)

1. Arena Simulation: http://www.arenasimulation.com/.
2. Brazier F., Dumin Keplicz B., Jennings N.R., and Treur J. Formal specification of multi-agent systems: a real-world case. In: Lesser V. (Ed). Proceedings of the First International Conference on Multi-Agent Systems, ICMAS-95 (1995), MIT Press, Menlo Park, VS 25-32
3. Davila J., and Uzcagegui M. GALATEA: a multi-agent, simulation platform. International Conference on Modeling, Simulation and Neural Networks (2000), Merida, Venezuela October, pp. 52-63
4. Douglass B.P. Doing Hard Time: Develop Real-Time Systems with UML Objects, Frameworks, and Patterns (1999), Addison-Wesley
5. R.M. Fujimoto, Parallel and Distributed Simulation, in: P.A. Farrington, H.B. Nembhard, D.T. Sturrock, G.W. Evans (Eds.), Proceedings of Winter Simulation Conference, 1999, pp. 122-131.
6. Georgia Tech Time Warp: http://www.cc.gatech.edu/computing/pads/tech-parallel-gtw.html.
7. Global Information Grid (GIG): http://www.nsa.gov/ia/industry/gig.cfm?MenuID=10.3.2.2.
8. IEEE Std 1278.1-1995. IEEE Standard for Distributed Interactive Simulation-Application Protocols, 1995.
9. IEEE Std 1278.2-1995. IEEE Standard for Distributed Interactive Simulation-Communication Services and Profiles, 1995.
10. IEEE Std1516-2000: IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA)-Framework and Rules, 2000.
11. IEEE Std1516.1-2000: IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA)-Federate Interface Specification, 2000.
12. IEEE Std1516.2-2000: IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA)-Object Model Template (OMT) Specification, 2000.
13. Intel 8086 Family CPU Architecture: http://library.n0i.net/hardware/i8086opcodes/#RET/RETF.
14. Xinxin Liu, Scenario-based policy specification and execution framework, Ph.D. Proposal, Department of Computer Science and Engineering Department, Arizona State University, 2005.
15. Logan B., and Theodoropoulos G. The distributed simulation of multi-agent systems. Proceedings of the IEEE 89 2 (2001) 174-185
16. Luckham D. The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems (2002), Addison-Wesley, Reading, MA
17. Sarjoughian H.S., Zeigler B.P., and Hall S.B. A layered modeling and simulation architecture for agent-based system development. Proceedings of the IEEE 89 2 (2001) 201-213
18. Schmidt D.C., Stal M., Rohnert H., and Buschmann F. Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects (2000), John Wiley & Sons
19. SimProcess & SimScript: http://www.simprocess.com.
20. SimuLink: http://www.mathworks.com/products/simulink/.
21. Singh M.P., and Huhns M.N. Service-Oriented Computing (2005), John Wiley & Sons
22. Tsai W.T., Fan C., Paul R., and Yu L. Automated event tree analysis based-on scenario specifications. Proceedings of IEEE ISSRE (2003) 240-241
23. Tsai W.T., Yu L., Saimi A., and Paul R. Scenario-based object-oriented test frameworks for testing distributed systems. Proceedings of IEEE Future Trends of Distributed Computing Systems (2003) 288-294
24. W.T. Tsai, L. Yu, R. Paul, C. Fan, X. Liu, Rapid scenario-based simulation and model checking for embedded systems, in: Proceedings of 7th IASTED International Conference on Software Engineering and Applications, 2003, pp. 568-573.
25. W.T. Tsai, C. Fan, Z. Cao, B. Xiao, H. Huang, X. Liu, X. Wei, R. Paul, Y. Chen, J. Xu, A scenario-based service-oriented rapid multi-agent distributed modeling and simulation framework for SoS/SOA and its applications, in: Foundations '04: A Workshop for VV&A in the 21st Century, Tempe, October 2004. Available from: .
26. W.T. Tsai, Y. Chen, R. Paul, Specification-based verification and validation of web services and service-oriented operating systems, in: Tenth IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 05), Sedona, February 2005, pp. 139-147.
27. W.T. Tsai, X. Liu, Y. Chen, R. Paul, Dynamic simulation verification and validation by policy enforcement, in: 38th Annual Simulation Symposium, San Diego, CA, April 2005, pp. 91-98.
28. W.T. Tsai, X. Wei, Y. Chen, B. Xiao, R. Paul, H. Huang, Developing and assuring trustworthy web services, in: The 7th International Symposium on Autonomous Decentralized Systems, Chengdu, China, April 4-8, 2005, pp. 43-50.
29. Tyszer J. Object-Oriented Computer Simulation of Discrete-Event Systems (1999), Kluwer Academic Publishers. 0-7923-8199-8
30. Wilson L.F., Burroughs D.J., and Kumar A. A framework for linking distributed simulations using software agents. Proceedings of the IEEE 89 2 (2001) 135-142