Input/output compatibility of reactive systems
Visualitza/Obre
Cita com:
hdl:2117/130838
Tipus de documentText en actes de congrés
Data publicació2002
EditorSpringer
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
The notion of I/O compatibility of reactive systems is defined. It models the fact that two systems can be connected and establish a correct dialogue through their input and output events. I/O compatibility covers safeness and liveness properties that can be checked with a polynomial-time decision procedure. The relationship between observational equivalence, I/O compatibility and input properness is also studied with the aim at supporting the proposal of transformations for the synthesis of reactive systems. Finally, a set of Petri net transformations that preserve I/O compatibility are shown as an example of application of the theory presented in this paper.
CitacióCarmona, J.; Cortadella, J. Input/output compatibility of reactive systems. A: International Conference on Formal Methods in Computer-Aided Design. "Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002: Portland, OR, USA, November 6-8, 2002: proceedings". Springer, 2002, p. 360-377.
ISBN978-3-540-36126-8
Versió de l'editorhttps://link.springer.com/chapter/10.1007%2F3-540-36126-X_22
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
fmcad02.pdf | 802,1Kb | Visualitza/Obre |