The generator is written in MetaSlang, an executable version of the specification language in Specware. The main difficulty is that one Specware spec may specify many types of data, while one Java class models only one type of objects. In order to achieve an easy translation between these two paradigms, the code generator assumes that each input Specware spec specifies one distinguished sort, so that the spec and the distinguished sort both correspond to a class in Java. Developed prototype, real-time, distributed, incremental schedulers for distributed resources. We have developed prototype algorithms for distributed, incremental scheduling of distributed resources.
Scheduling is subject to real-time requirements and operates using only limited communication.
The algorithms are based on models of resources and schedulers and their interactions in a distributed network of sensors. Extensions of these models will allow the scheduling algorithms to be applied to other distributed systems. We reported these bugs to Sun and they promised to correct them in future releases.