Current analysis and design methodologies are general-purpose.
Examples for DES include manufacturing, communication, traffic control systems and call centers.
Benefits of this approach include the options for code generation, correctness proving, and integration of simulation with the analysis model, extensibility, multi level modeling, reuse and graphic/textual clarity.
In the course of the research, the DES domain building blocks (Such as Queue, Server, Routing, Recourses) where defined using OPM.
To evaluate the framework suitability for analysis, design and implementation of DES, We used it to specify a number of systems, including a Job shop, and a Hospital ER.
We also conducted an experiment, in which we compared the framework to Arena - a general purpose simulation tool, the experiment outcomes show that
the framework is significantly superior to Arena in both quality of specification generation and ease of specification comprehension.