Integrating performance modeling in the software development process

被引：0

作者：

Balsamo, S ^{[1
]}

Simeoni, M ^{[1
]}

机构：

[1] Univ Ca Foscari Venezia, Dipartimento Informat, Venice, Italy

来源：

RADICAL INNOVATIONS OF SOFTWARE AND SYSTEMS ENGINEERING IN THE FUTURE | 2004年 / 2941卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We discuss the integration of performance modeling and analysis in the software development process. Various approaches have been recently defined to integrate performance models and specification languages and models to derive or validate non-functional properties of a software system. Such integration of quantitative performance analysis should provide feedback easily understandable by the software designer and system developers. A framework that allows the combination of different performance modeling techniques and methods, defined at different levels of abstraction, should better support performance analysis and validation of complex and heterogeneous software systems during the software development process.

引用

页码：35 / 49

页数：15

共 45 条

[11] A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time [J].

Bernardo, M ;

Gorrieri, R .

THEORETICAL COMPUTER SCIENCE, 1998, 202 (1-2) :1-54

[12]

BERNARDO M, 2000, EMPA PROCESS ALGEBRA, P1

[13]

BUCHHOLZ P, 1996, THESIS U DORTMUND

[14]

BUHR RJA, 1996, CASE MAPS OBJECT ORI

[15]

Coe P. S., 1998, ACM Transactions on Modeling and Computer Simulation, V8, P431, DOI 10.1145/295251.295259

[16]

CORTELLESSA V, 2002, J LOGIC ALGEBRAIC PR

[17]

CORTELLESSA V, 2000, DERIVING QUEUEING NE, P58

[18]

DEMIGUEL M, 2000, UML EXTENSIONS SPECI, P83

[19]

DORIN C, 2002, SPRINGER VERLAG 2324, V2324, P141

[20]

DORINA C, 1999, SPRINGER VERLAG LNCS, V1779, P47

← 1 2 3 4 5 →