Model Builder

Verum’s ASD:ModelBuilder is a desktop application that makes it easy to capture and model all required behaviour

Software architects and designers use the functionality of Verum’s ASD:ModelBuilder to build interface, design, usage and general models. The application supports a specification process that encourages and helps software developers to think carefully about product requirements and ensure all execution scenarios are covered.

Application

The ASD:ModelBuilder can be applied to the design of complex individual software components or entire systems. Its intuitive user interface guides developers through an iterative cycle of creating and editing models, helping them to:

• Capture precise, complete and traceable specifications
• Create complete models of complex software components and systems
• Detect and correct behavioural defects during design

Functionality

Verum’s ASD:ModelBuilder provides support for:

• Hierarchical state machines for structuring complex behaviour
• Parameter passing
• Synchronous and asynchronous return values
• One-to-many relations between interface and design models

The model builder is used for building ASD models, and then verifying those models and generating code. It sends ASD models to the ASD:ModelChecker for verification and to the ASD:CodeGenerator to translate them into defect free source code.

Realization

The ASD:ModelBuilder is a licensed Microsoft Windows application that resides on the software developer’s personal computer.

All ASD models are stored in XML files on the user’s PC, allowing developers to employ their own storage and version control mechanisms.

In this section

• Overview
• ASD:Suite
  • Model Builder
  • Model Checker
  • Code Generator
  • Model Viewer
  • Using the ASD:Suite
  • The ASD:Suite Architecture
• ASD Training
  • Starting ASD
  • Mastering ASD
• Services