1o Ciclo de Palestras Computação, Mercado e Pesquisa - 10a Palestra
Vem aí a décima palestra do 1o Ciclo de Palestras Computação, Mercado e Pesquisa.
Título: "Using Linear Logic to Verify Requirement Scenarios in Composite Web Service"
Descrição:
Presentation of a method for requirements veri fication in Web service models based on workflow modules. In this approach, a requirement model (a service contract publication) only specify tasks which are of interest of all parties involved in the corresponding Web service.
Architectural models (detailed Web service) contain the detailed tasks of all the individual workflow processes that interact through asynchronous communication mechanisms in order to produce the services specifi ed in the requirement model. In the proposed approach, services correspond to scenarios of workflow modules. For each scenario of the requirement and architectural models, a proof tree of Linear Logic is produced and transformed into a precedence graph that specifi es task sequence requirements. Precedence graphs of the requirement and architectural models are then compared in order to verify if all the existing scenarios of the requirement model also exist in the architectural model. The comparison of the models is based on the notion of branching bisimilarity that prove behavioral equivalence between distinct fi nite automatas.
Palestrante: Kênia Santos - Graduada em Ciência da Computação pela Universidade Federal de Goiás (2007). Especialista em Segurança da Informação pela Universidade Federal de Goiás (2011). Mestre em Ciência da Computação pela Universidade Federal de Uberlândia (2013). Atualmente doutoranda em Ciência da Computação pela Universidade Federal de Uberlândia. Atuação principalmente nos seguintes temas: Engenharia de Software, Arquitetura de Software, Engenharia de Requisitos, Modelagem de Software, Redes de Petri, Workflow. Técnica administrativa da Universidade Federal de Goiás. Lecionou na Faculdade CESUC no curso de Sistemas para Internet. Realizou Tutorias e Atividades Acadêmicas em cursos a distância. Publicação de Artigos internacionais, neste ano por exemplo: ICEIS - Portugal, ITNG - USA.
A palestra acontecerá no dia 15/12/17 às 19:00 hrs no mini-auditório Profa. Lívia Abraão do Nascimento - Bloco Didático 2.
As inscrições serão gratuitas e realizadas AQUI.
Maiores informações entrar em contato com:
Prof. Márcio Dias - email
Profa. Dayse de Almeida - email