Global conflict resolution in automated service-based -protocol synthesis
Monika Kapus-Kolar · South African Computer Journal · 2001
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.