Coordination-Policy Based Composed System Behavior Derivation

The coordination-policy that components interactions satisfied often determines the properties of nowadays component-based information systems, e.g. Safety, Liveness and Fairness etc. Therefore, how to derive coordination-policy satisfying behavior all out of such system to achieve better system properties is of a significant problem that needs to be solved. Aim to this problem, we propose an optimistic policysatisfying behavior derivation approach in this paper. The main idea of the approach is to automatically construct a Coordination Environment (CE) for such composed system that system components can work together in a deadlock-free and policy-satisfying manner, and so as to obtain desired system properties. In this approach, component-based information system is modeled by Interface Automaton Network (IAN), and component coordination-policies are specified by LTL. To explain the correctness and validity of this approach, we give a corresponding example certification.

• Type: Conference
• Year: 2007
• Where: APSEC
• Authors: Yiming Lau, Wenyun Zhao, Xin Peng, Zhixiong Jiang, Liwei Shen
• Keywords: APSEC 2007, Component-based Information, Component-based Information Systems, Information System, Software Engineering