T. Peschel-Findeisen and B. Hütter (Germany)
Operating Systems, distributed systems, resource management, generative systems, reflective systems
An approach for specifying the management of a dis tributed system is herein described. Based on this formal specification, a management can be generated automati cally. The base of the specification are structures in the systems, which are used for modeling an information flow. The non-functional state of a system is described by prop erties and the dynamic aspects are modeled via events. On the bases of properties, the management functionality is ab stractly specified. The concrete management is generated from these specifications.
Important Links:
Go Back
