Modeling Dynamic Software Architecture Based on π-Net

Author

Xiao Fu ; Xinyu Da ; Zhenhua Yu

Author_Institution

Sch. of Telecommun. Eng., Air Force Eng. Univ., Xi´an

Volume

2

fYear

2006

fDate

24-28 April 2006

Firstpage

2861

Lastpage

2865

Abstract

Software architecture is a key aspect of the design of large-scale and complicated software system. Architecture description languages (ADLs) provide a formal specification of the architecture in terms of components and connectors and how they are composed together. As existing ADLs are difficult to describe the dynamic software architecture, a pi-net based dynamic software architecture model (DSAM) is presented, in which two complementary formalisms, namely object-oriented Petri nets (OPN) and pi-calculus, are adopted as formal theory bases. DSAM stresses on description of dynamic software architecture. Moreover, DSAM uses formal methods of Petri nets and pi-calculus to analyze, simulate and verify software architecture. Finally, to illustrate the favorable representation capability of DSAM, an example of dynamic software architecture is provided and the potential applications are pointed out

Keywords

Petri nets; formal specification; object-oriented methods; pi calculus; software architecture; specification languages; architecture description language; formal specification; object-oriented Petri nets; pi-calculus; pi-net based dynamic software architecture; Architecture description languages; Computer architecture; Connectors; Formal specifications; Large-scale systems; Object oriented modeling; Petri nets; Software architecture; Software systems; Stress;

fLanguage

English

Publisher

ieee

Conference_Titel

Information and Communication Technologies, 2006. ICTTA '06. 2nd

Conference_Location

Damascus

Print_ISBN

0-7803-9521-2

Type

conf

DOI

10.1109/ICTTA.2006.1684866

Filename

1684866