A SYNTACTIC THEORY OF SOFTWARE ARCHITECTURE

被引:29
|
作者
DEAN, TR
CORDY, JR
机构
[1] Department of Computing and Information Science, Queen's University at Kingston
基金
加拿大自然科学与工程研究理事会;
关键词
SOFTWARE ARCHITECTURE; SOFTWARE STRUCTURE; PATTERN MATCHING;
D O I
10.1109/32.385969
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
In this paper we introduce a general, extensible diagrammatic syntax for expressing software architectures based on typed nodes and connections and formalized using set theory. The syntax provides a notion of abstraction corresponding to the concept of a subsystem, and exploits this notion in a general mechanism for pattern matching over architectures. We demonstrate these ideas using a small example architecture language with a limited number of types of nodes and connectors, and a small taxonomy of architectures characterized as sets of patterns in the language.
引用
收藏
页码:302 / 313
页数:12
相关论文
共 50 条
  • [1] Software architecture theory and practice
    Tarullo, Michael
    [J]. CrossTalk, 2011, 24 (06): : 11 - 15
  • [2] Adhocism in software architecture -: Perspectives from design theory
    Taylor, P
    [J]. INTERNATIONAL CONFERENCE ON SOFTWARE METHODS AND TOOLS, PROCEEDING, 2000, : 41 - 50
  • [3] An Introduction to Syntactic Theory
    Oehl, Peter
    [J]. STUDIES IN LANGUAGE, 2008, 32 (04): : 950 - 955
  • [4] Syntactic analysis and theory
    Chircu, Adrian
    [J]. PHILOLOGICA JASSYENSIA, 2006, 2 (01): : 214 - 216
  • [5] SYNTACTIC THEORY IN THE 'ENCYCLOPEDIE'
    SWIGGERS, P
    [J]. LINGUA E STILE, 1983, 18 (02) : 161 - 176
  • [6] SYNTACTIC INFORMATION USEFUL FOR SOFTWARE MAINTENANCE
    COLLOFELLO, JS
    BLAYLOCK, JW
    [J]. AFIPS CONFERENCE PROCEEDINGS, 1985, 54 : 547 - &
  • [7] Goanna: Syntactic Software Model Checking
    Huuck, Ralf
    Fehnker, Ansgar
    Seefried, Sean
    Brauer, Joerg
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2008, 5311 : 216 - 221
  • [8] A SOFTWARE SYSTEM FOR SYNTACTIC ANALYSIS OF THE EEG
    BOURNE, JR
    JAGANNATHAN, V
    GIESE, B
    WARD, JW
    [J]. COMPUTER PROGRAMS IN BIOMEDICINE, 1980, 11 (03): : 190 - 200
  • [9] An array architecture for syntactic pattern recognition
    Koulouris, A
    Koziris, N
    Papakonstantinou, G
    Tsanakas, P
    [J]. ADVANCES IN INTELLIGENT SYSTEMS: CONCEPTS, TOOLS AND APPLICATIONS, 1999, 21 : 87 - 96
  • [10] The neural architecture of syntactic parsing and encoding
    Indefrey, P
    [J]. INTERNATIONAL JOURNAL OF PSYCHOLOGY, 2004, 39 (5-6) : 349 - 349