Research on formalism of architecture description language based on B method

J4 ›› 2013, Vol. 35 ›› Issue (1): 100-106.

• 论文 • Previous Articles Next Articles

Research on formalism of architecture description language based on B method

DING Xiangling1,WANG Zhigang2

（1.Department of Physics and Information Engineering,Huaihua College,Huaihua 418008;
2.College of Mathematics & Computer Sciense,Hunan Normal University,Changsha 410081,China）

Received:2011-11-02 Revised:2012-02-23 Online:2013-01-25 Published:2013-01-25

Abstract

Abstract:

By analyzing the features of B method and software architecture description language ABC/ADL, this paper proposes a formal software method combining B method and ABC/ADL. The method utilizes the extended event mechanism of B method, defines components, connectors, behavior specification, behavior constraints and constraints instances of the Architecture description language ABC/ADL, and then makes the B method based ABC/ADL be able to formally describe the structure and behavior of the software architecture.

Key words: architecture description language;B method;event;formalism

DING Xiangling1,WANG Zhigang2. Research on formalism of architecture description language based on B method [J]. J4, 2013, 35(1): 100-106.

Research on formalism of architecture description language based on B method

PDF

Knowledge

Abstract

Cite this article

share this article

Related Articles 0

Recommended Articles

Metrics

Comments