Protocol Conformance through Refinement Mappings in Cadence SMV
Van Langenhove, Sara
Bull. Belg. Math. Soc. Simon Stevin, Tome 13 (2007) no. 5, p. 905-915 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
This paper addresses the verification of protocol conformance between two types of state machines in model-driven software design: protocol state machines that enable specifying allowed sequences of signals and behavioral state machines that are intended for implementation specification. The contribution of the present paper, is to provide a methodology, which is based on refinement mappings, to automatically verify on protocol conformance. It helps to turn UML into a powerful and interesting tool for the development of business critical software systems.
Publié le : 2007-01-14
Classification:  
@article{1170347813,
     author = {Van Langenhove, Sara},
     title = {Protocol Conformance through Refinement Mappings in Cadence SMV},
     journal = {Bull. Belg. Math. Soc. Simon Stevin},
     volume = {13},
     number = {5},
     year = {2007},
     pages = { 905-915},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1170347813}
}

Van Langenhove, Sara. Protocol Conformance through Refinement Mappings in Cadence SMV. Bull. Belg. Math. Soc. Simon Stevin, Tome 13 (2007) no. 5, pp.  905-915. http://gdmltest.u-ga.fr/item/1170347813/