A Generated Management for Distributed Systems

An approach for specifying the management of a distributed system is herein described. Based on this formal approach, a management can be generated. The base of the specification are a structures in the systems, which are used for modeling an information flow. The nonfunctional state of a system is described by properties and the dynamic aspects are modeled via events. On the bases of properties, the managectionality is abstractly specified. The concrete management is generated from these specifications.

• Type: Conference
• Year: 2003
• Where: APPINF
• Authors: Thomas Peschel-Findeisen, Bertram Hütter
• Keywords: APPINF 2003, Formal Approach, Information Technology, Management, Nonfunctional State