| This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages)
| A major contributor to this article appears to have a close connection with its subject. It may require cleanup to comply with Wikipedia's content policies, particularly neutral point of view. Please discuss further on the talk page. (November 2012) (Learn how and when to remove this message) |
| The topic of this article may not meet Wikipedia's notability guidelines for products and services. Please help to demonstrate the notability of the topic by citing reliable secondary sources that are independent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be merged, redirected, or deleted.
Find sources: "MS4 Modeling Environment" – news · newspapers · books · scholar · JSTOR (November 2012) (Learn how and when to remove this message) |
(Learn how and when to remove this message) |
MS4 Modeling Environment (MS4 Me) is a discrete event simulation system (DEVS) software developed by MS4 Systems, Inc. It has been used in the modeling of complex systems (such as a national health care system)[1] and is also covered in a discrete event simulation and systems of systems modeling text.[2]
[3]
[4]
[5]
[6]
[7]
MS4 Me supports the development and simulation of DEVS models via a natural language or Java. Finite Deterministic DEVS[8] (FDDEVS) models can also be quickly developed and analyzed. DEVS models can be composed into more complex systems via the use of System Entity Structures,[9] and System Entity Structures can be composed into complex systems of systems for simulation. Many different configurations of these systems can be stored and simulated via the use of pruning.[9]
See also
References
- ^ Bernard P. Zeigler; Ernest Carter; Chungman Seo; et al. (October 2012). Methodology and Modeling Environment for Simulating National Health Care (PDF). Proceedings of the 2012 AutumnSim Conference on Medical Processes Modeling and Simulation (MPMS). San Diego, California.
- ^ Zeigler, Bernard (2012). Guide to Modeling and Simulation of Systems of Systems (Simulation Foundations, Methods and Applications). Springer. ISBN 978-0857298645.
- ^ Jeffrey D. Morris (September 2014). CONCEPTUAL MODELING OF A QUANTUM KEY DISTRIBUTION SIMULATION RAMEWORK USING THE DISCRETE EVENT SYSTEM SPECIFICATION (PDF). Air Force Institute of Technology Air University. Master Sergeant, USA.
- ^ Jeffrey D Morris; Michael R Grimaila; Douglas D Hodson; et al. (October 2014). The Journal of Defense Modeling and Simulation: Applications, Methodology, Technology (PDF). SAGE journals.
- ^ Aznam Yacoub; Maamar el-amine Hamri; Claudia Frydman; et al. (September 2015). Towards an Extension of PROMELA for the Modeling, Simulation and Verification of Discrete-Event Systems. Proceedings of the 27th European Modelling & Simulation Symposium, EMSS 2015. Bergeggi, Italy.
- ^ Aznam Yacoub; Maamar el-amine Hamri; Claudia Frydman; et al. (January 2017). Towards an Extension of PROMELA for the Modeling, Simulation and Verification of Discrete-Event Systems. International Journal of Simulation and Process Modelling 12(3/4):313.
- ^ Valdemar Vicente Graciano Neto; Lina Garces; Milena Guessi; et al. (January 2017). ASAS: An Approach to Support Simulation of Smart Systems. 51 st Hawaii International Conference on System Sciences. Waikoloa, Hawai, USA.
- ^ "FDDEVS Models". MS4 Systems, Inc. Retrieved November 14, 2012.
- ^ a b "System Entity Structures". MS4 Systems, Inc. Retrieved November 14, 2012.
External links
