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

Guardado en:

Detalles Bibliográficos
Autores principales:	Alrajeh, D., Kramer, J., Russo, A., Uchitel, S.
Formato:	CONF
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:	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	todo:paper_18688969_v11_n_p106_Alrajeh
record_format	dspace
spelling	todo:paper_18688969_v11_n_p106_Alrajeh2023-10-03T16:33:50Z An Inductive approach for modal transition system refinement Alrajeh, D. Kramer, J. Russo, A. Uchitel, S. 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. CONF info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar 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 Alrajeh, D. Kramer, J. Russo, A. Uchitel, S. 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.
format	CONF
author	Alrajeh, D. Kramer, J. Russo, A. Uchitel, S.
author_facet	Alrajeh, D. Kramer, J. Russo, A. Uchitel, S.
author_sort	Alrajeh, D.
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
url	http://hdl.handle.net/20.500.12110/paper_18688969_v11_n_p106_Alrajeh
work_keys_str_mv	AT alrajehd aninductiveapproachformodaltransitionsystemrefinement AT kramerj aninductiveapproachformodaltransitionsystemrefinement AT russoa aninductiveapproachformodaltransitionsystemrefinement AT uchitels aninductiveapproachformodaltransitionsystemrefinement AT alrajehd inductiveapproachformodaltransitionsystemrefinement AT kramerj inductiveapproachformodaltransitionsystemrefinement AT russoa inductiveapproachformodaltransitionsystemrefinement AT uchitels inductiveapproachformodaltransitionsystemrefinement
_version_	1807316230462242816

An Inductive approach for modal transition system refinement

Ejemplares similares