Architecting the Executables with DEVS Unified Process ...

Featured Services

Modeling and Simulation Modeling in software and systems engineering is the art of emulation/simplification of real-world using valid abstractions, formal knowledge representation and implementation as a software program or a graphical artifact. Simulation is the act of execution of the model on a time-base to present dynamical behavior. Modeling and Simulation are independent areas of research and the simulator executes a "contract" (simulation protocol) when it simulates a model. Correctness of this contract and simulator implementation is called Verification. Correctness of model is done through Validation.
Executable Architectures The simulation of an architecture model is an open problem and largely unsolved. We at DUNIP with our research repository and experience are moving towards a product that could provide executable architectures based on Department of Defense Architecture Framework (DODAF) Version 2.0 with MDSE. The foundation is described in our latest book.
Model-Driven Systems Engineering (MDSE) With the theoretical foundation of Discrete Event Systems formalism, a.k.a DEVS, we engineer our M&S-driven systems with strong theoretical systems engineering principles and advanced model engineering technologies employing metamodeling and Domain Specific Languages (DSLs). The DEVS Unified Process (DUNIP) facilitates integration and continuous satisfaction of requirements across the entire systems lifecycle in an agile manner
Netcentric Agent-based Distributed Systems With industry's widespread adoption of Service Oriented Architecture (SOA) and its pursuit of semantic web technologies, we at Dunip bring solutions that allow netcentric modeling and simulation-based engineering for interoperable event-driven architectures and systems. We engineer multi-agent systems and complex dynamical system-of-systems using scientific theories/frameworks based on agent-based computing, organic computing and natural computing.
DEVSML
PDF Print E-mail

Update: The paper titled "DEVSML 2.0: The Language and the Stack" was presented at DEVS Symposium, Spring Simulation Multiconference 2012 at Orlando, FL and the latest version of DEVSML 2.0 is here.

DEVSML is an acryonym for DEVS Modeling Language. This work is built on the JAVAML research done by Vladimir for DEVSML. It was pursued independently by Jose Luis Martin that resulted in DEVSML with small behavioral support. The present work aims to integrate these two approaches and provide complete behavioral support to DEVSML by implementing the proposed universal Atomic and Coupled DEVS schemas at Dunip. We look forward towards standardization of these schemas with DEVS Standardization committe so that models across the web can participate in Dynamic Modeling & Simulation over Net-centric web services.

DEVSML is a novel way of writing DEVS models in XML language. This DEVSML is built on JAVAML, which is infact, XML implementation of JAVA. The current development effort of DEVSML takes its power from the underlying JAVAML(earlier work by Vladimir) that is needed to specify the behavior of atomic models. We now have the capability to write DEVS models in DEVSML, both atomic and coupled through the developed DTDs. The DEVSML models are tranformable back'n forth to java and to DEVSML. It is an attempt to provide interoperability between various models and create dynamic scenarios. The key concept is shown in the figure below:

Figure 1: Basic concept with respect to Automation of DEVS models using DEVSML

Figure 2: DEVS Transparency &Net-centric Model Interoperability using DEVSML Layered Architecture

The concept shown above is based on DEVSML Layered architecture that promotes DEVS transparency. The basic concept is a part in overall web enabled infrastructure where such atomic models are dynamically coupled and simulated over SOA. Development is underway to make the DTDs SOA capable. The figure below shows various other acronyms like DoDAF, which is Department of Defense Architecture Framework. The present work aims to empower DoDAF with a repository of 'interoperable' models defined under DEVS Formalism. More details on the approach can be found in references section.

Figure 3: Process Methodology showing how automated modeling using XML can provide M&S to DoDAF documents

Finall this work is a part of the overall DEVS-DODAF Testing & Evaluation Strategy where M&S is integrated enough to be a part of design process.

The initial concept (done in 2006) is available at DEVSML-Automation using XML for DEVS-Based Testing and Evaluation

Related References