2. “DECISION” PROJECT “DECISION” PROJECT INTEGRATION PLATFORM CORBA PROTOTYPE CAST J. BLACHON & NGUYEN G.T. INRIA Rhône-Alpes June 10th, 1999

3. DISTRIBUTED (LAN, WAN, NOW...) CODE COUPLING FOR HETEROGENEOUS SOFTWARE COLLABORATIVE APPLICATIONS COMMON DEFINITION, IMPLEMENTATION, CONFIGURATION & EXECUTION ENVIRONMENT TARGET HARDWARE : workstations, PC clusters,... TARGET APPLICATIONS : engineering,... INTEGRATION PLATFORM

4. SOLVEROPTIMIZER CAST SYNCHRONISATION DATA FORMATS NAMING CORBA MPI PVM … … NETWORK PROTOTYPE ARCHITECTURE

5. BASIC CONCEPTS TASKS OPERATORS MODULES PARAMETERS DISTRIBUTION COMPONENTS & LINKS

6. TASKS LOGICAL UNIT : CODE INDEPENDENT APPLICATION DEPENDENT USER DEFINED (reusable) DEPENDENCY RELATIONSHIPS OPERATOR INPUT PARAMETERS LOCAL OR REMOTE HIERARCHICAL DECOMPOSITION INTERCONNECTED SUB-TASKS

7. MODULES USER CODE REMOTE OR LOCAL TRANSPARENT USE ACTUAL EXECUTION UNIT TASK INDEPENDENT (update modules)

8. OPERATORS SYNCHRONIZATION PARALLEL EXECUTION SERIAL EXECUTION ITERATIONS UNARY OR BINARY COMPLEX EXPRESSIONS : process formulae CHOICE

9. DISTRIBUTION ISSUES TASKS MODULES : task location DATA : remote files or shared memory TRANSPARENT USE

10. PROTOTYPE INTEGRATION PLATFORM REMINDER : IPA, BCGA, RCGA (March 1998) NEW : HBCGA, PBNCBN, ParBCGA (Sept. 1998) SOFTWARE INCLUDED IN CAST HBCGA II (Oct. 1998) Test Case : CFD solver + BCGA optimiser (Aug. 1998)

11. TEST CASE SHOCK-WAVE INDUCED DRAG REDUCTION WING PROFILE OPTIMISATION (RAE2822) Euler eqns (0,84 Mach, i = 2°) + BCGA (100 gen.) 2D MESH : 1286 nodes, 3680 triangles 15 hours CPU time (SUN Micro SPARC 5, Solaris 2.5)

12. TEST CASE WING PROFILE OPTIMISATION

13. BCGA FUN2 EXAMPLE END PARBCGA INIT FUN1

14. CORBA PROTOTYPE DEMONSTRATOR GOALS TEST CASES IMPLEMENTATION “DECISION” CORBA INTEGRATION PLATFORM DESIGN FUTURE HPCN OPTIMISATION PLATFORMS COOPERATIVE MULTI-DISCIPLINE OPTIMISATION GENETIC ALGORITHMS USED FOR OPTIMISATION CODE COUPLING FOR CFD, CSM SOLVERS & OPTIMISERS

15. CORBA DEMONSTRATOR PLATFORM CAST CORBA OPTIMIZERS SOLVERS

17. DISTRIBUTED OBJECT ARCHITECTURE TRANSPARENT DISTRIBUTED OBJECT COMPUTING CORBA COMPLIANT SIMPLE SOFTWARE MODEL COMPONENTS PLUG-IN (e.g., optimizers, solvers) - SOFTWARE COMPONENTS - CONNECTORS

18. DISTRIBUTED OBJECT ARCHITECTURE SOFTWARE COMPONENTS COMPONENTS ARE DISTRIBUTED OBJECTS WRAPPERS AUTOMATICALLY GENERATED ? COMPONENTS ENCAPSULATE USER MODULES

19. DISTRIBUTED OBJECT ARCHITECTURE SOFTWARE CONNECTORS CONNECTORS ARE SYNCHRONIZED CHANNELS SEVERAL PROTOCOLS CONNECTORS = DATA COMMUNICATION CHANNELS - SYNCHRONOUS METHOD INVOCATION - ASYNCHRONOUS EVENT BROADCAST COMPONENTS COMMUNICATE THROUGH SOFTWARE CONNECTORS

20. PROTOTYPE CORBA DEMONSTRATOR CAST OPTIMIZERS CORBA SOLVERS Server Phase 2 Wrapper Modules

21. PROTOTYPE CORBA DEMONSTRATOR TECHNICAL ITEMS OPTIMISERS WRAPPING (Nimbus) SOLVERS WRAPPING (Nokka-Tume) CAST 2.0 IMPLEMENTATION i.e. CORBA version LOCAL TEST-CASES CROSS-VALIDATION DISTRIBUTED TEST-CASES CROSS-VALIDATION TEST-CASES IMPLEMENTATION

22. PROTOTYPE CORBA DEMONSTRATOR CAST OPTIMIZERS CORBA SOLVERS ServerWrapper CAST TASKS

23. STRONG POINTS STRONG THEORETICAL FOUNDATIONS SPECIFICATION & VERIFICATION OF COMPLEX APPS Process algebra for asynchronous systems FORMAL SPECIFICATION SYSTEM EASY TO USE Intuitive interface : single task model No theoretical background knowledge required Transparent distribution using CORBA Milner ’s SCCS algebra

24. STRONG POINTS PROPRIETARY CODE: NO MARKETING CONSTRAINTS EASILY MODIFIABLE: NO STRINGENT LEGACY CODE OBJECT-ORIENTED IMPLEMENTATION NO USER CODE MODIFICATION REQUIRED

25. STRONG POINTS OPENESS : APPLICATION, SYSTEM, FUNCTIONAL ISSUES CLIENT / SERVER ARCHITECTURE OPEN & DISTRIBUTED SOFTWARE ARCHITECTURE CLEAR TRANSITION TO O.O. FRAMEWORKS NO MONOLITHIC ENVIRONMENT EASY DEVELOPMENT & EVOLUTION

26. CONCLUSION CAST PROVIDES AN INTEGRATION PLATFORM FORMAL ALGEBRAIC PROCESS SPECIFICATIONS FULLY CORBA COMPLIANT PLATFORM MIXING CORBA & non-CORBA CODES SMOOTH TRANSITION FROM EXISTING CODE-COUPLING ENVIRONMENTS DEFINE, IMPLEMENT, CONFIGURE & EXECUTE COLLABORATIVE APPLICATIONS

27. FUTURE DIRECTIONS FORMAL PROCESS VERIFICATION INTERFACE WITH PARALLEL CODES COUPLING CORBA & MPI, PVM GENERIC CORBA WRAPPERS AUTOMATE GENERATION OF CODE WRAPPERS