workflow_manager

Workflow manager

Concept

                                                                               
           +--------------+                                                    
           |  smif-app    |                                                    
           +-------|------+                                                    
                   | http-api                                                  
                   |                                                           
                   |                                                           
           +-------|------+                                                    
  (cli)----| smif-manager ------------------+                                  
           +-------|------+                 |                                  
                   |                        |                                  
                   |                        |                                  
                   | http-api               | http-api                         
           +-------|------+         +-------|------+                           
   cli ----| smif-runner  |         |     dafni    |                           
           +--------------+         +--------------+                                                                         

smif-app

• Configure a system-of-systems
• Start / stop Modelruns
• Visualise results

smif-manager

• Manage dependencies between models
• Manage decision iterations
• Coordinate jobs and expose workflows to workers-pool

smif-runner

• Runs jobs (workflows) and sends results back to smif-manager

 Worker-pool                                                             
+-----------------------------------------------------------------------+
|                                                                       |
|   local-machine     ouce-cluster      dafni                           |
|  +-------------+   +-------------+   +-------------+ +-------------+  |
|  | smif-runner |   | smif-runner |   | smif-runner | | smif-runner |  |
|  +-------------+   +-------------+   +-------------+ +-------------+  |
|                    +-------------+   +-------------+ +-------------+  |
|                    | smif-runner |   | smif-runner | | smif-runner |  |
|                    +-------------+   +-------------+ +-------------+  |
|                                                                       |
+-----------------------------------------------------------------------+

Detailed Design

smif-manager

smif-runner register <ip> <number_of_jobs> register a runner to the smif-manager

smif-runner

A local service that duplicates the Dafni scheduler API

smif-runner run run the runner service

smif-runner status get status of runner