Automating performance analysis from taverna workflows

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

Volumn 5282 LNCS, Issue , 2008, Pages 1-15

  Tolosana Calasanz, Rafael ^a   Rana, Omer F ^b   Bañares, José A ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

^b CARDIFF UNIVERSITY   (United Kingdom)

Author keywords

Petri nets; Workflow performance models

Indexed keywords

LIFE CYCLE; PETRI NETS; SOFTWARE ENGINEERING; STOCHASTIC SYSTEMS;

COMPONENT COMPOSITION; HIERARCHICAL WORKFLOW; MODELING BEHAVIOUR; MODELLING PROCESS; PERFORMANCE ANALYSIS; PERFORMANCE MODEL; SOFTWARE ENGINEERING LIFE-CYCLE; SUPPORT COMPOSITION;

STOCHASTIC MODELS;

EID: 70350543531     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87891-9_1     Document Type: Conference Paper

References (17)

1. Russell, N., ter Hofstede, A., van der Aalst, W., Mulyar, N.: Workflow control-flow patterns: A revised view. Technical report, BPM Center Report BPM-06 22, BPMcenter.org (2006)
2. Tolosana-Calasanz, R., Bañares, J.A., Álvarez, P., Ezpeleta, J.: Vega: a service-oriented grid workflow management system. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part II. LNCS, vol. 4804. Springer, Heidelberg (2007)
3. Kummer, O., Wienberg, F., Duvigneau, M., Schumacher, J., Köhler, M., Moldt, D., Rölke, H., Valk, R.: An extensible editor and simulation engine for petri nets: Renew. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 484-493. Springer, Heidelberg (2004)
4. Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of IEEE 77, 541-580 (1989)
5. Valk, R.: Petri nets as token objects - an introduction to elementary object nets. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol. 1420, pp. 1-25. Springer, Heidelberg (1998)
6. Alt, M., Hoheisel, A.: Petri Nets. In:Workflows for e-Science, pp. 190-207. Springer, Heidelberg (2007)
7. Cardoso, J., Sheth, A., Miller, J., Arnold, J., Kochut, K.: Quality of service for workflows and web service processes. Web Semantics: Science, Services and Agents on the World Wide Web 1(3), 281-308 (2004)
8. Menasce, D.A., Gomaa, H.: A method for design and performance modeling of client/server systems. IEEE Transactions on Software Engineering 26(11), 1066-1085 (2000)
9. Bernardo, M., Ciancarini, P., Donatiello, L.: Aempa: a process algebraic description language for the performance analysis of software architectures. In: WOSP 2000: Proceedings of the 2nd international workshop on Software and performance, pp. 1-11. ACM Press, New York (2000)
10. Bernardi, S., Merseguer, J.: Performance evaluation of uml design with stochastic well-formed nets. J. Syst. Softw. 80(11), 1843-1865 (2007)
11. Hu, Z., Shatz, S.M.: Mapping uml diagrams to a petri net notation for system simulation. In: Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2004), pp. 213-219 (2004)
12. Becker, S., Koziolek, H., Reussner, R.: Model-based performance prediction with the palladio component model. In: WOSP 2007: Proceedings of the 6th international workshop on Software and performance, pp. 54-65. ACM, New York (2007)
13. Hamlet, D.: Software component composition: a subdomain-based testing-theory foundation. Softw. Test. Verif. Reliab. 17(4), 243-269 (2007)
14. Aalst, W.M.P., Lassen, K.B.: Translating workflow nets to bpel. Technical report. In: BETA Working Paper Series, WP145, Eindhoven University of Technology (2005)
15. van der Aalst, W.M.P., ter Hofstede, A.H.M.:Workflow patterns: On the expressive power of (petri-net-based) workflow languages. In: Proc. of the Fourth International Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, Technical Report DAIMI PB-560, pp. 1-20 (2002)
16. Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compiler: Principles, Techniques and Tools, 2nd edn. Pearson Education, London (2007)
17. Turi, D., Missier, P., Goble, C., Roure, D.D., Oinn, T.: Taverna workflows: Syntax and semantics. In: E-SCIENCE 2007: Proceedings of the Third IEEE International Conference on e-Science and Grid Computing, Washington, DC, USA, pp. 441-448. IEEE Computer Society, Los Alamitos (2007)