Added a template for pattern descriptions in the report, and added some of the first descriptions.
Added more pattern descriptions in the report.
Fixed a LaTeX compilation error.
Made {CP_TASK}.broker deferred and added a new class CP_DEFAULT_BROKER.
Removed the generic argument in CP_RESULT_BROKER
Added feature {CP_BROKER}.is_successfully_terminated. Added an invariant in CP_BROKER and changed feature semantics such as to not break the invariant.
Changed CP_QUEUE such as to not allow a zero-capacity bounded queue.
Renamed CP_TIMER to CP_PERIODIC_PROCESS, CP_LAUNCHABLE to CP_STARTABLE, CP_LAUNCHER to CP_STARTABLE_UTILS.
Renamed files according to the new class names.
Renamed {CP_COMPUTATION}.compute to computed and {CP_PROCESS}.finish to cleanup.
Renamed CP_IMPORT to CP_IMPORTER and CP_NO_IMPORT to CP_NO_IMPORTER.
Added a new class CP_PROXY, which takes care of initialization of the proxy pattern. Changed all proxies to use the new class.
Work on the report.
Added two subsections to API tutorial in the report.
Added a section to the import module in the report.
Added more sections in report.
Moved pattern descriptions to a separate file.
Started description of producer / consumer in report.
Added some more text to the report.
Renamed all BROKER classes to PROMISE.