PPT Slide

“accepts” interface

(both same and other

domains)

firing rule

Model of Component

“requests interface

(both domains)

successors in

same domain

successors in

implementing

domain

Each Node in the Graph

has the following format.