Title :
Relationship between State Machine and Dynamic Behavior: Coherence among Events and Messages
Author :
da Luz, J.G.B. ; de Barros, M.P.
Author_Institution :
Pontificia Univ. Catoli ca de Sao Paulo, Sao Paulo, Brazil
Abstract :
This article´s purpose is to justify and make explicit the importance of coherence between a state machine´s events and a communication diagram´s messages.
Keywords :
finite state machines; communication diagram message; dynamic behavior; state machine event; Abstracts; Analytical models; Coherence; Computational modeling; Computers; Electronic mail; Unified modeling language; coherence; communication diagram; state machine;
Conference_Titel :
Information Technology: New Generations (ITNG), 2012 Ninth International Conference on
Conference_Location :
Las Vegas, NV
Print_ISBN :
978-1-4673-0798-7
DOI :
10.1109/ITNG.2012.86
