Approaching reconfigurable systems as structured transition systems, where the states are models in a given institution, is a methodological approach pursued in [17]. The versatility of this approach lies in the assumption that the logic used for configurations can be chosen based on the nature of the system configurations to be developed. Technically, this is supported by using parametric methods to build modal logics on-demand (e.g. [12, 18]). In this paper, we go a step further by assuming that configurations can be governed by different logics, even within the same reconfigurable system. We operationalize this principle for the formal specification of systems by enriching and reshaping the formalism many-logics modal logic [10] within the theory of institutions and by introducing a number of relations between models that preserve logical properties.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

The Institution of Many-Logics Modal Logic

  • Alfredo R. Freire,
  • Manuel A. Martins,
  • Alexandre Madeira

摘要

Approaching reconfigurable systems as structured transition systems, where the states are models in a given institution, is a methodological approach pursued in [17]. The versatility of this approach lies in the assumption that the logic used for configurations can be chosen based on the nature of the system configurations to be developed. Technically, this is supported by using parametric methods to build modal logics on-demand (e.g. [12, 18]). In this paper, we go a step further by assuming that configurations can be governed by different logics, even within the same reconfigurable system. We operationalize this principle for the formal specification of systems by enriching and reshaping the formalism many-logics modal logic [10] within the theory of institutions and by introducing a number of relations between models that preserve logical properties.