DUNIP: DEVS Unified ProcessIntegrated Development and Testing in Service Oriented ArchitectureDissertation DefenseSaurabh MittalApril 20, 2007

ECE Department, University of Arizona, Tucson, USA

Advisor: Prof. Bernard P. Zeigler

OutlineIntroductionProblem DomainBackground 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 togetherDemoProjects from which DUNIP EvolvedContributions and Future work

Problem Domain BackgroundDesign questionsHow is design specified and requirements writtenModel generation issuesFoundation: Systems BasedStructure: hierarchical or flatModel Execution platformsCentral, Distributed, Net-centricTest-case developmentTest-plan, test-execution, Model-basedIntroduction Problem DomainBackground 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

ProposalThesis proposes an integrated processDEVS Unified Process: DUNIPBased on Bifurcated Model-Continuity based Life-cycle methodologyIntroduction Problem DomainBackground 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 TestingIntroduction Problem DomainBackground 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 SurveyModel Driven Architecture (MDA): OMGUML, XML, XMI, CWM, forward engineeringCreation, analysis, transformation, composition, testing, simulation, reverse-engineeringModel-based Testing methodologiesTest identification, classificationTest data generationRandom, functional, control-flow, data-flow, mutation, regressionTest Selection criteria (cost-performance tradeoff)Test-case SpecificationsTest Suite DevelopmentIntroduction Problem DomainBackground 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 SurveyAutomated Test-case GenerationUML widely used but insufficient and incompleteTest 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 diagramsIntroduction Problem DomainBackground 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 SurveyDistributed Modeling And SimulationThe ApplicationModel PartitionerModel DeployerModel InitializerModel simulatorDEVS/P2P, DEVS/RMI, DEVS/Grid, DEVS/CORBA,

DEVS Standardization GroupWork in progressIntroduction Problem DomainBackground 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 SurveyIntroduction Problem DomainBackground 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

DEVS Framework and M&S CapabilitiesDEVS EntitiesThe Model, The Simulator, The Experimental FrameAtomic and Coupled modelsAtomic defined by: M = < X, S, Y, int, ext, con, , ta >Coupled defined by M = < X, Y, D, {Mij},{Ij}, {Zij} >Introduction Problem DomainBackground 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 CapabilitiesHierarchy of System Specificationsmathematical underpinningEstablishing relationships between pairs of system specifications at various levels of resolutionVertical Association mapping specifications at higher-level is translated to lower-level specificationsMuch difficult to do the opposite

Introduction Problem DomainBackground 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 CapabilitiesEnhanced Model-View-Controller ParadigmArchitectural LayersVariable-structure and Dynamic ReconfigurationIntroduction Problem DomainBackground 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 GenerationMany ways to specify requirements specificationsState-based Message-based involving Restricted NLPBPMN/BPEL-basedDoDAF-basedFrom requirement specification formats to DEVS Models automatedlyWhat info do we need for a DEVS systemEntities as objects in hierarchical structureFSMs for atomic modelsTimeouts for each phase in atomic modelsEntity interfaces for both atomic and coupledMessages coming in and going out through interfaces when atomic is in specific stateCoupling informationExperimental Frame

Introduction Problem DomainBackground 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 DUNIPXML-Based Data Extraction towards DEVS ElementsReal-timeexecutionDEVSBehaviorRequirements at lower levelslevels of SystemSpecificationDEVS Model Structures at higher levels ofSystemSpecificationVerification andValidationSimulationexecution Test Models/FederationsModel ContinuityExperimental FramesSystemTheoryState-basedSpecsMessage-BasedScenarioSpecs withRestrictedNLPBPMN/BPELBasedScenarioSpecsDoDAFbasedScenarioSpecsIntroduction Problem DomainBackground 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 GenerationState-Based System specificationUML Statecharts incomplete, need to augmented for DEVS FSMDEVS FSM based on XML DTDModel specified in XML, validated by DTD and mined using a DOM parser to extract DEVS related information Extracted information leads to DEVSJAVA modelIntroduction Problem DomainBackground 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 GenerationMessage-Based System with restricted Natural Language Processing (NLP)Rule-basedIntroduction Problem DomainBackground 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 GenerationMessage-Based System with restricted Natural Language Processing (NLP)Transformation of Rule to universal primitivesTowards a Universal State Machine (USM)Message Streams as Parallel sender and receiver roles for entity DEVSJAVA model

Introduction Problem DomainBackground 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 GenerationBPMN/BPEL-based system specificationsGraphical description, based on proper tool giving out .bpel and .wsdl filesBPEL as a standard BPEL4WS is analogous to a DEVS component in terms of component structureXML based specifications, using DOM parser to extract informationAutomated the process toward DEVSJAVA code

