A model transformation approach based on homomorphic mappings between UML activity diagrams and BPEL4WS specifications of grid service workflows

Proceedings - International Computer Software and Applications Conference

Volumn , Issue , 2011, Pages 243-248

  Hlaoui, Yousra Bendaly ^a   Benayed, Leila Jemni ^a  

^a Higher School of Sciences and Techniques of Tunis   (Tunisia)

Author keywords

BPEL4WS; Grid service workflow; Homomorphic mapping; Meta model transformation; UML activity diagrams

Indexed keywords

BPEL4WS; GRID SERVICE WORKFLOW; HOMOMORPHIC MAPPING; META MODEL; UML ACTIVITY DIAGRAMS;

COMPUTER APPLICATIONS; GRID COMPUTING; IMAGE QUALITY; MAPPING; TELECOMMUNICATION SERVICES;

SYSTEMS ANALYSIS;

EID: 80054972562     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COMPSACW.2011.51     Document Type: Conference Paper

References (21)

1. B. Benatallah, M. Dumas, and Q. Z. Sheng, "Facilitating the rapid development and scalable orchestration of composite Web services," 2005.
2. C. Dominic, M. Dumas, and P. Roe, "A Porgramming Langage for Web Service Development," in the Twenty-eighth Australasian conference on Computer Science. Australian Computer Society, Inc., 2005, pp. 143-150.
3. R. Gronmo and M. C. Jaeger, "Model-driven semantic web service composition," in the 12th Asia-Pacific Software Engineering Conference. IEEE Computer Society, 2005, pp. 79-86.
4. T. Guballa, A. Hoheisel, and F. First, "Highly Dynamic workflow Orchestration for scientific Applications," 2007.
5. R. Soley, "Model Driven Architecture," Object Management Group, Tech. Rep., 2007.
6. J. Rumbaugh, I. Jacbson, and G. Booch, UML 2.0 Guide de Rfrence, ser. Genie logiciel, Pearson Education, Inc, Ed. CampusPress, 2005.
7. Y. Ben Daly Hlaoui and L. Jemni Ben Ayed, "Patterns for modelling and composing workflows from Grid services," in the 11th International Conference on Entreprise Information System, ser. Lecture Notes in Business Information Processing. Springer, 2009, pp. 615-626.
8. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana, "Business Process Execution Language for Web Services, Version 1.1," BEA Systems, International Business Machines Corporation, Microsoft Corporation, SAP AG, Siebel Systems, Tech. Rep., 2003.
9. K. M. Chao, M. Younas, N. Griffiths, I. Awan, R. Anane, and C. F. Tsai, "Analysis of Grid service composition with BPEL4WS," in the 18th International Conference on Advanced Information Networking and Applications. IEEE Computer Society, 2004, p. 284.
10. J. Shen, G. Grossmann, Y. Yang, M. Stumptner, M. Schrefl, and T. Reiter, "Analysis of Business Process Integration in Web Service Context," Future Generation Computing System, vol. 23, no. 3, pp. 283-294, 2007. (Pubitemid 44716382)
11. D. Skogan, R. Grønmo, and I. Solheim, "Web Service Composition in UML," Enterprise Distributed Object Computing Conference, IEEE International, pp. 47-57, 2004. (Pubitemid 40574671)
12. S. J. Mellor, K. Scott, A. Uhl, and D. Weise, Object Technology Series, 1st dition, Ed.
13. A. Rulte, A. Rossini, Y. Lamo, and U. Wolter, "Automatic definition of model transformation at instance level," in the 20th Nordic Workshop on Programming Theory. Institute of Cybernetics at TUT, 2008, pp. 81-83.
14. A. Rulte, U. Wolter, and Y. Lamo, "A formal approach to modelling and model transformation in software engineering," Department of Informatics, University of Turku, Finland, Tech. Rep., 2008.
15. A. Rutle, U. Wolter, and Y. Lamo, "A diagrammatic approach to model transformations," in the ACM Euro American Conference on Telematics and Information Systems, no. 18. ACM Digital Library, 2008, pp. 1-8.
16. Y. BendalyHlaoui and L. JemniBenayed, "Toward an UML-based composition of grid services workflows," in the second international workshop on Agent-oriented software engineering challenges for Ubiquitous and Pervasive Computing. ACM Digital Library, 2008, pp. 21-28.
17. Y. BendalyHlaoui and L. JemniBenAyed, "An interactive composition of workflow applications based on UML activity diagram," Ubiquitous Computing and Communication Journal, vol. 4, no. 3, pp. 599-698, 2009.
18. R. Eshuis, "Symbolic model checking of UML activity diagrams," ACM Transactions on Software Engineering and Methodology, vol. 15, no. 1, pp. 1-38, 2006. (Pubitemid 43943431)
19. H. Cao, S. Ying, and D. Du, "Towards model-based verification of BPEL with model checking," in IEEE International Conference on Computer and Information Technology. IEEE Computer Society, 2006.
20. M. Masetti, S. Bianchi, and G. Viano, "Application of K-Wf Grid technology to Coordinated Traffic Management," K-Wf Grid, Tech. Rep., 2004.
21. Y. BenDalyHlaoui and L. JemniBenAyed, "A MDA approach for semi automatic Grid services workflows composition," in the IEEE International Conference on Industrial Engineering and Engineering Management. IEEE Computer Society, 2008, pp. 1433-1437.