An Inductive approach for modal transition system refinement

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 w...

Descripción completa

Detalles Bibliográficos
Publicado: 2011
Materias:
Event calculus
Inductive logic programming
Modal transition system
Refinement
Automated support
Key characteristics
Modal Transition Systems
Modelling softwares
Partial specifications
Real case
Inductive logic programming (ILP)
Specifications
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_18688969_v11_n_p106_Alrajeh
http://hdl.handle.net/20.500.12110/paper_18688969_v11_n_p106_Alrajeh
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id paper:paper_18688969_v11_n_p106_Alrajeh
record_format dspace
spelling paper:paper_18688969_v11_n_p106_Alrajeh2023-06-08T16:29:53Z An Inductive approach for modal transition system refinement Event calculus Inductive logic programming Modal transition system Refinement Automated support Event calculus Key characteristics Modal Transition Systems Modelling softwares Partial specifications Real case Refinement Inductive logic programming (ILP) Specifications 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. 2011 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_18688969_v11_n_p106_Alrajeh http://hdl.handle.net/20.500.12110/paper_18688969_v11_n_p106_Alrajeh
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic Event calculus
Inductive logic programming
Modal transition system
Refinement
Automated support
Event calculus
Key characteristics
Modal Transition Systems
Modelling softwares
Partial specifications
Real case
Refinement
Inductive logic programming (ILP)
Specifications
spellingShingle Event calculus
Inductive logic programming
Modal transition system
Refinement
Automated support
Event calculus
Key characteristics
Modal Transition Systems
Modelling softwares
Partial specifications
Real case
Refinement
Inductive logic programming (ILP)
Specifications
An Inductive approach for modal transition system refinement
topic_facet Event calculus
Inductive logic programming
Modal transition system
Refinement
Automated support
Event calculus
Key characteristics
Modal Transition Systems
Modelling softwares
Partial specifications
Real case
Refinement
Inductive logic programming (ILP)
Specifications
description 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.
title An Inductive approach for modal transition system refinement
title_short An Inductive approach for modal transition system refinement
title_full An Inductive approach for modal transition system refinement
title_fullStr An Inductive approach for modal transition system refinement
title_full_unstemmed An Inductive approach for modal transition system refinement
title_sort inductive approach for modal transition system refinement
publishDate 2011
url https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_18688969_v11_n_p106_Alrajeh
http://hdl.handle.net/20.500.12110/paper_18688969_v11_n_p106_Alrajeh
_version_ 1768543725079756800

Ejemplares similares