Abstract:
Modal Transition Systems (MTS) are operational models that distinguish between required and proscribed behaviour of the system to be and behaviour which it is not yet known whether the system should exhibit. MTS, in contrast with traditional behaviour models, support reasoning about the intended system behaviour in the presence of incomplete knowledge. In this paper, we present MTSA a tool that supports the construction, analysis and elaboration of Modal Transition Systems (MTS). © 2008 IEEE.
Registro:
| Documento: |
Conferencia
|
| Título: | MTSA: The modal transition system analyser |
| Autor: | D'Ippolito, N.; Fischbein, D.; Chechik, M.; Uchitel, S. |
| Ciudad: | L'Aquila |
| Filiación: | FCEN, University of Buenos Aires, Argentina
Imperial College London, London SW7 2RH, United Kingdom
University of Toronto, Toronto, ON, Canada
|
| Palabras clave: | Behaviour models; Incomplete knowledges; Modal Transition Systems; Operational models; System behaviours; Software engineering |
| Año: | 2008
|
| Página de inicio: | 475
|
| Página de fin: | 476
|
| DOI: |
http://dx.doi.org/10.1109/ASE.2008.78 |
| Título revista: | ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering
|
| Título revista abreviado: | ASE - IEEE/ACM Int. Conf. Autom. Softw. Eng., Proc.
|
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97814244_v_n_p475_DIppolito |
Referencias:
- Larsen, K.G., Thomsen, B., A modal process logic (1988) LICS, pp. 203-210. , IEEE Computer Society
- Magee, J., Kramer, J., (1999) Concurrency - State Models and Java Programs, , John Wiley
- Sibay, G., Uchitel, S., Braberman, V., Existential live sequence charts revisited, (2008) ICSE'08
- Uchitel, S., Chechik, M., Merging Partial Behavioural Models (2004) FSE'04, pp. 43-52A4 - IEEE TCSE; ACM SIGSOFT; ACM SIGART; AICA
Citas:
---------- APA ----------
D'Ippolito, N., Fischbein, D., Chechik, M. & Uchitel, S.
(2008)
. MTSA: The modal transition system analyser. ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, 475-476.
http://dx.doi.org/10.1109/ASE.2008.78---------- CHICAGO ----------
D'Ippolito, N., Fischbein, D., Chechik, M., Uchitel, S.
"MTSA: The modal transition system analyser"
. ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering
(2008) : 475-476.
http://dx.doi.org/10.1109/ASE.2008.78---------- MLA ----------
D'Ippolito, N., Fischbein, D., Chechik, M., Uchitel, S.
"MTSA: The modal transition system analyser"
. ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008, pp. 475-476.
http://dx.doi.org/10.1109/ASE.2008.78---------- VANCOUVER ----------
D'Ippolito, N., Fischbein, D., Chechik, M., Uchitel, S. MTSA: The modal transition system analyser. ASE - IEEE/ACM Int. Conf. Autom. Softw. Eng., Proc. 2008:475-476.
http://dx.doi.org/10.1109/ASE.2008.78