Abstract:
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.
Registro:
Documento: |
Conferencia
|
Título: | An Inductive approach for modal transition system refinement |
Autor: | Alrajeh, D.; Kramer, J.; Russo, A.; Uchitel, S. |
Ciudad: | Lexington, KY |
Filiación: | Department of Computing, Imperial College London, 180 Queens Gate, London SW7 2AZ, United Kingdom Departamento de Computaciòn, FCEyN, UBA, Buenos Aires, Argentina
|
Palabras clave: | 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 |
Año: | 2011
|
Volumen: | 11
|
Página de inicio: | 106
|
Página de fin: | 116
|
Título revista: | 27th International Conference on Logic Programming, ICLP 2011
|
Título revista abreviado: | Leibniz Int. Proc. Informatics, LIPIcs
|
ISSN: | 18688969
|
Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_18688969_v11_n_p106_Alrajeh |
Referencias:
- Alrajeh, D., Kramer, J., Russo, A., Uchitel, S., Learning operational requirements from goal models (2009) Proc. of 31st Intl. Conf. on Soft. Eng., pp. 265-275
- Alrajeh, D., Ray, O., Russo, A., Uchitel, S., Using abduction and induction for operational requirements elaboration (2009) J. of Applied Logic, 7 (3), pp. 275-288
- D'ippolito, N., Fischbein, D., Chechik, M., Uchitel, S., MTSA: The modal transition system analyser (2008) Proc. of 23rd Intl. Conf. on Auto. Soft. Eng., pp. 475-476
- Fischbein, D., Braberman, V., Uchitel, S., A sound observational semantics for modal transition systems (2009) Proc. of the 6th Intl. Colloquium on Theoretical Aspects of Comp, pp. 215-230
- Fischbein, D., Uchitel, S., On correct and complete strong merging of partial behaviour models (2008) Proc. of 16th Intl. Symp. on Foundations of Soft. Eng., pp. 297-307
- Gelfond, M., Lifschitz, V., The stable model semantics for logic programming (1988) Proc. of 5th Intl. Conf. on Logic Programming, pp. 1070-1080. , R.A. Kowalski and K. Bowen, editors
- Giannakopoulou, D., Magee, J., Fluent model checking for event-based systems (2003) Proc. 11th ACM SIGSOFT Symp. on Foundations Soft. Eng., pp. 257-266
- Larsen, K., Nyman, U., Wasowski, A., On modal refinement and consistency (2007) Proc. of 18th Intl. Conf. on Concurrency Theory, pp. 105-119
- Larsen, K.G., Thomsen, B., A modal process logic (1988) Proc. of 3rd Annual Symp. on Logic in Computer Science, pp. 203-210
- Muggleton, S.H., Inverse entailment and progol (1995) New Generation Comp., Special Issue on Inductive Logic Programming, 13 (3-4), pp. 245-286
- Ray, O., Nonmonotonic abductive inductive learning (2009) J. of Applied Logic, 7 (3), pp. 329-340
- Shanahan, M., The event calculus explained (1999) Artificial Intelligence Today: Recent Trends and Developments, pp. 409-430. , volume 1600 of LNCS
- Uchitel, S., Brunet, G., Chechik, M., Synthesis of partial behavior models from properties and scenarios (2009) Trans. on Soft. Eng., 35, pp. 384-406
- Van Ommering, R., Van Der Linden, F., Kramer, J., Magee, J., TheKoala component model for consumer electronics software (2000) Computer, 33, pp. 78-85
Citas:
---------- APA ----------
Alrajeh, D., Kramer, J., Russo, A. & Uchitel, S.
(2011)
. An Inductive approach for modal transition system refinement. 27th International Conference on Logic Programming, ICLP 2011, 11, 106-116.
Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_18688969_v11_n_p106_Alrajeh [ ]
---------- CHICAGO ----------
Alrajeh, D., Kramer, J., Russo, A., Uchitel, S.
"An Inductive approach for modal transition system refinement"
. 27th International Conference on Logic Programming, ICLP 2011 11
(2011) : 106-116.
Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_18688969_v11_n_p106_Alrajeh [ ]
---------- MLA ----------
Alrajeh, D., Kramer, J., Russo, A., Uchitel, S.
"An Inductive approach for modal transition system refinement"
. 27th International Conference on Logic Programming, ICLP 2011, vol. 11, 2011, pp. 106-116.
Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_18688969_v11_n_p106_Alrajeh [ ]
---------- VANCOUVER ----------
Alrajeh, D., Kramer, J., Russo, A., Uchitel, S. An Inductive approach for modal transition system refinement. Leibniz Int. Proc. Informatics, LIPIcs. 2011;11:106-116.
Available from: https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_18688969_v11_n_p106_Alrajeh [ ]