DocumentCode :
3225364
Title :
The scheduling algorithms in software architecture modeling
Author :
Guo, Jiang ; Liao, Yuehong
Author_Institution :
Dept. of Comput. Sci., California State Univ., Los Angeles, CA, USA
fYear :
2004
fDate :
24-27 May 2004
Firstpage :
36
Lastpage :
43
Abstract :
A critical issue for complex component-based systems design is the modeling and analysis of architecture. Architectural specifications of software systems show them as a collection of interrelated components, and constitute what has been called the software architecture level of software design. It is at this level where the description and verification of structural properties of the system are naturally addressed. The scheduling algorithms play important roles in the software architecture modeling. These algorithms can be used to model the performance aspects of the software architecture. We have developed a tool - the Web-based software architecture prototyping system (SAPS) - in a distributed environment to meet the requirements of integrating software components into heterogeneous networks. This paper discusses the scheduling algorithms used in the software architecture modeling.
Keywords :
formal specification; formal verification; scheduling; software architecture; software prototyping; software tools; Web-based software architecture prototyping system; component-based systems design; formal specification; formal verification; scheduling algorithm; software architecture modeling; software design; Application software; Computer architecture; Distributed computing; Programming profession; Scheduling algorithm; Software algorithms; Software architecture; Software design; Software reusability; Software systems;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the
Print_ISBN :
0-7695-2125-8
Type :
conf
DOI :
10.1109/ECBS.2004.1316680
Filename :
1316680
Link To Document :
بازگشت