Revisiting compatibility of input-output modal transition systems

Modern software systems are typically built of components that communicate through their external interfaces. The external behavior of a component can be effectively described using finite state automata-based formalisms. Such component models can then used for varied analyses. For example, interfac...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Krka, I., D'Ippolito, N., Medvidović, N., Uchitel, S.
Formato: SER
Materias:
Interface states
Automata-based formalisms
Component implementations
External behavior
Interface automata
Modal Transition Systems
Modeling formalisms
Requirements specifications
Software systems
Automata theory
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03029743_v8442LNCS_n_p367_Krka
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id todo:paper_03029743_v8442LNCS_n_p367_Krka
record_format dspace
spelling todo:paper_03029743_v8442LNCS_n_p367_Krka2023-10-03T15:19:37Z Revisiting compatibility of input-output modal transition systems Krka, I. D'Ippolito, N. Medvidović, N. Uchitel, S. Interface states Automata-based formalisms Component implementations External behavior Interface automata Modal Transition Systems Modeling formalisms Requirements specifications Software systems Automata theory Modern software systems are typically built of components that communicate through their external interfaces. The external behavior of a component can be effectively described using finite state automata-based formalisms. Such component models can then used for varied analyses. For example, interface automata, which model the behavior of components in terms of component states and transitions between them, can be used to check whether the resulting system is compatible. By contrast, partial-behavior modeling formalisms, such as modal transition systems, can be used to capture and then verify properties of sets of prospective component implementations that satisfy an incomplete requirements specification. In this paper, we study how pairwise compatibility should be defined for partial-behavior models. To this end, we describe the limitations of the existing compatibility definitions, propose a set of novel compatibility notions for modal interface automata, and propose efficient, correct, and complete compatibility checking procedures © 2014 Springer International Publishing Switzerland. SER info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_03029743_v8442LNCS_n_p367_Krka
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic Interface states
Automata-based formalisms
Component implementations
External behavior
Interface automata
Modal Transition Systems
Modeling formalisms
Requirements specifications
Software systems
Automata theory
spellingShingle Interface states
Automata-based formalisms
Component implementations
External behavior
Interface automata
Modal Transition Systems
Modeling formalisms
Requirements specifications
Software systems
Automata theory
Krka, I.
D'Ippolito, N.
Medvidović, N.
Uchitel, S.
Revisiting compatibility of input-output modal transition systems
topic_facet Interface states
Automata-based formalisms
Component implementations
External behavior
Interface automata
Modal Transition Systems
Modeling formalisms
Requirements specifications
Software systems
Automata theory
description Modern software systems are typically built of components that communicate through their external interfaces. The external behavior of a component can be effectively described using finite state automata-based formalisms. Such component models can then used for varied analyses. For example, interface automata, which model the behavior of components in terms of component states and transitions between them, can be used to check whether the resulting system is compatible. By contrast, partial-behavior modeling formalisms, such as modal transition systems, can be used to capture and then verify properties of sets of prospective component implementations that satisfy an incomplete requirements specification. In this paper, we study how pairwise compatibility should be defined for partial-behavior models. To this end, we describe the limitations of the existing compatibility definitions, propose a set of novel compatibility notions for modal interface automata, and propose efficient, correct, and complete compatibility checking procedures © 2014 Springer International Publishing Switzerland.
format SER
author Krka, I.
D'Ippolito, N.
Medvidović, N.
Uchitel, S.
author_facet Krka, I.
D'Ippolito, N.
Medvidović, N.
Uchitel, S.
author_sort Krka, I.
title Revisiting compatibility of input-output modal transition systems
title_short Revisiting compatibility of input-output modal transition systems
title_full Revisiting compatibility of input-output modal transition systems
title_fullStr Revisiting compatibility of input-output modal transition systems
title_full_unstemmed Revisiting compatibility of input-output modal transition systems
title_sort revisiting compatibility of input-output modal transition systems
url http://hdl.handle.net/20.500.12110/paper_03029743_v8442LNCS_n_p367_Krka
work_keys_str_mv AT krkai revisitingcompatibilityofinputoutputmodaltransitionsystems
AT dippoliton revisitingcompatibilityofinputoutputmodaltransitionsystems
AT medvidovicn revisitingcompatibilityofinputoutputmodaltransitionsystems
AT uchitels revisitingcompatibilityofinputoutputmodaltransitionsystems
_version_ 1807314659374530560

Ejemplares similares