Modeling and validation of publish/subscribe architectures

Testing Commercial-off-the-Shelf Components and Systems

Volumn , Issue , 2005, Pages 273-291

  Baresi, Luciano ^a   Ghezzi, Carlo ^a   Zanolin, Luca ^a  

^a POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 34247526872     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/3-540-27071-X_13     Document Type: Chapter

References (4)

1. The tool (Sect. 5) provides a set of check boxes to let the designer select the desired options
2. For simplicity, we assume here that the temperature can assume only two values:cold and hot
3. For the sake of clarity, in Fig. 7 we do not describe who publishes or consumes events
4. Readers can interpret this automaton as a statechart extended with inhibitor arcs (i.e., negative conditions). The diagram contains three parallel threads: The first two flows identify positive evolutions, while the third flow states a negative condition