Banca de DEFESA: EVERTON RANIELLY DE SOUSA CAVALCANTE



Uma banca de DEFESA DE DOUTORADO foi cadastrada pelo programa.

DISCENTE: EVERTON RANIELLY DE SOUSA CAVALCANTE
DATA: 10/06/2016
HORA: 09:00
LOCAL: IMD B321
TÍTULO:

A Formally Founded Framework for Dynamic Software Architectures

 


RESUMO:

Software architectures play a significant role in the development of software-intensive systems in order to allow satisfying both functional and non-functional requirements. In particular, dynamic software architectures have emerged to address characteristics of the contemporary systems that operate on dynamic environments and consequently subjected to changes at runtime. Architecture description languages (ADLs) are used to represent software architectures, producing models that can be used at design time and/or runtime. However, most existing ADLs have limitations in several facets: (i) they are focused on structural, topological aspects of the architecture; (ii) they do not provide an adequate support for representing behavioral aspects of the architecture; (iii) they do not allow describing advanced aspects regarding the dynamics of the architecture; (iv) they are limited with respect to the automated verification of architectural properties and constraints; and (v) they are disconnected from the implementation level, thus entailing inconsistencies between architecture and implementation. In order to tackle these problems, this thesis proposes formally founded framework for dynamic software architectures. Such a framework comprises: (i) pi-ADL, a formal language for describing software architectures under both structural and behavioral viewpoints; (ii) the specification of programmed dynamic reconfiguration operations; (iii) the automated generation of source code from architecture descriptions; and (iv) an approach based on statistical model checking (SMC) to formally express and verify properties in dynamic software architectures. The main contributions brought by the proposed framework are fourfold. First, the pi-ADL language was endowed with architectural-level primitives for describing programmed dynamic reconfigurations. Second, architecture descriptions in pi-ADL are translated towards implementation source code in the Go programming language, thereby contributing to minimize architectural drifts. Third, a novel logic, called DynBLTL, is used to formally express properties in dynamic software architectures. Fourth, a toolchain relying on SMC was built to automate the verification of architectural properties while striving to reduce effort, computational resources, and time for performing such a task. In this work, two wireless sensor network-based systems are used to validate the framework elements.


PALAVRAS-CHAVE:

Software architectures, Architecture description languages, Dynamic reconfiguration, Formal verification, Temporal logic, Statistical model checking


PÁGINAS: 120
GRANDE ÁREA: Ciências Exatas e da Terra
ÁREA: Ciência da Computação
SUBÁREA: Metodologia e Técnicas da Computação
ESPECIALIDADE: Engenharia de Software

MEMBROS DA BANCA:
Presidente - 1213777 - THAIS VASCONCELOS BATISTA
Interno - 1149392 - JAIR CAVALCANTI LEITE
Interno - 1802737 - GIBEON SOARES DE AQUINO JUNIOR
Externo à Instituição - ELISA YUMI NAKAGAWA - USP
Externo à Instituição - CARLOS ENRIQUE CUESTA - URJC
Externo à Instituição - REGINA HELENA ALVES DA SILVA - UDO
Externo à Instituição - PAULO ROBERTO FREIRE CUNHA - UFPE
Externo à Instituição - FLÁVIO OQUENDO - UBS
Notícia cadastrada em: 15/05/2016 21:40
SIGAA | Superintendência de Informática - (84) 3215-3148 | Copyright © 2006-2017 - UFRN - sigaa14-producao.info.ufrn.br.sigaa14-producao