Title :
A Method for Realizing Software Architecture Design
Author :
Fu, Yujian ; Dong, Zhijiang ; He, Xudong
Author_Institution :
Sch. of Comput. Sci., Florida Int. Univ., Miami, FL
Abstract :
A software architecture design provides a high-level abstraction of system topology, functionality, and/or behavior; which provides the basis for early system understanding and analysis as well as the foundation for subsequent detailed design and implementation. However, research on software architecture in the past decade primarily focused on architecture description languages and their analysis techniques and less progress was made on automatically realizing software architecture designs. In this paper, we present a method for automatically generating an implementation from a software architectural description. The implementation not only captures the functionality of the given architecture description, but also contains additional monitoring code for ensuring desirable behavior properties through run-time verification. Our method takes a software description written in SAM, a software architecture model integrating dual formal methods Petri nets and temporal logic, and generates Java code. More specifically, the structure of a SAM architecture description produces Arch-Java code the behavior models of components/connectors represented in Petri nets lead to plain Java code, and the property specifications defined in temporal logic generates Aspect J code; the above code segments are then integrated into Java code
Keywords :
Java; Petri nets; formal specification; program compilers; program verification; software architecture; system monitoring; systems analysis; temporal logic; Arch-Java code; Aspect J code; Java code; Petri nets; monitoring; property specification; run-time verification; software architecture design; software architecture model; system analysis; system behavior; system functionality; system topology; system understanding; temporal logic; Architecture description languages; Computer architecture; Java; Logic; Monitoring; Petri nets; Runtime; Software architecture; Software design; Topology;
Conference_Titel :
Quality Software, 2006. QSIC 2006. Sixth International Conference on
Conference_Location :
Beijing
Print_ISBN :
0-7695-2718-3
DOI :
10.1109/QSIC.2006.2