CHAIMS proves that...
We can do composition in a high-level language.
- same language for Java-RMI-invocations and CORBA-invocations (and DCE, DCOM, TCP/IP protocols)
- (single megaprogram can deal with multiple protocols simultaniously)
- multiple megamodules can run in parallel
Large-scale composition can be automated.
- in contrast to manual non-software composition (e.g. telephone, cut&paste)
- in contrast to fixed programs for one specific problem (e.g. transporting military goods within US)
We can do schedulings of programs in a way right now only smart logistics officers can do, avoiding unnecessary waits.
- Scheduling of invocations can be optimized.