A framework for analysing sustainability by using the rewriting system

The social system must be transformed to a sustainable cycle-oriented social system immediately. Numerous studies have been conducted on environmental problems. Those studies, however, focused on forming a sustainable society from the top down, based on the belief that strong restrictions such as laws will lead to the development of a sustainable society. We consider this belief to be suspect and believe it is more effective to form a social system from the bottom up while retaining the current diversity of activities. In this paper, therefore, we discuss the nature of a cycle-oriented social system formed from the bottom up to achieve a sustainable society. By analysing its nature, we can identify the conditions under which the system will be sustainable. In order to conduct this analysis, we apply the abstract rewriting system on multisets (ARMS) technique. In this paper, we propose a framework for analysing sustainability using ARMS.