Engenharia Conduzida por Modelos
Convite à Apresentação de Artigos
Convida-se a comunidade académica e profissional a submeter artigos (papers) relaccionados com a temática desta sessão.
Âmbito da Sessão
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.
A título exemplificativo e não exaustivo, listam-se os tópicos de interesse desta sessão:
- Desenvolvimento e utilização de linguagens de modelação específicas de domínio
- Desenvolvimento e utilização de linguagens de modelação de propósitos gerais, e respectivos standards
- Ferramentas de modelação e meta-modelação
- 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., no 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).
Datas importantes
514 de Junho: data limite para submissões2630 de Junho: notificação ao autores- 10 de Julho: versão final dos artigos (coincidirá com o prazo limite para inscrições)
- 15 de Julho: definição final do Programa da Sessão
- 10 e/ou 11 de Setembro de 2009, FCUL, Lisboa, realização da sessão
Formato dos artigos:
Os artigos (papers) devem ser preparados de acordo com o formato Springer LNCS, com um limite máximo de 10 12 páginas, podendo ser escrito em Português ou Inglês.
(consultar http://www.springer.com/computer/lncs?SGWID=0-164-2-72376-0 para mais detalhes sobre o formato Springer LNCS)
Comissão da Organização
Alberto Rodrigues da Silva, IST
João Pascoal Faria, FEUP
Vasco Amaral, FCT/UNL
Comissão do Programa
Alberto Rodrigues da Silva, IST
João Pascoal Faria, FEUP
Vasco Amaral, FCT/UNL
Ricardo Machado, UMinho
Ana Paiva, FEUP
António Leitão, IST
João Saraiva, IST
David Ferreira, IST
José Borbinha, IST
Fernando Brito de Abreu, FCT/UNL
João Araújo, FCT/UNL
Leonel Nóbrega, UMa
Nuno Nunes, UMa
Miguel Calejo, Declarativa
João Paulo Carvalho, Quidgest
Levi Lúcio, U. Genebra
Luís Pedro, U. Genebra
Acções do Documento