文章基本信息

标题：An Inductive Approach for Modal Transition System Refinement
本地全文：下载
作者：Dalal Alrajeh ; Jeff Kramer ; Alessandra Russo 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2011
卷号：11
页码：106-116
DOI：10.4230/LIPIcs.ICLP.2011.106
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：Modal Transition Systems (MTSs) provide an appropriate framework for modelling software behaviour when only a partial specification is available. A key characteristic of an MTS is that it explicitly models events that a system is required to provide and is proscribed from exhibiting, and those for which no specification is available, called maybe events. Incremental elaboration of maybe events into either required or proscribed events can be seen as a process of MTS refinement, resulting from extending a given partial specification with more information about the system behaviour. This paper focuses on providing automated support for computing strong refinements of an MTS with respect to event traces that describe required and proscribed behaviours using a non-monotonic inductive logic programming technique. A real case study is used to illustrate the practical application of the approach.
关键词：Modal Transition Systems; Refinement; Inductive Logic Programming; Event Calculus