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

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Abstract

This paper introduces and motivates ADL, a new formal notation for the specification of the 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 given proof-theoretically in many-sorted logic extended 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 SE, Armstrong JM, Haveman J

Publication type: Article

Publication status: Published

Journal: Formal Aspects of Computing

Year: 2000

Volume: 12

Issue: 2

Pages: 120-144

ISSN (print): 0934-5043

ISSN (electronic): 1433-299X

Publisher: Springer

URL: http://dx.doi.org/10.1007/s001650070032

DOI: 10.1007/s001650070032


Altmetrics

Altmetrics provided by Altmetric


Share