Network Modelling Meeting - May 30

[Joseph Peters <peters@cs.sfu.ca>]

NETWORK MODELLING RESEARCH GROUP
--------------------------------

Friday, May 23, 13:30, K 8652 <-- NOTE THE ROOM CHANGE

Speaker:  Mona Vajihollahi
          School of Computing Science

Title:    High Level Executable Specification of Web Services Architectures

Juice and cookies will be provided.
____________________________________________________________________________ 

Abstract:

Why do we need High Level Executable Specifications at all?  In this talk,
I try  to discuss the benefits of high level executable specifications.
I will then provide a short overview to Abstract State Machines and show
how we can apply ASMs to derive executable models of Web Services.

____________________________________________________________________________ 

NOTE: We are meeting in a different room next week because our regular room
      is not available.  All of our other meetings this semester will be in
      ASB 9896 as usual.