Title :
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
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;
Conference_Titel :
Information and Communication Technologies: From Theory to Applications, 2004. Proceedings. 2004 International Conference on
Print_ISBN :
0-7803-8482-2
DOI :
10.1109/ICTTA.2004.1307900
