An object language with states: SOL

摘要

Synchronous reactive systems continually react with their environment. Based on formal hypothesis and complete semantics, this approach brings rigor and flexibility. The aim of some research is to specify a common code which can be used as an intermediate code or gateway for the present synchronous languages; this paper is consistent with this spirit. SOL (State Object Language) is proposed and its concepts are presented. From an object code of synchronous language, the equivalent SOL program is generated. The result is a clean program with a high abstraction level; this allows the application evolution and maintenance in an incremental way. Copyright direct C 1998 IFAC