1. 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

2. 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

3. 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 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 Case-studies and Applications Conclusions and Future work

4. 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 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 Case-studies and Applications Conclusions and Future work

5. Bifurcated Model Continuity-Based Life-cycle Process: Integrated Development and Testing Real-timeexecution Behavior Requirements at lower levels levels of System Specification Model Structures at higher levels of System Specification Verification and Validation Simulation execution Test Models/ Federations Model Continuity Experimental Frames System Theory 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 Case-studies and Applications Conclusions and Future work

6. 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 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 Case-studies and Applications Conclusions and Future work

7. 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 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 Case-studies and Applications Conclusions and Future work

8. 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 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 Case-studies and Applications Conclusions and Future work

9. Background and Literature Survey 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 Case-studies and Applications Conclusions and Future work DEVS-Based Bifurcated Model- Continuity Process Requirement Specs Real-timeexecution Behavior Requirements at lower levels levels of System Specification Model Structures at higher levels of System Specification Verification and Validation Simulation execution Test Models/ Federations Model Continuity Experimental Frames System Theory

10. DEVS Framework and M&S Capabilities DEVS Entities  The Model, The Simulator, The Experimental Frame  Atomic and Coupled models Atomic defined by: M = Coupled defined by M = 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 Case-studies and Applications Conclusions and Future work

11. 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 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 Case-studies and Applications Conclusions and Future work From Structure To Behavior

12. DEVS Framework and M&S Capabilities Enhanced Model-View-Controller Paradigm  Architectural Layers  Variable-structure and Dynamic Reconfiguration 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 Case-studies and Applications Conclusions and Future work Requirements Front-end

13. 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 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 Case-studies and Applications Conclusions and Future work

14. Automated DEVS Model Generation in DUNIP XML-Based Data Extraction towards DEVS Elements Real-timeexecution DEVS Behavior Requirements at lower levels levels of System Specification DEVS Model Structures at higher levels of System Specification Verification and Validation Simulation execution Test Models/ Federations Model Continuity Experimental Frames System Theory State-based Specs Message-Based Scenario Specs with Restricted NLP BPMN/BPEL Based Scenario Specs DoDAF based Scenario Specs 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 Case-studies and Applications Conclusions and Future work

15. 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 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 Case-studies and Applications Conclusions and Future work

16. Automated DEVS Model Generation Message-Based System with restricted Natural Language Processing (NLP)  Rule-based 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 Case-studies and Applications Conclusions and Future work Example ‘Simon Says’

17. 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 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 Case-studies and Applications Conclusions and Future work

18. 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 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 Case-studies and Applications Conclusions and Future work

19. 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 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 Case-studies and Applications Conclusions and Future work

20. 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 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 Case-studies and Applications Conclusions and Future work

21. 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 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 Case-studies and Applications Conclusions and Future work

22. Net-centric M&S in DUNIP XML-Based Data Extraction towards DEVS Elements Real-timeexecution DEVS Behavior Requirements at lower levels levels of System Specification DEVS Model Structures at higher levels of System Specification Verification and Validation Simulation execution Test Models/ Federations Model Continuity Experimental Frames System Theory State-based Specs Message-Based Scenario Specs with Restricted NLP BPMN/BPEL Based Scenario Specs DoDAF based Scenario Specs Client-Server Net-centric Systems DEVSML Client SOADEVS Client 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 Case-studies and Applications Conclusions and Future work

23. 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 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 Case-studies and Applications Conclusions and Future work

24. Net-centric Simulation using SOA DEVSML  Layered Architecture  Collaborative and Model composability 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 Case-studies and Applications Conclusions and Future work

25. Net-centric Simulation using SOA DEVSML DEVS Formalism be modified slightly to incorporate ‘services’  SM = 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 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 Case-studies and Applications Conclusions and Future work

26. Net-centric Simulation using SOA DEVSML 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 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 Case-studies and Applications Conclusions and Future work

27. 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 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 Case-studies and Applications Conclusions and Future work

28. 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 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 Case-studies and Applications Conclusions and Future work

29. DUNIP: DEVS Unified Process 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 Case-studies and Applications Conclusions and Future work

30. DEMO Joint Close Air Support  From requirements to Simulations: the complete life-cycle 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 Case-studies and Applications Conclusions and Future work DUNIP DEVSML http://147.96.67.95/devsml

31. DUNIP: DEVS Unified Process DEVSML Client 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 Case-studies and Applications Conclusions and Future work View the Source And Target folder files in DEVSML and Java format Select the file to View 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 DEVS Implementation Platform. It is needed to generate appropriate JAVA model through a valid DEVSML description SOAP Message Envelopes sent by CLIENT to the Server SOAP Message Envelopes sent by SERVER to the Client Selected WEB SERVICE out of the available ones (reflected automatedly based on choices above) SIMULATE an Integrated DEVSML file

32. Projects from which DUNIP Evolved 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 Case-studies and Applications Conclusions and Future work

33. 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 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 Case-studies and Applications Conclusions and Future work

34. 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 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 Case-studies and Applications Conclusions and Future work