An aspect-oriented model transformation toweave security using CVL

MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development

Volumn , Issue , 2014, Pages 138-147

  Horcas, Jose Miguel ^a   Pinto, Mónica ^a   Fuentes, Lidia ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

Aspect orientation; ATL; CVL; Model transformations; Security; Variability; Weaving pattern

Indexed keywords

AUTHENTICATION; MATHEMATICAL MODELS; POLYNOMIAL APPROXIMATION;

ASPECT-ORIENTATION; ATL; CVL; MODEL TRANSFORMATION; SECURITY; VARIABILITY; WEAVING PATTERNS;

SOFTWARE DESIGN;

EID: 84906761096     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. Ayora, C., Torres, V., Pelechano, V., and Alférez, G. H. (2012). Applying CVL to business process variability management. In Proceedings of the VARiability for You Workshop: Variability Modeling Made Useful for Everyone, VARY '12, pages 26-31, New York, NY, USA. ACM.
2. Combemale, B., Barais, O., Alam, O., and Kienzle, J. (2012). Using CVL to Operationalize Product Line Development with Reusable Aspect Models. In VARY@MoDELS'12: VARiability for You, Innsbruck, Autriche. ACM. VaryMDE (bilateral collaboration between Inria and Thales).
3. Durn, F., Zschaler, S., and Troya, J. (2013). On the reusable specification of non-functional properties in DSLs. In Czarnecki, K. and Hedin, G., editors, Software Language Engineering, volume 7745 of Lecture Notes in Computer Science, pages 332-351. Springer Berlin Heidelberg.
4. Georg, G., France, R., and Ray, I. (2002). An aspect-based approach to modeling security concerns. In Proceedings of the Workshop on Critical Systems Development with UML, pages 107-120.
5. Haugen, O., Wa̧sowski, A., and Czarnecki, K. (2012). CVL: common variability language. In Proceedings of the 16th International Software Product Line Conference-Volume 2, SPLC '12, pages 266-267, New York, NY, USA. ACM.
6. Jouault, F., Allilaire, F., Bézivin, J., and Kurtev, I. (2008). ATL: A model transformation tool. Sci. Comput. Program., 72(1-2):31-39.
7. Kolovos, D., Paige, R., and Polack, F. (2008). The epsilon transformation language. In Vallecillo, A., Gray, J., and Pierantonio, A., editors, Theory and Practice of Model Transformations, volume 5063 of Lecture Notes in Computer Science, pages 46-60. Springer Berlin Heidelberg.
8. Pinto, M., Fuentes, L., Fernndez, L., and Valenzuela, J. (2009). Using AOSD and MDD to enhance the architectural design phase. In Meersman, R., Herrero, P., and Dillon, T., editors, On the Move to Meaningful Internet Systems: OTM 2009 Workshops, volume 5872 of Lecture Notes in Computer Science, pages 360-369. Springer Berlin Heidelberg.
9. Rouillé, E., Combemale, B., Barais, O., Touzet, D., and Jézéquel, J.-M. (2012). Leveraging CVL to Manage Variability in Software Process Lines. In Asia-Pacific Software Engineering Conference, Hong Kong, Chine.
10. Sijtema, M. (2010). Introducing variability rules in atl for managing variability in MDE-based product lines. Proc of MtATL, 10:39-49.
11. Zhang, X., Haugen, O., and Moller-Pedersen, B. (2011). Model comparison to synthesize a model-driven software product line. In Software Product Line Conference (SPLC), 2011 15th International, pages 90-99.