Introduction Problem DomainBackground 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 GenerationDoDAF-based system specificationsM&S not mandated however must, our objective.Manifold reasons to pursue towards executable architecture realizationUML diagrams: Sequence Diagrams (an example)

Introduction Problem DomainBackground 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 GenerationDoDAF-based system specificationsMapping of DoDAF artifacts to UML to DEVSGiving structure to DoDAF constructs using SESFinally led to Enhanced DoDAF with new OV documents OV-8,9 dedicated to M&S

Introduction Problem DomainBackground 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 GenerationReview of the ProcessSUT scenario is constructed based on system test requirement using I/O pair conceptDEVS Observer Test models are developed using model mirroring by reversing testable pairsDEVS source code is generatedTest-driver is loaded with Test modelsTest-driver executes the models against real or simulated SUTIntroduction Problem DomainBackground 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 DUNIPXML-Based Data Extraction towards DEVS ElementsReal-timeexecutionDEVSBehaviorRequirements at lower levelslevels of SystemSpecificationDEVS Model Structures at higher levels ofSystemSpecificationVerification andValidationSimulationexecution Test Models/FederationsModel ContinuityExperimental FramesSystemTheoryState-basedSpecsMessage-BasedScenarioSpecs withRestrictedNLPBPMN/BPELBasedScenarioSpecsDoDAFbasedScenarioSpecsClient-ServerNet-centric Systems DEVSML ClientSOADEVS ClientIntroduction Problem DomainBackground 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 SOAService Oriented Architecture (SOA)Architecture based on Web Service communicationXML-based communication platformXML-based ModelingDEVS Modeling Language (DEVSML)Collaboration and model development with XML as middlewareXML-based SimulationSOADEVSSimulation as a Web ServiceDistributed simulation platform

Introduction Problem DomainBackground 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 SOADEVSMLLayered ArchitectureCollaborative and Model composabilityIntroduction Problem DomainBackground 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 SOADEVSMLDEVS Formalism be modified slightly to incorporate servicesSM = 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 ServicesPromote testing of Services by making them DEVS enabledTransition a DEVS Service component directly to a Web-Service

Introduction Problem DomainBackground 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 SOADEVSMLOffered ServicesConvert Java models to DEVSML and vice-versaIntegrate coupled and atomic to a portable composite DEVSML fileValidate existing DEVSML modelSimulate composite DEVSML at ServerIntroduction Problem DomainBackground 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 SOASOADEVSService-based approach to DEVS Simulation engine implementationDevelopment of SOA artifacts SOAP messages, WSDL specsDistributed simulation protocol to be tailored to SOA

Introduction Problem DomainBackground 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 ProcessThe capability to:Transform various forms of requirement specification formats to DEVS modelsTransform any DEVSJAVA model to Platform Independent Model (PIM) using DEVSML for reuse and collaborative developmentSimulate any DEVSML using SOADEVS architecture exploiting the transparent simulator paradigmTransform any DEVSML to Service component in SOAIntroduction Problem DomainBackground 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 ProcessIntroduction Problem DomainBackground 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

DEMOJoint Close Air SupportFrom requirements to Simulations: the complete life-cycleIntroduction Problem DomainBackground 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

DUNIPDEVSMLhttp://147.96.67.95/devsml

DUNIP: DEVS Unified ProcessDEVSML ClientIntroduction Problem DomainBackground 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 SourceAnd 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 fileIntegrate a DEVSML coupled scenario with multiple Java atomic files in source folderValidate any Atomic/CoupledDEVSML description using standardizedUniversal DEVSDTDsSelect DEVSImplementationPlatform. It is needed to generate appropriate JAVA model through a validDEVSML descriptionSOAPMessage Envelopes sent by CLIENT to the ServerSOAPMessage Envelopes sent by SERVER to the ClientSelected WEB SERVICE out of the available ones(reflected automatedly based on choices above)SIMULATEan Integrated DEVSML file

Projects from which DUNIP EvolvedIntroduction Problem DomainBackground 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

ContributionsAutomated procedures towards an integrated processFrom varied requirement specifications format to DEVS modelsModel interoperability, reuse, composability and collaborative development using DEVSMLAutomated test-case generation of Observer test-models from ModelsDistributed simulation on SOA with suggestions to modification to DEVS Formalism to make it Service enableNet-centric execution using XML as a middleware

Introduction Problem DomainBackground 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 WorkProposal towards standardization of DEVS formalismEnhancement of DoDAF towards development of executable architecturesA Prototype solution with underlying formal systems theory applied in whole or in-part to active projects at JITC Refine the DUNIP processInclusion of more requirement specifications formatsPerformance evaluation of distributed SOADEVS protocolEmpower DEVSML with standardized DTDs Make it easier for other DEVS groups to participate in DEVSML and SOADEVS development by registering their simulatorsMake prototype tool as an Educational aideIntroduction Problem DomainBackground 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

*jkhkjh