Formal Communication Modeling and Refinement
Juha Plosila, Tiberiu Seceleanu, Kaisa Sere · Kluwer Academic Publishers eBooks · 2006
In this chapter we applied Action Systems formalism to the specification and refinement of communication channels between digital system components, within the larger concept of platform-based design. Issues such as abstraction level — reflected in the representation of the communication channels, and asynchronous as well as synchronous communication schemes were addressed. The refinement techniques were used to correctly transform the initial abstract specification into a more concrete form, closer to implementation level. While the communication platform was analyzed in more detail, the actual computation units were only viewed as communication partners. Hence, their individual internal behavior can be analyzed and specified later, as a separate refinement process that preserves the external behavior established earlier.