Relationship between State Machine and Dynamic Behavior: Coherence among Events and Messages

摘要

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