ADL : An activity description language for real-time networks

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-bas...

Full description

Saved in:
Bibliographic Details
Published in:Formal aspects of computing 2000-10, Vol.12 (2), p.120-144
Main Authors: PAYNTER, Stephen, ARMSTRONG, Jim, HAVEMAN, Jan
Format: Article
Language:English
Subjects:
Applied sciences
Automata. Abstract machines. Turing machines
Computer science
control theory
systems
Exact sciences and technology
Language theory and syntactical analysis
Programming theory
Theoretical computing
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0934-5043
1433-299X
DOI:10.1007/s001650070032