Model transformations for performability analysis of service configurations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5421, Issue , 2009, Pages 153-166

  Gonczy, Laszlo ^a   Deri, Zsolt ^a   Varro, Daniel ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

Model transformations; Model Driven analysis; Performability analysis; Service Oriented architecture

Indexed keywords

ARCHITECTURAL LEVELS; CRITICAL DESIGN; CRITICAL SYSTEMS; DEVELOPMENT PROCESS; MODEL TRANSFORMATION; MODEL TRANSFORMATIONS; MODEL-DRIVEN ANALYSIS; NON-FUNCTIONAL REQUIREMENTS; PERFORMABILITY; PERFORMABILITY ANALYSIS; RELIABLE MESSAGING; SERVICE CONFIGURATION;

COMPUTER SOFTWARE; INFORMATION SERVICES; MODELS; SYSTEMS ANALYSIS; WEB SERVICES;

SERVICE ORIENTED ARCHITECTURE (SOA);

EID: 67650105903     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-01648-6_17     Document Type: Conference Paper

References (24)

1. Balogh, A., Varŕo, D., Pataricza, A.: Model-based optimization of enterprise application and service deployment. In: Malek, M., Nett, E., Suri, N. (eds.) ISAS 2005. LNCS, vol. 3694, pp. 84-98. Springer, Heidelberg (2005)
2. Baresi, L., Heckel, R., Tḧone, S., Varŕo, D.: Style-based modeling and refinement of service-oriented architectures. SoSyM 5(2), 187-207 (2006)
3. B̈orger, E., Sẗark, R.: Abstract State Machines. A method for High-Level System Design and Analysis. Springer, Heidelberg (2003)
4. Caceres, P., Marcos, E., Vera, B.: A MDA-based approach for web information system development. In:Workshop in Software Model Engineering (WiSME@UML 2003) (2003)
5. Cortellessa, V., Marco, A.D., Inverardi, P.: Software performance model-driven architecture. In: SAC 2006: Proceedings of the 2006 ACM symposium on Applied computing, pp. 1218-1223. ACM Press, New York (2006)
6. Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.): Handbook on Graph Grammars and Computing by Graph Transformation. Applications, Languages and Tools, vol. 2. World Scientific, Singapore (1999)
7. Gilmore, S., Tribastone, M.: Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System. In: Bravetti, M., Ńũnez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 214-226. Springer, Heidelberg (2006)
8. Gnesi, S., ter Beek, M., Baumeister, H., Hoelzl, M., Moiso, C., Koch, N., Zobel, A., Alessandrini, M.: D8.0: Case studies scenario description, SENSORIA Deliverables Month 12 (2006)
9. G̈onczy, L., Áv́ed, J., Varŕo, D.: Model-based deployment of web services to standards-compliant middleware. In: Pedro Isaias, I.J.M., Nunes, M.B. (eds.) Proc. of WWW/Internet 2006 (ICWI 2006). Iadis Press (2006)
10. G̈onczy, L., Chiaradonna, S., Di Giandomenico, F., Pataricza, A., Bondavalli, A., Bartha, T.: Dependability evaluation of web service-based processes. In: Horv́ath, A., Telek, M. (eds.) EPEW 2006. LNCS, vol. 4054, pp. 166-180. Springer, Heidelberg (2006) (Pubitemid 44113356)
11. G̈onczy, L., D́eri, Z., Varŕo, D.: Model-Based Performability Analysis of Service Configurations with Reliable Messaging. In: Koch, N., et al (eds.) Proc. Model Driven Web Engineering (MDWE). CEUR, vol. 389 (2008)
12. G̈onczy, L., Kov́acs, M., Varŕo, D.: Modeling and verification of reliable messaging by graph transformation systems. In: Proc. of theWorkshop on Graph Transformation for Verification and Concurrency (ICGT 2006). Elsevier, Amsterdam (2006)
13. Gronmo, R., Skogan, D., Solheim, I., Oldevik, J.: Model-driven web services development. In: Proc. of the IEEE Int. Conf. on e-Technology, e-Commerce and e-Servie (EEE 2004), pp. 42-45. IEEE, Los Alamitos (2004)
14. Jonkers, H., Iacob, M.-E., Lankhorst, M.M., Strating, P.: Integration and analysis of functional and non-functional aspects in model-driven e-service development. In: EDOC, pp. 229-238 (2005) (Pubitemid 44500112)
15. Koch, N., Berndl, D.: D8.2.a: Requirements Modelling and Analysis of Selected Scenarios - Automotive Case Study, SENSORIA Deliverables Month 24 (2007)
16. Koch, N., Mayer, P., Heckel, R., G̈onczy, L., Montangero, C.: D1.4.a: UML for Service-Oriented Systems, SENSORIA Deliverables Month 24 (2007)
17. Object Management Group. UML Profile for QoS and Fault Tolerance (2006), http://www.omg.org
18. R̈ottger, S., Zschaler, S.: Model-driven development for non-functional properties: Refinement through model transformation. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol. 3273, pp. 275-289. Springer, Heidelberg (2004)
19. SENSORIA Development Environment home page (2007), http://svn.pst.ifi. lmu.de/trac/sct
20. SENSORIA FP6 IST project (2005), http://sensoria-ist.eu
21. Vara, J.M., de Castro, V., Marcos, E.: WSDL Automatic Generation from UML Models in a MDA Framework. In: NWESP 2005, p. 319. IEEE, Los Alamitos (2005)
22. Varŕo, D., Balogh, A.: The model transformation language of the VIATRA2 framework. Science of Computer Programming 68(3), 214-234 (2007)
23. VIATRA2 Framework at Eclipse GMT, http://www.eclipse.org/gmt/
24. Wirsing, M., Clark, A., Gilmore, S., Ḧolzl, M., Knapp, A., Koch, N., Schroeder, A.: Semantic-Based Development of Service-Oriented Systems. In: Najm, E., Pradat- Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 24- 45. Springer, Heidelberg (2006) (Pubitemid 44670661)