DAWN for component based systems – just a different perspective –

Joint Annual Conference of the GI Special Interest Groups "Petrinetze und verwandte Systemmodelle" and EMISA

计算机科学;社会科学（总论）

Ekkart Kindler

Others  :  http://CEUR-WS.org/Vol-65/01kindler.pdf
PID  :  24475

来源: CEUR

【 摘 要 】

DAWN is technique for modelling and verifying network algorithms, which is based on Petri nets and temporal logic. In this paper, we present a different perspective of DAWN that allows us to use it for verifying component bases systems by modelling components and their interaction independently of each other.