Distribution of modal transition systems

In order to capture all permissible implementations, partial models of component based systems are given as at the system level. However, iterative refinement by engineers is often more convenient at the component level. In this paper, we address the problem of decomposing partial behaviour models f...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Sibay, G.E., Uchitel, S., Braberman, V., Kramer, J.
Formato: SER
Materias:
Distribution
Modal Transition Systems
Behaviour models
Component based systems
Component interfaces
Component levels
Componentwise
Iterative refinement
Labelled transition systems
System levels
Artificial intelligence
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03029743_v7436LNCS_n_p403_Sibay
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id todo:paper_03029743_v7436LNCS_n_p403_Sibay
record_format dspace
spelling todo:paper_03029743_v7436LNCS_n_p403_Sibay2023-10-03T15:19:26Z Distribution of modal transition systems Sibay, G.E. Uchitel, S. Braberman, V. Kramer, J. Distribution Modal Transition Systems Behaviour models Component based systems Component interfaces Component levels Componentwise Distribution Iterative refinement Labelled transition systems Modal Transition Systems System levels Artificial intelligence In order to capture all permissible implementations, partial models of component based systems are given as at the system level. However, iterative refinement by engineers is often more convenient at the component level. In this paper, we address the problem of decomposing partial behaviour models from a single monolithic model to a component-wise model. Specifically, given a Modal Transition System (MTS) M and component interfaces (the set of actions each component can control/monitor), can MTSs M 1 ..., M n matching the component interfaces be produced such that independent refinement of each M i will lead to a component Labelled Transition Systems (LTS) I i such that composing the I i s result in a system LTS that is a refinement of M? We show that a sound and complete distribution can be built when the MTS to be distributed is deterministic, transition modalities are consistent and the LTS determined by its possible transitions is distributable. © 2012 Springer-Verlag. Fil:Sibay, G.E. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Fil:Braberman, V. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. SER info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_03029743_v7436LNCS_n_p403_Sibay
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic Distribution
Modal Transition Systems
Behaviour models
Component based systems
Component interfaces
Component levels
Componentwise
Distribution
Iterative refinement
Labelled transition systems
Modal Transition Systems
System levels
Artificial intelligence
spellingShingle Distribution
Modal Transition Systems
Behaviour models
Component based systems
Component interfaces
Component levels
Componentwise
Distribution
Iterative refinement
Labelled transition systems
Modal Transition Systems
System levels
Artificial intelligence
Sibay, G.E.
Uchitel, S.
Braberman, V.
Kramer, J.
Distribution of modal transition systems
topic_facet Distribution
Modal Transition Systems
Behaviour models
Component based systems
Component interfaces
Component levels
Componentwise
Distribution
Iterative refinement
Labelled transition systems
Modal Transition Systems
System levels
Artificial intelligence
description In order to capture all permissible implementations, partial models of component based systems are given as at the system level. However, iterative refinement by engineers is often more convenient at the component level. In this paper, we address the problem of decomposing partial behaviour models from a single monolithic model to a component-wise model. Specifically, given a Modal Transition System (MTS) M and component interfaces (the set of actions each component can control/monitor), can MTSs M 1 ..., M n matching the component interfaces be produced such that independent refinement of each M i will lead to a component Labelled Transition Systems (LTS) I i such that composing the I i s result in a system LTS that is a refinement of M? We show that a sound and complete distribution can be built when the MTS to be distributed is deterministic, transition modalities are consistent and the LTS determined by its possible transitions is distributable. © 2012 Springer-Verlag.
format SER
author Sibay, G.E.
Uchitel, S.
Braberman, V.
Kramer, J.
author_facet Sibay, G.E.
Uchitel, S.
Braberman, V.
Kramer, J.
author_sort Sibay, G.E.
title Distribution of modal transition systems
title_short Distribution of modal transition systems
title_full Distribution of modal transition systems
title_fullStr Distribution of modal transition systems
title_full_unstemmed Distribution of modal transition systems
title_sort distribution of modal transition systems
url http://hdl.handle.net/20.500.12110/paper_03029743_v7436LNCS_n_p403_Sibay
work_keys_str_mv AT sibayge distributionofmodaltransitionsystems
AT uchitels distributionofmodaltransitionsystems
AT brabermanv distributionofmodaltransitionsystems
AT kramerj distributionofmodaltransitionsystems
_version_ 1782028005541937152

Ejemplares similares