Genoveva Vargas-Solar¹, Valeria de Castro², Plácido Antonio de Souza Neto³, Javier A. Espinosa-Oviedo⁴, Esperanza Marcos⁵, Martin A. Musicante⁶, José-Luis Zechinelli-Martini⁷, and Christine Collet⁸

¹ French Council of Scientific Research, LIG-LAFMIA, 681 rue de la Passerelle BP 72, 38402 Saint Martin d'Heres, France (e-mail: Genoveva.Vargas@imag.fr).

² Universidad Rey Juan Carlos, Av Tulipan, Mostoles, Spain (e-mail: Valeria.deCastro@urjc.es).

³ Instituto Federal do Rio Grande do Norte, Av. Senador Salgador Filho, 1559 - Tirol, Natal - RN, Brazil (e-mail: placido.neto@ifrn.edu.br).

⁴ French Mexican Laboratory of Informatics and Automatic Control, 681 rue de la Passerelle BP 72, 38402 Saint Martin d'Heres, France (e-mail: javiera.espinosa@gmail.com).

⁵ Universidad Rey Juan Carlos, Av Tulipan, Mostoles, Spain (e-mail: esperanza.marcos@urjc.es).

⁷ French-Mexican Laboratory on Informatics and Automatic Control, 681 rue de la Passerelle BP 72, 38402 Saint Martin d'Heres, France (e-mail: joseluis.zechinelli@gmail.com).

⁸ Grenoble Institute of Technology, Laboratory of Informatics of Grenoble, 681 rue de la Passerelle BP 72, 38402 Saint Martin d'Heres, France (e-mail: Christine.Collet@imag.fr).

Manuscript received on April 24, 2012
Accepted for publication on June 12, 2014.

Abstract

This paper presents an approach for modeling and associating Policies to services' based applications. It proposes to extend the SOD-M model driven method with (i) the n-SCM, a Policy services' composition meta-model for representing non-functional constraints associated to services' based applications; (ii) the n-PEWS meta-model providing guidelines for expressing the composition and the policies; and, (iii) model to model and model to text transformation rules for semi-automatizing the implementation of reliable services' compositions. As will be shown within our environment implementing these meta models and rules, one may represent both systems' cross-cutting aspects (e.g., exception handling for describing what to do when a service is not available, recovery, persistence aspects) and constraints associated to services, that must be respected for using them (e.g., the fact that a service requires an authentication protocol for executing a method).

Key words: Methodology, nSOD-M, sevice composition, policy.

DESCARGAR ARTÍCULO EN FORMATO PDF

Acknowledgments

This work was partially financed by the projects CLEVER, STIC-AMSUD, and MASAI. P. A. de Souza Neto was funded by CAPES/STIC-AMSUD Brazil, BEX 4112/11-3.

References

[1] M. Bell, Service-Oriented Modeling: Service Analysis, Design, and Architecture. Wiley, New Jersey, 2008.         [ Links ]

[2] M. Papazoglou, P. Traverso, S. Dustdar, and F. Leymann, "Service-Oriented Computing: State of the Art and Research Challenges," IEEE Computer, vol. 40, no. 11, 2007.         [ Links ]

[3] A. Watson, "A brief history of MDA," 2008.         [ Links ]

[4] A. Arsanjani, S. Ghosh, A. Allam, T. Abdollah, S. Ganapathy, and K. Holley, "SOMA: A method for developing service-oriented solutions," IBM System Journal, vol. 47, no. 3, 2008.         [ Links ]

[5] A. W. Brown, S. K. Johnston, G. Larsen, and J. Palistrant, "SOA Development Using the IBM Rational Software Development Platform: A Practical Guide," in Rational Software, 2005.         [ Links ]

[6] V. De Castro, E. Marcos, and R. Wieringa, "Towards a service-oriented MDA-based approach to the alignment of business processes with IT systems: From the business model to a web service composition model," International Journal of Cooperative Information Systems, vol. 18, no. 2, 2009.         [ Links ]

[7] M. P. Papazoglou and W.-J. van den Heuvel, "Service-oriented design and development methodology," Int. J. Web Eng. Technol., vol. 2, no. 4, pp. 412-442, 2006.         [ Links ]

