Modeling and simulating multiclock reactive systems in Java

In this paper an extension of the Java programming language towards multiclock reactive system programming has been presented, called Java-MR. It provides an application programming interface that will realize the modeling, simulating, analyzing and verifying of multiclock reactive systems. In Java-MR the close correspondence of the reactive Java constructs to those of the synchronous language Esterel is given, e.g. clocks, signals and modules. And reactivity is achieved using multithread programming and exception handling. The main feature of this language is that each signal is bound by a clock and all reactive operations are controlled by clocks. In order to more naturally reflect a real reactive system the communication between modules is based on the synchronous communication model, which is different from the instantaneous communication model in Esterel. Further a semantically synchronous/reactive formalism is defined.