Você está aqui: Página Inicial curitiba Estrutura do Câmpus Diretorias Diretoria de Pesquisa e Pós-Graduação Mestrado e Doutorado CPGEI Edital de Defesas 2012 CPGEI (Doutorado) Luciane Telinski Wiedermann Agner-14/12/12

CPGEI (Doutorado) Luciane Telinski Wiedermann Agner-14/12/12

Defesa Pública de Doutorado do Programa de Pós-Graduação em Engenharia Elétrica e Informática Industrial
Quando 14/12/2012
das 14h30 até 18h30
Onde Sala C301
Nome do Contato Prof. Paulo Cézar Stadzisz
Participantes Prof. Paulo Cézar Stadzisz, Dr. Orientador - UTFPR
Prof. Jean Marcelo Simão, Dr. Co-orientador - UTFPR
Banca examinadora:
Prof. Paulo Cézar Stadzisz, Dr. Presidente - UTFPR
Prof. Silvia Regina Vergilio, Dr. - UFPR
Prof. Marcos Antônio Quináia, Dr. - UNICENTRO
Prof. André Koscianski, Dr. - UTFPR
Prof. Cesar Augusto Tacla, Dr. - UTFPR
Adicionar evento ao calendário vCal
iCal

Um Método para a Criação de Transformação de Modelos no Contexto da MDA

Resumo: Esta tese aborda o problema de prover a independência de plataforma em transformações de modelos no contexto da MDA (Model Driven Architecture). A MDA é uma abordagem de desenvolvimento de software baseada na criação e na transformação de modelos. Assim, em MDA os modelos são os principais artefatos ao longo do ciclo de vida de desenvolvimento de software e as transformações desempenham um papel fundamental. No entanto, a maioria das iniciativas MDA é dedicada, isto é, as características da plataforma são implicitamente especificadas nas regras de transformação. À medida que os aspectos ligados à plataforma não são separados das regras de transformação, para cada plataforma selecionada deve haver uma transformação de modelos correspondente. Por um lado, isto facilita o desenvolvimento de transformações de modelo. Por outro lado, a transformação torna-se limitada a uma plataforma específica, uma vez que os recursos da plataforma estão fortemente associados com as regras de transformação. Um dos desafios consiste em criar regras de transformação independentes das características da plataforma de implementação de sistemas de software. Esta tese propõe um método para a criação de transformações de modelo chamado PI-MT (Platform Independent - Model Transformations). O PI-MT é voltado ao desenvolvimento de software embarcado baseado em Sistemas Operacionais em Tempo-Real (RTOS - Real-Time Operating System). Além disso, o método permite a adaptação de transformações de modelos para diferentes plataformas baseadas em RTOS, por meio de modelos de plataforma explicitamente definidos. Como resultado, o método de PI-MT oferece independência entre as regras de transformação e as características da plataforma.

Palavras-chave: Model Driven Architecture (MDA). Transformação de Modelos. Refinamento de Modelos. Modelo de Plataforma. Software Embarcado

PI-MT: A Method for the Design of Model Transformations in the Context of MDA

Abstract: The present thesis deals with the platform-independence matter in the Model Driven Architecture (MDA) context. MDA is an approach to software development based on the design and transformation of models. That is to say, in the MDA approach models are the core artifacts throughout the entire software development lifecycle, and thus a key role is played by model transformations. Nevertheless, most MDA initiatives are dedicated, i.e., the platform features are implicitly employed in the transformation rules. As the aspects associated with the platform are not separated from the transformation rules, for each selected platform there must be a corresponding model transformation. On the one hand, this makes the model transformation development easier. On the other hand, model transformation becomes limited to a specific platform, once the platform features are strongly associated with the transformation rules. An open challenge consists in how to create transformation rules independently of the deployment platform features of software systems. This thesis proposes a method for creating model transformations, called PI-MT (Platform Independent - Model Transformations). The PI-MT is particularly applied to embedded software development based on Real-Time Operating Systems (RTOS). In addition, it permits the adaptation of the model transformation process to different RTOS-based platforms by means of Platform Models explicitly defined. As a result, the PI-MT method provides independence between the model transformation rules and the platform features.

Keywords: Model Driven Architecture (MDA). Models Transformation. Models Refinement. Platform Model. Embedded Software.

Lista de publicações:

AGNER, L.T.W.; SOARES, I.W.; STADSIZS, P.C., SIMAO, J.M. PI-MT: A Method for the Creation of Generic Model Transformations. 21st International Conference on Software Engineering and Data Engineering (SEDE 2012), em Los Angeles, Califórnia, EUA, p. 61-66, 2012.

AGNER, L.T.W.; SOARES, I.W.; STADZISZ, P.C.; SIMAO, J.M. Model refinement in the model driven architecture context. Journal of Computer Science, v. 8, n. 8, p. 1205-1211, 2012.

AGNER, L.T.W.; SOARES, I.W.; STADZISZ, P.C.; SIMAO, J.M. A Brazilian Survey on UML and Model-Driven Practices for Embedded Software Development. Journal of Systems and Software. Aceito para publicação, 2012.

SOARES, I.W., AGNER, L.T.W, STADZISZ, P.C., SIMÃO, J.M. A Method for the development of Platform Models in the Model Driven Architecture context. Journal of Computer Science, vol. 8, p. 1932-1939, 2012.

SOARES, I.W., AGNER, L.T.W, STADZISZ, P.C., SIMÃO, J.M. Modeling of Embedded Software on MDA Platform Models. Journal of Computer Science and Technology (JCS&T), vol. 12, p. 133-139, 2012.

AGNER, L.T.W.; SOARES, I.W.; STADZISZ, P.C.; SIMAO, J.M. A Generic Model Transformation for Embedded Software based on Real-Time Operating Systems. Computer Systems Science and Engineering (CSSE). Submetido em Janeiro de 2012 (em avaliação).

SOARES, I.W., AGNER, L.T.W, STADZISZ, P.C., SIMÃO, J.M. Application of Platform Models in Model Driven Engineering of Embedded Software. IEICE Transactions on Information and Systems. Submetido em Julho de 2012 (em avaliação).


Ações do documento

registrado em: