Prototyping distributed systems using an object-oriented specification language

The authors discuss a software environment that automates the extraction of an object from the knowledge base and represents it in DOSL form. A prototype system to execute DOSL specifications is described. The method chose provides a translator from DOSL to ACT++.<
>