Title :
Independence in architectural descriptions
Author :
Krishnan, Padmanabhan
Author_Institution :
Dept. of Comput. Sci., Canterbury Univ., Christchurch, New Zealand
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;
Conference_Titel :
Software Engineering: Education & Practice, 1998. Proceedings. 1998 International Conference
Conference_Location :
Dunedin
Print_ISBN :
0-8186-8828-9
DOI :
10.1109/SEEP.1998.707635
