Element based semantics in multi formalism performance models

Proceedings - 18th Annual IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS 2010

Volumn , Issue , 2010, Pages 413-416

  Iacono, M ^a   Gribaudo, M ^b  

^a SECOND UNIVERSITY OF NAPLES   (Italy)

^b POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEXITY LEVELS; COMPOSITIONAL MODELING; COMPUTER-BASED SYSTEM; DESIGN CYCLE; FORMAL MODELING LANGUAGE; METAMODELING; MULTI FORMALISM; MULTI-FORMALISM MODELS; NON-FUNCTIONAL REQUIREMENTS; OPEN FRAMEWORKS; PERFORMANCE EVALUATION; PERFORMANCE MODEL; SOLUTION TECHNIQUES;

COMPUTER NETWORKS; FORMAL LANGUAGES; PETRI NETS; QUEUEING NETWORKS; TELECOMMUNICATION SYSTEMS;

COMPUTER SIMULATION;

EID: 78049499120     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MASCOTS.2010.54     Document Type: Conference Paper

References (8)

1. C. Szyperski, "Component Software: Beyond Object-Oriented Programming," 1997.
2. R. A. Sahner, K. S. Trivedi, and A. Puliafito, Performance and Reliability Analysis of Computer Systems; An Example-based Approach Using the SHARPE Software Package. Kluwer Academic Publisher, 1996.
3. D. D. Deavours, G. Clark, T. Courtney, D. Daly, S. Derisavi, J. M. Doyle, W. H. Sanders, and P. G. Webster, "The mobius framework and its implementation." [Online]. Available: citeseer.ist.psu.edu/525756.html.
4. W. H. Sanders, T. Courtney, D. Deavours, D. Daly, S. Derisavi, and V. Lam, "Multi-formalism and multi-solution-method modeling frameworks: The mobius approach." [Online]. Available: citeseer.ist.psu.edu/685964.html.
5. T. Courtney, S. Derisavi, S. Gaonkar, M. Griffith, V. Lam, M. McQuinn, E. Rozier, and W. H. Sanders, "The mobius modeling environment: Recent extensions - 2005," Quantitative Evaluation of Systems, International Conference on, vol. 0, pp. 259-260, 2005.
6. F. Franceschinis, M. Gribaudo, M. Iacono, N. Mazzocca, and V. Vittorini, "Towards an object based multi-formalism multi-solution modeling approach." in Proc. of the Second International Workshop on Modelling of Objects, Components, and Agents (MOCA'02), Aarhus, Denmark, August 26-27, 2002/Daniel Moldt (Ed.). Technical Report DAIMI PB-561, Aug. 2002, pp. 47-66.
7. G. Franceschinis, M. Gribaudo, M. Iacono, S. Marrone, F. Moscato, and V. Vittorini, "Interfaces and binding in component based development of formal models," in Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools, ser. VALUETOOLS'09. ICST, Brussels, Belgium, Belgium: ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), 2009, pp. 44:1-44:10.
8. S. Balsamo, V. D. N. Personè, and P. Inverardi, "A review on queueing network models with finite capacity queues for software architectures performance prediction," Perform. Eval., vol. 51, no. 2-4, pp. 269-288, 2003.