Branching semantics for modal transition systems
Modal Transition Systems (MTS) are a formalism that allow for partial descriptions of a system’s behaviour. These models characterise the set of implementations that satisfy the partial knowledge available and facilitate the analysis of properties over this set. Given a model, the set of implementat...
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Tesis de grado publishedVersion |
| Lenguaje: | Español |
| Publicado: |
Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
2006
|
| Acceso en línea: | https://hdl.handle.net/20.500.12110/seminario_nCOM000262_Fischbein https://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=aextesisg&d=seminario_nCOM000262_Fischbein_oai |
| Aporte de: |
| id |
I28-R145-seminario_nCOM000262_Fischbein_oai |
|---|---|
| record_format |
dspace |
| spelling |
I28-R145-seminario_nCOM000262_Fischbein_oai2024-12-17 Uchitel, Sebastián Braberman, Víctor Adrián Fischbein, Darío 2006 Modal Transition Systems (MTS) are a formalism that allow for partial descriptions of a system’s behaviour. These models characterise the set of implementations that satisfy the partial knowledge available and facilitate the analysis of properties over this set. Given a model, the set of implementations it defines depends on the semantics used to interpret it. In this thesis we analyse the existing MTS semantics concluding they are not adequate for incrementally evolving a model from a software engineering perspective. We discuss the required characteristics for a semantics to be suitable and subsequently give a formal definition for a new semantics that has these characteristics. Finally, we present a software tool that we have developed to verify whether an implementation conforms to a partial model according to each of the studied semantics, i.e. if it is included in the set of implementations given by each semantics for that partial model. Fil: Fischbein, Darío. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. application/pdf https://hdl.handle.net/20.500.12110/seminario_nCOM000262_Fischbein spa Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-sa/2.5/ar Branching semantics for modal transition systems info:eu-repo/semantics/bachelorThesis info:ar-repo/semantics/tesis de grado info:eu-repo/semantics/publishedVersion https://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=aextesisg&d=seminario_nCOM000262_Fischbein_oai |
| institution |
Universidad de Buenos Aires |
| institution_str |
I-28 |
| repository_str |
R-145 |
| collection |
Repositorio Digital de la Universidad de Buenos Aires (UBA) |
| language |
Español |
| orig_language_str_mv |
spa |
| description |
Modal Transition Systems (MTS) are a formalism that allow for partial descriptions of a system’s behaviour. These models characterise the set of implementations that satisfy the partial knowledge available and facilitate the analysis of properties over this set. Given a model, the set of implementations it defines depends on the semantics used to interpret it. In this thesis we analyse the existing MTS semantics concluding they are not adequate for incrementally evolving a model from a software engineering perspective. We discuss the required characteristics for a semantics to be suitable and subsequently give a formal definition for a new semantics that has these characteristics. Finally, we present a software tool that we have developed to verify whether an implementation conforms to a partial model according to each of the studied semantics, i.e. if it is included in the set of implementations given by each semantics for that partial model. |
| author2 |
Uchitel, Sebastián |
| author_facet |
Uchitel, Sebastián Fischbein, Darío |
| format |
Tesis de grado Tesis de grado publishedVersion |
| author |
Fischbein, Darío |
| spellingShingle |
Fischbein, Darío Branching semantics for modal transition systems |
| author_sort |
Fischbein, Darío |
| title |
Branching semantics for modal transition systems |
| title_short |
Branching semantics for modal transition systems |
| title_full |
Branching semantics for modal transition systems |
| title_fullStr |
Branching semantics for modal transition systems |
| title_full_unstemmed |
Branching semantics for modal transition systems |
| title_sort |
branching semantics for modal transition systems |
| publisher |
Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
| publishDate |
2006 |
| url |
https://hdl.handle.net/20.500.12110/seminario_nCOM000262_Fischbein https://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=aextesisg&d=seminario_nCOM000262_Fischbein_oai |
| work_keys_str_mv |
AT fischbeindario branchingsemanticsformodaltransitionsystems |
| _version_ |
1824952557990051840 |