In this paper we propose a use-case-driven iterative design methodology for
normative frameworks, also called virtual institutions, which are used to
govern open systems. Our computational model represents the normative framework
as a logic program under answer set semantics (ASP). By means of an inductive
logic programming approach, implemented using ASP, it is possible to synthesise
new rules and revise the existing ones. The learning mechanism is guided by the
designer who describes the desired properties of the framework through use
cases, comprising (i) event traces that capture possible scenarios, and (ii) a
state that describes the desired outcome. The learning process then proposes
additional rules, or changes to current rules, to satisfy the constraints
expressed in the use cases. Thus, the contribution of this paper is a process
for the elaboration and revision of a normative framework by means of a
semi-automatic and iterative process driven from specifications of
(un)desirable behaviour. The process integrates a novel and general methodology
for theory revision based on ASP.

本文提出了一种以用例为驱动的迭代设计方法，用于规范开放系统的虚拟机构；文中介绍了一种基于答案集语义的逻辑程序计算模型，并通过归纳逻辑编程方法实现计算模型；该方法以设计者描述的用例为指导，通过生成附加规则或更改现有规则的方式实现规范框架的完善和修订，从而实现规范框架的自动化学习；该过程整合了一种基于 ASP 的理论修订方法，为规范框架的发展提供了新思路。