Combining reflection and finite state diagrams for design enforcement

Shaul Simhi*, Vered Gafni, Amiram Yehudai

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


This article presents a method for design enforcement, based on a combination of reflection and State Machine Diagrams. The method is supposed by RECOS, a REflective system in a Concurrent Object-oriented environment that uses Finite State Diagrams. The reflection methodology is now a developing branch in computer science for controlling and modifying systems particularly Object-Oriented systems. RECOS is a `base-system' under which other systems can be built. Combining concepts of Concurrent Object-Oriented design, Finite State Diagrams, and reflection leads to an increase in the reliability of the systems, by insuring that objects function according to their design. RECOS also presents a safe way for handling modifications of the systems. We attempt to provide the developer of a system under RECOS with an environment that balances between easing implementation effort and guarding against unsafe implementations. We address here the issue of reflection, present the structure of RECOS, using as a running example a heating system, and briefly discuss implementation details and future work.

Original languageEnglish
Pages (from-to)269-281
Number of pages13
JournalTheory and Practice of Object Systems
Issue number4
StatePublished - 1996


Dive into the research topics of 'Combining reflection and finite state diagrams for design enforcement'. Together they form a unique fingerprint.

Cite this