| Home
Introduction
Operation Schemas
User Manual
Directory Structure
Parser
Model Extractor
Type Checker
Modifications
Extending the
compiler
Outstanding Issues
Current Status
References and Links
Javadoc |
Operation Schemas
Operation Schemas are part of an ongoing effort at
LGL to develop a new way to represent the design and functionality of an
Object Oriented system. An Operation Schema is used to specify an operation
of a particular class, including it's parameters, the variables (more precisely,
aliases) declared in it, events sent to Actor classes as a result of the
operation, exceptions thrown, concurrent operations and shared variables,
the preconditions that must hold before the operation and the postconditions
that hold true afterwards. An Operation Schema may also contains functions
and predicates. For more details please refer Operation
Schemas.
To express the pre- and post-conditions, operation schemas
use the Object Constraint Language (OCL), with a few modifications. Modifications
made to the tool can be seen by following this link: Modifications
To see an example Operation Schema, click here.
To see the complete grammar for the Operation Schema,
click here. |
