Defining a connector in WRIGHT: client-server

connector C-S-connector =role Client = (request!x ? result?y ? Client) ? §role Server = (invoke?x ? return!y ? Server) ? §glue = (Client.request?x ? Service.invoke!x ? Service.return?y ? Client.result!y ? glue)

? §

Previous slide

Next slide

Back to first slide

View graphic version