On the specification, verification and implementation of model transformations with transformation contracts

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

Volumn 7021 LNCS, Issue , 2011, Pages 108-123

  Braga, Christiano ^a   Menezes, Roberto ^a   Comicio, Thiago ^a   Santos, Cassio ^a   Landim, Edson ^a  

^a FLUMINENSE FEDERAL UNIVERSITY   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS CONTROL MODELS; MODEL DRIVEN DEVELOPMENT; MODEL TRANSFORMATION; MODELING LANGUAGES; TRANSFORMATION MODEL; VERIFICATION AND VALIDATION;

ACCESS CONTROL; FORMAL METHODS; SPECIFICATIONS;

JAVA PROGRAMMING LANGUAGE;

EID: 81855213229     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-25032-3_8     Document Type: Conference Paper

References (17)

1. Akehurst, D.H., Kent, S.: A relational approach to defining transformations in a metamodel. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, pp. 243-258. Springer, Heidelberg (2002)
2. Baader, F., Diego Calvanese, D.M., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook. Cambridge University Press (2003)
3. Basin, D., Clavel, M., Doser, J., Egea, M.: Automated analysis of security-design models. Inf. Softw. Technol. 51(5), 815-831 (2009)
4. Basin, D., Doser, J., Lodderstedt, T.: Model driven security: From uml models to access control infrastructures. ACM Trans. Softw. Eng. Methodol. 15(1), 39-91 (2006)
5. Berardi, D., Calvanese, D., Giacomo, G.D.: Reasoning on UML class diagrams. Artif. Intellig. 168, 70-118 (2005)
6. Bézivin, J., Büttner, F., Gogolla, M., Jouault, F., Kurtev, I., Lindow, A.: Model Transformations? Transformation Models! In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS2006. LNCS, vol. 4199, pp. 440-453. Springer, Heidelberg (2006)
7. Braga, C.: From access control policies to an aspect-based infrastructure: A metamodelbased approach. In: Chaudron, M.R.V. (ed.) MODELS 2008. LNCS, vol. 5421, pp. 243-256. Springer, Heidelberg (2009)
8. Braga, C.: A transformation contract to generate aspects from access control policies. J. of Software and Systems Modeling (2010), doi:10.1007/s10270-010-0156-x
9. Braga, C., Hæusler, E.H.: Lightweight analysis of access control models with description logic. Innov. in Systems and Soft. Eng. 6, 115-123 (2010)
10. Cariou, E., Marvie, R., Seinturier, L., Duchien, L.: OCL for the specification of model transformation contracts. In: Proc. of OCL and Model Driven Eng. Work., pp. 69-83 (2004)
11. Clavel, M., Egea, M., de Dios Miguel Angel, G.: Building an efficient component for OCL evaluation. ECEASST 15 (2008)
12. Comicio, T.: A transformation contract approach for model-driven security. Master's thesis, Universidade Federal Fluminense (2011)
13. Egea, M.: An Executable Formal Semantics for OCL with Applications to Model Analysis and Validation. PhD thesis, Universidad Complutense de Madrid (2008)
14. Gorp, P.V., Janssens, D.: Cavit: a consistency maintenance framework based on transformation contracts. In: Transformation Techniques in Soft. Eng., Dagstuhl Seminar Proc., vol. 05161 (2006)
15. Kleppe, A.G.,Warmer, J., Bast, W.: MDA Explained. Addison-Wesley, Reading (2003)
16. OMG.MOF QVT final adopted specification, omg adopted specification ptc/05-11-01 (2005)
17. Schürr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903, pp. 151-163. Springer, Heidelberg (1995)