A Component Model for Architectural Programming

被引：20

作者：

Baumeister, Hubert ^{[1
]}

Hacklinger, Florian ^{[1
]}

Hennicker, Rolf ^{[1
]}

Knapp, Alexander ^{[1
]}

Wirsing, Martin ^{[1
]}

机构：

[1] Ludwig Maximilians Univ Munchen, Inst Informat, Munich, Germany

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2006年 / 160卷 / 75-96期

关键词：

Architectural programming; software architecture; semantics of components;

D O I：

10.1016/j.entcs.2006.05.015

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Software architectures and modular composition help in constructing large-scale software systems. Current programming languages provide only insufficient support for software architecture. "Architectural programming" overcomes the problem of architectural erosion in implementations by integrating concepts of software architecture into programming languages. We present the new programming language Java/A as an instance for Java-based architectural programming and show how Java/A integrates architectural notions such as components, connectors, and assemblies into Java. A main asset of Java/A is its underlying abstract component model which provides the basis for reasoning about software components and assemblies. We give a formalisation of the abstract component model in terms of transition systems and states as algebras, and prove a consistency result for assemblies.

引用

页码：75 / 96

页数：22

共 15 条

[1]

DEALFARO L, 2001, P 9 ANN S FDN SOFTW, P109, DOI DOI 10.1145/503271.503226

[2]

Ganzinger Harald, 1981, INFORMATIK FACHBERIC, V50, P22

[3]

Groae-Rhode Martin, 2003, SEMANTIC INTEGRATION

[4]

HACKLINGER F, 2004, P 13 ISCA INT C INT, P163

[5]

IEEE, 2000, 14712000 IEEE

[6]

Knapp A., 2002, LECT NOTES COMPUTER, V2469, P395

[7] A classification and comparison framework for software architecture description languages [J].

Medvidovic, N ;

Taylor, RN .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2000, 26 (01) :70-93

[8]

Object Management Group, 2004, TECHNICAL REPORT

[9]

Pavel S, 2005, LECT NOTES COMPUT SC, V3628, P115, DOI 10.1007/11550679_9

[10]

Shaw M, 1995, SOFTWARE ENG IEEE T, V21, P314

← 1 2 →