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