rbsc documentation

This is the documentation for the rbsc tool. It describes the installation, usage of the tool and the role-based modeling language.

Contents:

• Introduction
• Installation
  • Prerequisites
  • Building from source
• Running rbsc
  • Basic usage
  • Options
• Role-based modeling language
  • Type declarations
  • System instantiation
  • Behavior definitions
  • Coordination
  • Type system
  • Constants
  • Global variables
  • Functions
  • Expressions
  • Costs and rewards
  • Labels
  • Model files