Multisolution of complex performability models in the OsMoSys/DrawNET framework

QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems

Volumn 2005, Issue , 2005, Pages 85-94

  Marco, Gribaudo ^a   Francesco, Moscato ^b   Mazzocca, Nicola ^c   Vittorini, Valeria ^c  

^a UNIVERSITY OF TURIN   (Italy)

^b SECOND UNIVERSITY OF NAPLES   (Italy)

^c UNIVERSITY OF NAPLES FEDERICO II   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

MULTIFORMALISM MODELS; OSMOSYS/DRAWNET FRAMEWORK; PERFORMABILITY MODELS;

COMPUTATIONAL COMPLEXITY; COMPUTER ARCHITECTURE; FORMAL LANGUAGES; MATHEMATICAL MODELS;

PROBABILISTIC LOGICS;

EID: 33847279992     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2005.22     Document Type: Conference Paper

References (18)

1. R. Allen. Workflow: An Introduction. Extracted from the Workflow Handbook 2001, Workflow Management Coalition, Available at: http://www.wfmc.org/ standards/docs.htm
2. F. Bause,P. Buchholz, P. Kemper. A Toolbox for Functional and Quantitative Analysis of DEDS. In: Pujanger R., Savino N.N., Serra B. (eds): Quantitative Evaluation of Computing and Communication Systems, LNCS 1469, Springer-Verlag, pp.356359, 1998.
3. H. Bohnenkamp, H. Hermanns1, J.P. Katoen and R. Klaren. The Modest Modeling Tool and Its Implementation. In: Computer Performance: Modelling Techniques and Tools -Tools for Evaluation of Stochastic Models, LNCS 2794, Springer-Verlag, pp. 116-133, 2003.
4. G. Ciardo, R.L. Jones, A.S. Miner, and R. Siminiceanu. SMART: Stochastic Model Analyzer for Reliability and Timing. In: Tools of Aachen 2001 International Multiconference on Measurement, Modelling and Evaluation of Computer-Communication Systems, pp. 29-34, Aachen, Germany, Sept. 2001.
5. D. Deavours, G. Clark, T. Courtney, D. Daly, S. Derisavi, J.M. Doyle, W.H. Sanders, P.G. Webster. The Möbius Framework and its Implementation. IEEE Transactions on Software Engineering, 28(10):956969, 2002.
6. 3. In: Software and System Modeling (SoSyM) Journal (Springer), Special Section on Graph Transformations and Visual Modeling Techniques.
7. H. Garavel, F. Lang, and R. Mateescu. An overview of CADP 2001. In: Proc. of Tools Day, August 24, Brno, Czech Republic, 2002.
8. H. Garavel, F. Lang, and R. Mateescu. An overview of CADP 2001. EASST Newsletter, 4:13-24, 2002.
9. G. Gibson, W. Courtright II, M. Holland and J. Zelenka RAIDframe: Rapid prototyping for disk arrays. Computer Science Technical Report CMU-CS-95-2000, Carnegie Mellon University, 1955
10. M. Gribaudo, A. Valente. Framework for Graph-based Formalisms. In: Proceeding of the first International Conference on Software Engineering Applied to Networking and Parallel Distributed Computing 2000 (SNPD'00), Reims, France, pp. 233-236, 2000.
11. F. Moscato, N. Mazzocca, V. Vittorini. Workflow Principles Applied to Multi-Solution Analysis of Dependable Distributed Systems. In: Proc. of the 12th Euromicro Conf. on Parallel, Distributed and Network-based Processing, February 11-13, 2004, A Coruna, Spain, pp. 134-141.
12. P.J. Mosterman, H. Vangheluwe. Special Issue on Computer Automated Multi-Paradigm Modeling In: ACM Transaction on Modeling and Computer Simulation, Vol. 12, No.4, October 2002.
13. D.A. Patterson,G.A. Gibson and R. Katz. A Case for Redundant Arrays of Inexpensive Disks (RAID). In: Proc. of the ACM SIGMOD International Conference on Data Management, Chicago, IL., June 1-3, 1988, pp.109-116
14. C. Peltz. Web Services Orchestration and Choreography. IEEE Computer, Vol.36, n.10, 2003, pp. 46-52.
15. K.S. Trivedi. SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator. DSN 2002, pp. 544
16. W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros. Workflow Patterns. Distributed and Parallel Databases, 14(3), pages 5-51, July 2003
17. W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros. Advanced Workflow Patterns. In Proc. of 7th International Conference on Cooperative Information Systems, vol 1901 of Lecture Notes in Computer Science, pages 18-29. Springer-Verlag, Berlin, 2000.
18. V. Vittorini, M. Iacono, N. Mazzocca, and G. Franceschinis. OsMoSys: a new approach to multi-formalism modeling of systems. Journal of Software and System Modeling, 3(1):68-81, March 2004.