SPDML: Graphical Modeling Language for Executable Architecture of Systems

Distributed Systems nowadays present System of Systems (SoS) characteristics such as large-scalability, composite systems consisting of software and hardware components and cooperative processes among independent systems. As architecture is a core element of Model Based System engineering (MBSE) for such systems, it is very important to validate functional requirements and evaluate Non Functional Requirements (NFR) of these systems through an executable architecting process. To achieve this goal, we propose a graphical modeling language based on Discrete Event System Specification (DEVS), the Scheduled Parallel DEVS Modeling Language (SPDML). First we present an extension of the DEVS formalism, called the Scheduled Parallel DEVS formalism (SP-DEVS). Then an associated abstract syntax and a graphical notation for SPDML are formally given. SPDML not only supports both textual and graphical modeling but also is suitable to be widely applied in Modeling & Simulation (M&S) and executable architecting for systems. To demonstrate the applicability of SPDML we´ll discuss two examples as case study.