Guided Tour

 

This document is part of the Contract Development Environment (CDE) documentation and its main goal is to quickly get you started writing simple Java applications using coordination contracts and the associated development methodology. Towards that goal, this guide is written as a step-by-step guided tour of the tools using a running example. Please consult the CDE documentation guide to check what documents you should read before this guide, which is organized as follows:

Installing CDE
This section explains what are the pre-requisites for using the tools and how to set them up.
Developing with Coordination Contracts
This section introduces the example that is used throughout this guide and provides a broad overview of the evolutionary development cycle taken to deploy complete applications using the coordination contracts approach.
Creating Contracts
This section introduces the editor, showing how to create contracts and compile them. The project is developed in several steps:
The Components
This section prepares the components for coordination.
The Traditional contract
This section shows a very simple contract that restricts the availability of a component operation.
The Credit Contract
This section introduces a second contract which relaxes the availability condition a bit.
The Limited Contract
The third contract actually changes the behavior of the operation.
Compiling Everything
This section finally builds the executable class files.
Testing Contracts
This section explains how to use the animator to check the behavior of the contracts, without actually building an application.
Building Applications
This section shows how to build a stand-alone application that uses the components and contracts developed previously.

 

© Copyright 2001 ATX Software SA. All rights reserved.