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.