Segregation with Communication

We have developed a general denition of segregation in the context of Z system specications. This denition is general enough to allow multi-way communications between otherwise segregated parties ned channels. We have an abstract denition of segregation in terms of the traces allowed by systems, a concrete style of specication to ensure segregation (a generalisation of promotion called multi-promotion) and a proof that unconstrained multi-promotion is a sucient condition to ensure segregation.

• Type: Conference
• Year: 2000
• Where: ZUM
• Authors: David Cooper, Susan Stepney
• Keywords: Formal Methods, General Denition, Multi-way Communications, Parties Ned Channels, ZUM 2000