Capturing Interactions in Architectural Patterns

被引：1

作者：

Yadav, Dharmendra K. ^{[1
]}

Joshi, Rushikesh K. ^{[1
]}

机构：

[1] Indian Inst Technol, Dept Comp Sci & Engn, Bombay 400076, Maharashtra, India

来源：

2010 IEEE 2ND INTERNATIONAL ADVANCE COMPUTING CONFERENCE | 2010年

关键词：

Software architecture; formal descriptions; CCS; architectural patterns; SOFTWARE ARCHITECTURE;

D O I：

10.1109/IADCC.2010.5422893

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Patterns of software architecture help in describing structural and functional properties of a system in terms of smaller components. The emphasis of this work is on capturing the aspects of pattern descriptions and the properties of inter-component interactions including non-deterministic behavior. Through these descriptions we, capture structural and behavioral specifications as well as properties against which the specifications are verified. The patterns covered in this paper are variants of Proxy, Chain, MVC, Acceptor-Connector, Publisher-Subscriber and Dinning Philosopher patterns. While the machines are CCS-based, the properties have been described in Modal mu-Calculus. The approach serves as a framework for precise architectural descriptions.

引用

页码：443 / 448

页数：6

共 17 条

[11] RESULTS ON THE PROPOSITIONAL MU-CALCULUS [J].

KOZEN, D .

THEORETICAL COMPUTER SCIENCE, 1983, 27 (03) :333-354

[12] In practice: UML software architecture and design description [J].

Lange, CFJ ;

Chaudron, MRV ;

Muskens, J .

IEEE SOFTWARE, 2006, 23 (02) :40-+

[13]

Magee J., 1996, ACM SIGSOFT SOFTW EN, V21, P3, DOI DOI 10.1145/250707.239104

[14] 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

[15]

Milner R., 1989, Communication and concurrency

[16]

*OBJ MAN GROUP, 2004, EV SERV SPEC

[17]

STIRLING C, 1991, P UK JAP WORKSH CONC, P2

← 1 2 →