DUNIP: DEVS Unified ProcessIntegrated Development and Testing in Service Oriented Architecture

Dissertation DefenseSaurabh MittalApril 20, 2007

ECE Department, University of Arizona, Tucson, USA

Advisor: Prof. Bernard P. Zeigler

Outline

Introduction Problem Domain

Background and Literature Survey DEVS Framework and M&S Capabilities Automated DEVS Model Generation from various

Requirement Specifications formats Model-based Automated Test-case Generation Net-centric Simulation using SOA DUNIP: Putting it all together Demo Projects from which DUNIP Evolved Contributions and Future work

Problem Domain Background Design questions

How is design specified and requirements written Model generation issues

Foundation: Systems Based Structure: hierarchical or flat

Model Execution platforms Central, Distributed, Net-centric

Test-case development Test-plan, test-execution, Model-based

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work

Proposal

Thesis proposes an integrated process DEVS Unified Process: DUNIP Based on Bifurcated Model-Continuity

based Life-cycle methodology

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work

Bifurcated Model Continuity-Based Life-cycle Process: Integrated Development and Testing

Real-timeReal-timeexecutionexecution

BehaviorRequirements at lower levels

levels of System

Specification

BehaviorRequirements at lower levels

levels of System

Specification

Model Structures at

higher levels ofSystem

Specification

Verification and

Validation

Simulationexecution

Test Models/Federations

Model Continuity

Experimental Frames

SystemTheory

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work

Background and Literature Survey

Model Driven Architecture (MDA): OMG UML, XML, XMI, CWM, ‘forward engineering’ Creation, analysis, transformation, composition,

testing, simulation, reverse-engineering Model-based Testing methodologies

Test identification, classification Test data generation

Random, functional, control-flow, data-flow, mutation, regression

Test Selection criteria (cost-performance tradeoff) Test-case Specifications Test Suite Development

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work

Background and Literature Survey

Automated Test-case Generation UML widely used but insufficient and

incomplete Test cases from: Statecharts, Collaboration

diagrams, message-path coverage criterion for Sequence diagrams, I/O behavior from Use-case diagrams

Test objectives coming from Enhanced version of UML diagrams especially Use-case diagrams

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work

Background and Literature Survey

Distributed Modeling And Simulation The Application Model Partitioner Model Deployer Model Initializer Model simulator

DEVS/P2P, DEVS/RMI, DEVS/Grid, DEVS/CORBA,

DEVS Standardization Group Work in progress

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work

Background and Literature Survey

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work

DEVS-Based Bifurcated Model-Continuity Process

RequirementSpecs

Real-timeReal-timeexecutionexecution

BehaviorRequirements at lower levels

levels of System

Specification

BehaviorRequirements at lower levels

levels of System

Specification

Model Structures at

higher levels ofSystem

Specification

Verification and

Validation

Simulationexecution

Test Models/Federations

Model Continuity

Experimental Frames

SystemTheory

DEVS Framework and M&S Capabilities

DEVS Entities The Model, The Simulator, The Experimental Frame Atomic and Coupled models

Atomic defined by: M = < X, S, Y, δint, δext, δcon, λ, ta > Coupled defined by M = < X, Y, D, {Mij},{Ij}, {Zij} >

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work

DEVS Framework and M&S Capabilities

Hierarchy of System Specifications mathematical underpinning Establishing relationships between pairs of system specifications

at various levels of resolution Vertical Association mapping

specifications at higher-level is translated to lower-level specifications Much difficult to do the opposite

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work

From StructureTo Behavior

DEVS Framework and M&S Capabilities

Enhanced Model-View-Controller Paradigm Architectural Layers Variable-structure and Dynamic Reconfiguration

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work

RequirementsFront-end

Automated DEVS Model Generation

Many ways to specify requirements specifications State-based Message-based involving Restricted NLP BPMN/BPEL-based DoDAF-based

From requirement specification formats to DEVS Models automatedly

What info do we need for a DEVS system Entities as objects in hierarchical structure FSMs for atomic models Timeouts for each phase in atomic models Entity interfaces for both atomic and coupled Messages coming in and going out through interfaces when

atomic is in specific state Coupling information Experimental Frame

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work

Automated DEVS Model Generation in DUNIP

XML-Based Data Extraction towards DEVS Elements

Real-timeReal-timeexecutionexecution

DEVSBehavior

Requirements at lower levels

levels of System

Specification

DEVSBehavior

Requirements at lower levels

levels of System

Specification

DEVS Model Structures at higher levels

ofSystem

Specification

Verification and

Validation

Simulationexecution

Test Models/Federations

Model Continuity

Experimental Frames

SystemTheory

State-basedSpecs

Message-BasedScenario

Specs withRestricted

NLP

BPMN/BPELBased

ScenarioSpecs

DoDAFbased

ScenarioSpecs

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work

Automated DEVS Model Generation

State-Based System specification UML Statecharts incomplete, need to augmented for

DEVS FSM DEVS FSM based on XML DTD Model specified in XML, validated by DTD and mined

using a DOM parser to extract DEVS related information Extracted information leads to DEVSJAVA model

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work

Automated DEVS Model Generation

Message-Based System with restricted Natural Language Processing (NLP) Rule-based

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work

Example ‘Simon Says’

Automated DEVS Model Generation

Message-Based System with restricted Natural Language Processing (NLP) Transformation of Rule to ‘universal’ primitives Towards a Universal State Machine (USM) Message Streams as Parallel ‘sender’ and ‘receiver’

roles for entity DEVSJAVA model

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work

Automated DEVS Model Generation

BPMN/BPEL-based system specifications Graphical description, based on ‘proper’ tool giving out .bpel