[8] P. Queiroz and R. Braga, "Application engineering of service-based software product lines," in SAC, 2012, pp. 1996-1997.         [ Links ]

[9] J.-A. Espinosa-Oviedo, G. Vargas-Solar, J.-L. Zechinelli-Martini, and C. Collet, "Policy driven services coordination for building social networks based applications," in In Proc. of the 8th Int. Conference on Services Computing (SCC'11), Work-in-Progress Track. Washington, DC, USA: IEEE, July 2011.         [ Links ]

[10] V. De Castro, E. Marcos, and J. Vara, "Applying cim-to-pim model transformations for the service-oriented development of information systems," IInformation and Software Technology, vol. 53, no. 19, 2011.         [ Links ]

[11] J. Miller and J. Mukerji, "MDA guide," 2003, downloaded on 27-Jun-2014. [Online]. Available: http://www.omg.org/cgi-bin/doc?omg/03-06-01        [ Links ]

[12] J. Gordijn and J. Akkermans, "Value based requirements engineering: Exploring innovative e-commerce idea," Requirements Engineering Journal, vol. 8, no. 2, 2003.         [ Links ]

[13] J. A. Espinosa-Oviedo, G. Vargas-Solar, J.-L. Zechinelli-Martini, and C. Collet, "Non-functional properties and services coordination using contracts," in In proceedings of the 13th Int. Database Engineering and Applications Symposium (IDEAS 09). Cetraro, Italy: ACM, 2009.         [ Links ]

[14] C. Ba, M. Halfeld-Ferrari, and M. A. Musicante, "Composing web services with PEWS: A trace-theoretical approach," in ECOWS, 2006, pp. 65-74.         [ Links ]

[15] P. A. Souza Neto, M. A. Musicante, G. Vargas-Solar, and J.-L. Zechinelli-Martini, "Adding contracts to a web service composition language," LTPD — 4th Workshop on Languages and Tools for Multithreaded, Parallel and Distributed Programming, September 2010.         [ Links ]

[16] M.-C. Fauvet, H. Duarte, M. Dumas, and B. Benatallah, "Handling transactional properties in web service composition," in WISE 2005: 6th International Conference on Web Information Systems Engineering, vol. 3806. LNCS, Springer-Verlag, Octobre 2005, pp. 273-289.         [ Links ]

[17] S. Bhiri, C. Godart, and O. Perrin, "Reliable web services composition using a transactional approach," in e-Technology, e-Commerce and e-Service, ser. EEE, vol. 1. IEEE, March 2005, pp. 15-21.         [ Links ]

[18] K. Vidyasankar and G. Vossen, "A multi-level model for web service composition," in ICWS. IEEE Computer Society, 2004, p. 462.         [ Links ] 

[19] H. Schuldt, G. Alonso, C. Beeri, and H.-J. Schek, "Atomicity and Isolation for Transactional Processes," ACM Transactions on Database Systems (TODS), vol. 27, no. 1, pp. 63-116, Mar. 2002.         [ Links ]

[20] N. Milanovic, "Contract-based web service composition," Ph.D. dissertation, Humboldt-Universitat zu Berlin, 2006.         [ Links ]

[21] G. Feuerlicht and S. Meesathit, "Towards software development methodology for web services," in SoMeT, 2005, pp. 263-277.         [ Links ]

[22] E. Ramollari, D. Dranidis, and A. J. H. Simons, "A survey of service oriented development methodologies".         [ Links ]

[23] R. Heckel and M. Lohmann, "Towards contract-based testing o web services," in Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004), M. Pezze, Ed., vol. 116, 2005, pp. 145-156. [Online]. Available: http://www.cs.le.ac.uk/people/rh122/papers/2005/HL05TACoS.pdf        [ Links ]

[24] G. T. Leavens, Y. Cheon, C. Clifton, C. Ruby, and D. R. Cok, "How the  design of JML accomodates both runtime assertion checking and formal verification," in FMCO, 2002, pp. 262-284.         [ Links ]

[25] J.-R. Abrial, M. K. O. Lee, D. Neilson, P. N. Scharbach, and I. H. Sørensen, "The B-method," in VDM Europe (2), ser. Lecture Notes in Computer Science, vol. 552. Springer, 1991, pp. 398-405.         [ Links ]