<%@ page language="java" contentType="text/html" %>
<%-- Include common initialisation code --%>
<%@ include file="/arch/common.jsp" %>
<%-- The current tab --%>
<% String currentTab = "Research"; %>
<%-- Content of navigation pane --%>
<%@ include file="nav.jsp" %>
<% showCurrentLink=true; %>
<%-- Current navigation location --%>
<% String currentNav = "Reports and Theses"; %>
<%-- Include the code for the document header --%>
<%@ include file="/arch/header.jsp" %>
Research Report CS-RR-163
<%-- Include the code for the lines and navigation --%>
<%@ include file="/arch/middle.jsp" %>
W.M. Beynon, M. Slade and Y.P. Yung,
Protocol Specification in Concurrent Systems Software Development
(September 1, 1990).
Abstract
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.
Download
cs-rr-163.pdf
<%-- Include the code for the document footer --%>
<%@ include file="/arch/footer.jsp" %>