and .wsdl files BPEL as a standard BPEL4WS is analogous to a DEVS

component in terms of ‘component’ structure XML based specifications, using DOM parser to extract

information Automated the process toward DEVSJAVA code

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work

Automated DEVS Model Generation

DoDAF-based system specifications M&S not mandated however ‘must’, our objective…. Manifold reasons to pursue towards ‘executable architecture’

realization UML diagrams: Sequence Diagrams (an example)

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work

Automated DEVS Model Generation

DoDAF-based system specifications Mapping of DoDAF artifacts to UML to DEVS Giving structure to DoDAF constructs using SES Finally led to Enhanced DoDAF with new OV documents OV-8,9

dedicated to M&S

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work

Model-Based Automated Test-case Generation

Review of the Process SUT scenario is constructed based on system test

requirement using I/O pair concept DEVS Observer Test models are developed using

model mirroring by reversing testable pairs DEVS source code is generated Test-driver is loaded with Test models Test-driver executes the models against real or

simulated SUT

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work

Net-centric M&S in DUNIP

XML-Based Data Extraction towards DEVS Elements

Real-timeReal-timeexecutionexecution

DEVSBehavior

Requirements at lower levels

levels of System

Specification

DEVSBehavior

Requirements at lower levels

levels of System

Specification

DEVS Model Structures at higher levels

ofSystem

Specification

Verification and

Validation

Simulationexecution

Test Models/Federations

Model Continuity

Experimental Frames

SystemTheory

State-basedSpecs

Message-BasedScenario

Specs withRestricted

NLP

BPMN/BPELBased

ScenarioSpecs

DoDAFbased

ScenarioSpecs

Client-ServerNet-centric Systems

DEVSML ClientSOADEVS Client

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work

Net-centric Simulation using SOA

Service Oriented Architecture (SOA) Architecture based on Web Service communication

XML-based communication platform XML-based Modeling

DEVS Modeling Language (DEVSML) Collaboration and model development with XML as

middleware XML-based Simulation

SOADEVS Simulation as a Web Service Distributed simulation platform

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work

Net-centric Simulation using SOA

DEVSML Layered Architecture Collaborative and Model composability

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work

Net-centric Simulation using SOADEVSML DEVS Formalism be modified slightly to

incorporate ‘services’ SM = <X, S, Y, int, ext, conf , , ta, V>

where,V is the set of Service methods that are represented by this atomic model.

Advantages: Transform any existing DEVS Atomic as a

‘container’ capable of publishing Services Promote testing of Services by making them DEVS

enabled Transition a DEVS Service component directly to a

Web-Service

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work

Net-centric Simulation using SOADEVSML Offered Services

Convert Java models to DEVSML and vice-versa

Integrate coupled and atomic to a portable composite DEVSML file

Validate existing DEVSML model Simulate composite DEVSML at Server

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work

Net-centric Simulation using SOA

SOADEVS Service-based approach to DEVS Simulation engine

implementation Development of SOA artifacts

SOAP messages, WSDL specs Distributed simulation protocol to be tailored to SOA

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work

DUNIP: DEVS Unified Process

The capability to: Transform various forms of requirement

specification formats to DEVS models Transform any DEVSJAVA model to Platform

Independent Model (PIM) using DEVSML for reuse and collaborative development

Simulate any DEVSML using SOADEVS architecture exploiting the transparent simulator paradigm

Transform any DEVSML to Service component in SOA

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work

DUNIP: DEVS Unified Process

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work

DEMO

Joint Close Air Support From requirements to Simulations: the

complete life-cycle

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work

DUNIP DEVSMLhttp://147.96.67.95/devsml

DUNIP: DEVS Unified ProcessDEVSML Client

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work

View the Source

And Target folder files in DEVSML and

Javaformat

Select the file toView and Operate

Convert a DEVSML coupled model to

JAVA description etc.

Contents of Source dir

Contents of Target dir(the generated files)

Contents of the Generated file in the Target folder

as a result of Operation on the

source file

Integrate a DEVSML

coupled scenario with multiple

Java atomic files in source folder

Validate any Atomic/Coupled

DEVSML description using

‘standardized’Universal DEVS

DTDs

Select DEVSImplementationPlatform. It is

needed to generate

appropriate JAVA model

through a validDEVSML

description

SOAPMessage Envelopes

sent by CLIENT to the

Server

SOAPMessage Envelopes

sent by SERVER to the Client

Selected WEB SERVICE out

of the available ones(reflected automatedly

based on choices above)

SIMULATEan

Integrated DEVSML file

Projects from which DUNIP Evolved

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work

Contributions

Automated procedures towards an integrated process From varied requirement specifications format to

DEVS models Model interoperability, reuse, composability and

collaborative development using DEVSML Automated test-case generation of Observer

test-models from Models Distributed simulation on SOA with suggestions

to modification to DEVS Formalism to make it Service enable

Net-centric execution using XML as a middleware

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work

Future Work

Proposal towards standardization of DEVS formalism Enhancement of DoDAF towards development of ‘executable’

architectures A Prototype solution with underlying formal systems theory

applied in whole or in-part to active projects at JITC Refine the DUNIP process Inclusion of more requirement specifications formats Performance evaluation of distributed SOADEVS protocol Empower DEVSML with standardized DTDs Make it easier for other DEVS groups to participate in DEVSML

and SOADEVS development by registering their simulators Make prototype tool as an Educational aide

Introduction Problem Domain

Background and Literature SurveyDEVS Framework and M&S CapabilitiesAutomated DEVS Model Generation from various Requirement Specifications formatsModel-based Automated Test-case GenerationNet-centric Simulation using SOADUNIP: Putting it all togetherDemoCase-studies and ApplicationsConclusions and Future work