DocumentCode
2308511
Title
Independence in architectural descriptions
Author
Krishnan, Padmanabhan
Author_Institution
Dept. of Comput. Sci., Canterbury Univ., Christchurch, New Zealand
fYear
1998
fDate
26-29 Jan 1998
Firstpage
68
Lastpage
75
Abstract
The purpose of this article is to show the suitability of asynchronous automata as the formal model for the specification of architectural patterns and particular architectures. Independence of actions, which occurs naturally in asynchronous automata, has direct relevance in architectural descriptions. We demonstrate this via a sequence of examples. The aim of this exercise is to identify a suitable formal model for architectures for teaching purposes. Towards this, we claim that asynchronous automata suffice
Keywords
automata theory; computer science education; formal specification; teaching; action independence; architectural patterns; asynchronous automata; computer science education; formal specification; software architectural descriptions; teaching; Automata; Computer architecture; Computer science; Connectors; Data structures; Education; Programming profession; Software architecture; Software systems; Terminology;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering: Education & Practice, 1998. Proceedings. 1998 International Conference
Conference_Location
Dunedin
Print_ISBN
0-8186-8828-9
Type
conf
DOI
10.1109/SEEP.1998.707635
Filename
707635
Link To Document