Protocol specification in concurrent systems software development
Meurig Beynon, Mike Slade, Y. P. Yung · Warwick Research Archive Portal (University of Warwick) · 1990
A protocol specification technique that relates concurrent system behaviour to agent activity and interaction at a high level of abstraction is described. This exploits a concurrent programming technique based on a synthesis of two new programming paradigms: "agent-oriented" and "definition-based" programming. Application of the method to modelling and simulation activity at a railway station is described. Its potential for concurrent systems software requirements specification is assessed.