Abstract:
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.
Citación:
---------- APA ----------
Fischbein, Darío. (2006). Branching semantics for modal transition systems. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000262_Fischbein
---------- CHICAGO ----------
Fischbein, Darío. "Branching semantics for modal transition systems". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2006.https://hdl.handle.net/20.500.12110/seminario_nCOM000262_Fischbein
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000262_Fischbein.pdf
Distrubución geográfica
