Handling Failure

This section will discuss how failure of actions is handled in ASTRA. This is a place holder, with some material copied from other areas as part of a restructuring of the guide.

Failure Example

Simple program that fails…

  package example;
  
  agent Failer {
      module System system;
      
      initial !init();
      
      rule +!init() {
          system.fail();
      }
  }