A Categorical Approach to Model Formation of Reactive Autonomic Systems Framework

Authors : Ming Zhu, Heng Kuang.

Volume/Issue : Volume 4 - 2019, Issue 4 - April

Google Scholar : https://goo.gl/DF9R4u

Scribd : https://bit.ly/30H3r30

Software complexity crisis becomes an impediment to further development of software. Specifically, in order to manage increasingly complex and massive software systems, researchers involve in building systems with autonomy. The real-time reactive systems with autonomic behaviors could be more selfmanaged and more adaptive to the environment. However, formations of some of such systems are not formalized, which may lead systems to be error-prone. In this research, we proposed a formal way to describe formations of reactive autonomic systems framework. Firstly, we introduce how to from reactive autonomic system, components group, and component, then we focused on categorizing the formations. To do so, the basis of reactive autonomic systems can be built with correct by construction.

Keywords : Reactive Autonomic System; Category Theory; Formation.


Paper Submission Last Date
31 - August - 2022

Paper Review Notification
In 1-2 Days

Paper Publishing
In 2-3 Days

Never miss an update from Papermashup

Get notified about the latest tutorials and downloads.

Subscribe by Email

Get alerts directly into your inbox after each post and stay updated.

Subscribe by RSS

Add our RSS to your feedreader to get regular updates from us.