Engenharia Conduzida por Modelos

MDE/ECM’10

Âmbito da sessão

Ao longo dos últimos anos o paradigma da engenharia conduzida por modelos (MDE, Model Driven Engineering) tem vindo a apresentar uma crescente popularidade em diferentes áreas de engenharia, em particular em diferentes campos da engenharia informática, manifestados segundo distintas terminologias tais como MDD, MDA, DSL, Software Languages Engineering ou Software Factories. Aqui, os modelos são vistos como ferramentas de construção e não só como documentação, sendo por isso a estrutura essencial ao desenvolvimento de software.

Vários esforços têm resultado na proposta de conceitos, linguagens, ferramentas e técnicas para a definição, análise, verificação e transformação de modelos para domínios específicos ou gerais de aplicação. Os domínios de aplicação são variados, tais como sistemas interactivos, sistemas de tempo real, desenho de aplicações Web 2.0, arquitecturas empresariais, jogos, automação industrial, co-design de hardware e software. Por outro lado, estes esforços têm explorado diferentes níveis do ciclo de desenvolvimento dos produtos, não apenas ao nível do desenho, mas também ao nível da modelação do negócio, dos requisitos, dos testes, ou mesmo do desenho dos processos.

Tópicos

• Desenvolvimento e utilização de linguagens de modelação específicas de domínio;

• Engenharia de Linguagens: processos, ferramentas, evolução;

• Desenvolvimento e utilização de linguagens de modelação de propósitos gerais, e respectivos standards;

• Ferramentas de modelação e meta-modelação;

• Formalismos de Modelação;

• Modelação em Múltiplos paradigmas, e modos de composição e transformação entre modelos expressos em formalismos diferentes;

• Integração de modelos a diferentes níveis de abstracção de usando diferentes formalismos;

• Aproximações de geração e transformação de modelos;

• Qualidade dos modelos, ao nível da análise, teste e verificação;

• Geração de testes a partir de modelos (model based testing);

• Rastreabilidade de modelos e outros aspectos de persistência de modelos;

• Animação, simulação e execução de modelos;

• Ligação entre requisitos e modelos;

• Discussão de casos de aplicação que ilustrem o paradigma MDE;

Relevância no contexto nacional

O paradigma MDE tem sido explorado no contexto nacional por diferentes grupos de investigação (e.g., IST, FEUP, FCT/UNL, U.Madeira, U.Minho), mas também concretizado por um número cada vez mais crescente de empresas nacionais, quer através de iniciativas privadas menos divulgadas (e.g., Safira, Fordesi) ou por iniciativas mais divulgadas com eventuais produtos comerciais (e.g., Outsystems, Quidgest).

Submissão e Publicação

Convida-se a comunidade académica e profissional/empresarial a submeter artigos (papers) relacionados com a temática desta sessão.

As submissões a esta sessão temática serão avaliadas na base da originalidade, relevância, correcção técnica e qualidade da apresentação. Os artigos podem ser escritos em Inglês ou em Português, não podendo exceder 12 páginas LNCS. Terão de ser submetidos via web no site do evento Inforum'10. Em caso de problemas, por favor contactar o responsável da comissão de programa.

Comissão de Programa

Alberto Rodrigues da Silva, IST

Ana Paiva, FEUP

António Leitão, IST

Bruno Barroca, CITI/UNL

David Ferreira, INESC-ID/IST

Fernando Brito de Abreu, FCT/UNL

João Araújo, FCT/UNL

João Saraiva, IST

José Borbinha, IST

João Miguel Fernandes, UMinho

João Pascoal Faria, FEUP

Leonel Nóbrega, UMa

Levi Lúcio, CITI/UNL

Luís Pedro, D'Auriol Swiss

Matteo Risoldi, U. Geneva

Nuno Nunes, UMa

Miguel Goulão, FCT/UNL

Miguel Calejo, Declarativa

João Paulo Carvalho, Quidgest

Ricardo Machado, UMinho

Vasco Amaral, FCT/UNL

Comissão organizadora

Alberto Rodrigues da Silva, IST

João Pascoal Faria, FEUP

Vasco Amaral, FCT/UNL