Toggle Main Menu Toggle Search

Open Access padlockePrints

ADL: An Activity Description Language for Real-Time Networks

Lookup NU author(s): Dr Stephen Paynter, Dr James Armstrong, Jolien Haveman

Downloads


Abstract

Abstract: This paper introduces and motivates ADL, a new formal notation for the specification of temporal and functional behaviour of concurrent processes. ADL is tailored to be directly compatible with the DORIS design method. It combines a graphical Activity State machine (ASM) notation and a model-based Activity Functional Behaviour (AFB) notation. The abstract syntax, and static and dynamic semantics for the ASM notation are given, the dynamic semantics being give proof-theoretically in many-sorted logic with the RTL 'occurrence' relation and the ERTL 'holding' relation. ADL is used to specify a small network, and proofs are given of its timeliness and safety properties.


Publication metadata

Author(s): Paynter S, Armstrong JM, Haveman J

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 2000

Pages: 39

Print publication date: 01/11/2000

Source Publication Date: November 2000

Report Number: 712

Institution: Department of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/712.pdf


Share