Beynon, Meurig, Slade, Mike and Yung, Yun Pui (1990) Protocol specification in concurrent systems software development. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Preview

PDF WRAP_cs-rr-163.pdf - Requires a PDF viewer. Download (4Mb) | Preview

Request Changes to record.

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.

Item Type:	Report
Subjects:	Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software
Divisions:	Faculty of Science, Engineering and Medicine > Science > Computer Science
Library of Congress Subject Headings (LCSH):	Computer multitasking
Series Name:	Department of Computer Science Research Report
Publisher:	University of Warwick. Department of Computer Science
Place of Publication:	Coventry, UK
Official Date:	October 1990
Dates:	Date Event October 1990 Completion
Number:	Number 163
Number of Pages:	23
DOI:	CS-RR-163
Institution:	University of Warwick
Theses Department:	Department of Computer Science
Status:	Not Peer Reviewed
Publication Status:	Unpublished
Related URLs:	Organisation

Request changes or add full text files to a record

Repository staff actions (login required)

View Item

Downloads