Defining Formalisms for Performance Evaluation With SIMTHESys

被引：12

作者：

Barbierato, Enrico ^{[1
]}

Gribaudo, Marco ^{[2
]}

Iacono, Mauro ^{[3
]}

机构：

[1] Univ Studi Torino, DI, Corso Svizzera 185, I-10129 Turin, Italy

[2] Politecn Milan, DEI, I-20133 Milan, Italy

[3] Seconda Univ Studi Napoli, DEM, I-81100 Caserta, Italy

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2011年 / 275卷

关键词：

Performance analysis; tools; specification; performability-oriented formalism;

D O I：

10.1016/j.entcs.2011.09.004

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 [计算机软件与理论];

摘要：

Tools for the analysis and modeling of complex systems must be able to support the extensibility of formalisms, reusability of models and customization of formalism compositions. From this perspective, SIMTHESys (Structured Infrastructure for Multiformalism modeling and Testing of Heterogeneous formalisms and Extensions for SYStems) is a new approach to the specification of performability oriented formalisms and the evaluation of models. Its originality emerges from the explicit definition of both syntax and evolution semantics of the considered formalism elements. The solution of models is made possible by using a set of non-specialized solving engines used to generate automatically formalism-specific reusable solvers. This paper explains how formalisms can be created in SIMTHESys by showing how three widely known modeling languages are successfully implemented.

引用

页码：37 / 51

页数：15

共 21 条

[1]

Bause F, 1998, LECT NOTES COMPUT SC, V1469, P356

[2]

Logic and stochastic modeling with SMART [J].

Ciardo, G ;

Jones, RL ;

Miner, AS ;

Siminiceanu, RI .

PERFORMANCE EVALUATION, 2006, 63 (06) :578-608

[3]

The Mobius Modeling tool [J].

Clark, G ;

Courtney, T ;

Daly, D ;

Deavours, D ;

Derisavi, S ;

Doyle, JM ;

Sanders, WH ;

Webster, P .

9TH INTERNATIONAL WORKSHOP ON PETRI NETS AND PERFORMANCE MODELS, PROCEEDINGS, 2001, :241-250

[4]

The Mobius modeling environment: Recent extensions - 2005 [J].

Courtney, T ;

Derisavi, S ;

Gaonkar, S ;

Griffith, M ;

Lam, V ;

McQuinn, M ;

Rozier, E ;

Sanders, WH .

SECOND INTERNATIONAL CONFERENCE ON THE QUANTITATIVE EVALUATION OF SYSTEMS, PROCEEDINGS, 2005, :259-260

[5]

Mobius 2.3: An Extensible Tool for Dependability, Security, and Performance Evaluation of Large and Complex System Models [J].

Courtney, Tod ;

Gaonkar, Shravan ;

Keefe, Ken ;

Rozier, Eric W. D. ;

Sanders, William H. .

2009 IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS & NETWORKS (DSN 2009), 2009, :353-+

[6]

Deavours D. D., 2002, MOBIUS FRAMEWORK ITS

[7]

The Mobius state-level abstract functional interface [J].

Derisavi, S ;

Kemper, P ;

Sanders, WH ;

Courtney, T .

PERFORMANCE EVALUATION, 2003, 54 (02) :105-128

[8]

Franceschinis F., 2002, P 2 INT WORKSH MOD O, P47

[9]

Franceschinis G., 2009, P 4 INT ICST C PERF, P44

[10]

CLOSED QUEUING SYSTEMS WITH EXPONENTIAL SERVERS [J].

GORDON, WJ ;

NEWELL, GF .

OPERATIONS RESEARCH, 1967, 15 (02) :254-&

← 1 2 3 →