Paper Info
Title
An axiomatic approach to the specification of distributed computer architectures
Abstract
This paper presents two extensions to the axlomatic architecture description language AADL [11], which together allow for a modular and concise specification of multiprocessor architectures at levels of abstraction ranging from compiler/operating-system interface down to register-transfer-level. The specification method is illustrated by an AADL-definition of a top-level view of DOOM, a distributed object oriented machine, currently developed at Phillps Research Labs., Eindhoven [19,20] within ESPRIT-project 415.
Year
DOI
Venue
1987
10.1007/3-540-17943-7_123
PARLE (1)
Keywords
Field
DocType
computer architectures,axiomatic approach,computer architecture,architecture description language,distributed objects,register transfer level,operating system,distributed computing
Database-centric architecture,Computer architecture,Distributed object,Programming language,Software architecture description,Computer science,Distributed System Security Architecture,RM-ODP,Distributed design patterns,Compiler,Architecture description language
Conference
Volume
ISSN
ISBN
258
0302-9743
0-387-17943-7
Citations 
PageRank 
References 
3
1.90
10
Authors
2
Name
Order
Citations
PageRank
W. Damm19813.68
G Döhmen2364.28