n South African Computer Journal - Global conflict resolution in automated service-based -protocol synthesis

Volume 2001, Issue 27
  • ISSN : 1015-7999
  • E-ISSN: 2313-7835



A transformation is proposed which, given a specification of the required external behaviour of a server consisting of two synchronously communicating components and a partitioning of the specified service actions among the server components, derives behaviour of individual components, i.e. a protocol implementing the service. The adopted specification language is an abstraction of E-LOTOS. The transformation accepts service specifications written in its Basic-LOTOS-like sublanguage. The stress is on demonstrating that distributed decision-making can be implemented without preventing the derived protocol specifications from reflecting the structure of the service specifications.

Loading full text...

Full text loading...


Article metrics loading...


This is a required field
Please enter a valid email address
Approval was a Success
Invalid data
An Error Occurred
Approval was partially successful, following selected items could not be processed due to error