Novel architecture description language based on high-level Petri nets

Author

Zhenhua, Yu ; Yuanli, CAI

Author_Institution

Inst. of Autom. Control, Xi´´an Jiaotong Univ., China

fYear

2004

fDate

19-23 April 2004

Firstpage

589

Lastpage

590

Abstract

We present a novel architecture description language - OPNADL. The domain specific software architecture based on OPNADL is employed to guide the large-scale software development. OPNADL (object-oriented Petri nets architecture description language) is a graphical and mathematical modeling language, which can be used to describe static and dynamic semantics, and analyze the dynamic behavior of software system. The overall and individual characteristics of a system can be visually and intuitively depicted with the proposed OPNADL. Software architecture is conveniently constructed, refined and verified by OPNADL.

Keywords

Petri nets; formal specification; formal verification; object-oriented methods; object-oriented programming; software architecture; specification languages; architecture description language; formal specification; formal verification; object-oriented Petri nets; software architecture; Architecture description languages; Computer architecture; Large-scale systems; Object oriented modeling; Petri nets; Programming; Software architecture; Software design; Software engineering; Software systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Information and Communication Technologies: From Theory to Applications, 2004. Proceedings. 2004 International Conference on

Print_ISBN

0-7803-8482-2

Type

conf

DOI

10.1109/ICTTA.2004.1307900

Filename

1307900