| |
Examples are CO-OPN specifications archived
in zip files. Download the zip file, uncompress it and then use CoopnTools
to open the package containing example modules. Some examples have
associated description pages and, in any case, you can generate basic
html docs using tools menu in PackageEditor window.
The specifications annotated as executable can be translated in Java
programming language and executed.
Your Contributions Are Welcome!
| Example |
|
download
spec |
browse
docs |
is
executable? |
| DrinksDistributor |
|
zip |
|
yes |
| Description: |
Specification
of a Drink Distributor controller. Example from RSP 2001 paper. |
| Indy |
|
zip |
html |
yes |
| Description: |
Indiana
Jones Problem: 4 people have to travere a very small bridge in 17
minutes ... |
| Lift
2 |
|
zip |
|
yes |
| Description: |
Another
lift specification, slightly more complicated |
| Secure
Buffer |
|
zip |
|
yes |
| Description: |
Buffer
with permissions. Small example that illustrates inheritance, genericity
and the use of contextes. |
| Alarm
Counter |
|
zip |
|
yes |
| Description: |
A
counter that activates an alarm after some number of invocations.
Demontrate the use of contextes. |
| Obj
Philo |
|
zip |
|
no |
| Description: |
Object-oriented
version of dining philosophers problem. |
| Interpreter |
|
soon
:) |
|
yes |
| Description: |
Specification
of a little programming language |
|
