1887

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

Volume 2001, Issue 27
  • ISSN : 1015-7999
USD

 

Abstract

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...

Loading

Article metrics loading...

/content/comp/2001/27/EJC27912
2001-08-01
2017-03-29

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