CIBSE's Tutorials

Geração Automática de Código Executável a partir de Contratos OCL

Abstract:
A atividade de programação de computadores ainda é, em muitas empresas, altamente onerosa em termos de tempo e esforço despendido e em termos de defeitos inseridos por puro descuido ou por não se seguir padrões estabelecidos. Isso baixa a produtividade e a qualidade do produto final, dificultando sua manutenção e evolução. Uma solução para este problema é a geração automática de código a partir de modelos de mais alto nível. A geração de “esqueletos” de programa já é realidade há muitos anos, mas a geração de código efetivamente executável com qualidade ainda é um objetivo alcançado por relativamente poucos. É que para que um modelo tenha efetivamente potencial para geração de código, ele deve ser de alta cerimônia, o que nem sempre é conseguido por equipes de modelagem. Este tutorial ensina como produzir modelos orientados a objetos de alta cerimônia, usando a linguagem OCL (Object Constraint Language), parte do padrão UML (Unified Modeling Language). Será mostrado também como a especificação de diagramas de classe UML complementada pela especificação das operações de sistema na forma de contratos OCL permite a geração automatizada de código executável de alta qualidade, dispensando, assim, a necessidade de realização de testes de unidade.

Tutorialist’ CV:
Raul Sidnei Wazlawick possui Bacharelado em Ciência da Computação pela Universidade Federal de Santa Catarina (1988), Mestrado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (1990), Doutorado em Engenharia de Produção pela Universidade Federal de Santa Catarina (1993) e Pós-Doutorado pela Universidade Nova de Lisboa (1998). Atualmente é professor associado III da Universidade Federal de Santa Catarina. Ministra Engenharia de Software II e Análise e Projeto de Sistemas II no Bacharelado em Ciência da Computação e Modelagem Orientada a Objetos e Metodologia de Pesquisa para Ciência da Computação no Mestrado em Ciência da Computação da UFSC. Foi Conselheiro Suplente por quatro mandatos e Conselheiro Titular por um mandato da Sociedade Brasileira de Computação (SBC). Foi Diretor Acadêmico do Campus de Araranguá da UFSC, Representante do Brasil no Comitê Técnico de Educação (TC3) da International Federation for Information Processing (IFIP), e Chair, por dois anos, do Working Group on ICT and Higher Education (WG3.2) da IFIP. Foi coordenador do Mestrado em Ciência da Computação da UFSC de 2004 a 2007 e coordenador do bacharelado em Ciência da Computação da UFSC entre 1995 e 1997. É autor do livro Análise e Projeto de Sistemas de Informação Orientados a Objetos, publicado em 2004 pela Elsevier (2a edição em 2011), elaborado a partir de quase 20 anos de experiência acadêmica e de consultoria empresarial na área, e autor do livro “Metodologia de Pesquisa para Ciência da Computação”, Elsevier, 2009. Tem experiência na área de Engenharia de Software, atuando principalmente em sistemas orientados a objetos e otimização do processo de desenvolvimento de software (UML, OCL e UP). Foi membro do Comitê de Especialistas de Ensino em Ciência da Computação do MEC, coordenador do comitê especial de informática na educação da SBC e coordenou vários eventos nacionais e internacionais, incluindo o Congresso da SBC (2002), Simpósio Brasileiro de Engenharia de Software SBES (2006) e, juntamente com Rosa Vicari, o IFIP World Conference on Computers in Education (2009). Criou e foi editor da Revista Brasileira de Informática na Educação da SBC entre 1997 e 2001. Recebeu, juntamente com sua orientanda Marilia uterres Ferreira o prêmio Best Paper Award no CibSE 2011.