dunip: devs unified process integrated development and testing in service oriented architecture
DESCRIPTION
DUNIP: DEVS Unified Process Integrated Development and Testing in Service Oriented Architecture. Dissertation Defense Saurabh Mittal April 20, 2007 ECE Department, University of Arizona, Tucson, USA Advisor: Prof. Bernard P. Zeigler. Outline. Introduction Problem Domain - PowerPoint PPT PresentationTRANSCRIPT
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