Representation of Categorical Specification of Self-Configurations in Reactive Autonomic Systems Framework  

作　　者：Ming Zhu Heng Kuang Jing Li 

机构地区：[1]College of Computer Science and Technology, Shandong University of Technology, Zibo, China [2]Huawei Canada, Markham, Canada

出　　处：《Journal of Computer and Communications》2018年第12期34-48,共15页电脑和通信（英文）

摘　　要：Software complexity crisis brings huge obstacle to further progress in IT industry. To alleviate this problem, researchers are asked to build systems which can benefit from automation. With autonomic behavior, the real-time reactive systems can be more self-managed and adaptive to their environment. However, most of current formal approaches fail to specify such kind of system. In this paper, we proposed an approach to formally specify reactive autonomic systems. First, we used category theory to formalize reactive autonomic systems;then we focused on the categorization of self-configurations and work flows of reactive autonomic systems, and finally we used XML to specify the categorical models. In doing so, it can help to build the foundation of reactive autonomic systems with autonomic features and verify emergent behaviors.Software complexity crisis brings huge obstacle to further progress in IT industry. To alleviate this problem, researchers are asked to build systems which can benefit from automation. With autonomic behavior, the real-time reactive systems can be more self-managed and adaptive to their environment. However, most of current formal approaches fail to specify such kind of system. In this paper, we proposed an approach to formally specify reactive autonomic systems. First, we used category theory to formalize reactive autonomic systems;then we focused on the categorization of self-configurations and work flows of reactive autonomic systems, and finally we used XML to specify the categorical models. In doing so, it can help to build the foundation of reactive autonomic systems with autonomic features and verify emergent behaviors.

关 键 词：REACTIVE AUTONOMIC System CATEGORY Theory XML SELF-CONFIGURATION 

分 类 号：O1[理学—数学]