Banca de QUALIFICAÇÃO: EVERTON RANIELLY DE SOUSA CAVALCANTE

Uma banca de QUALIFICAÇÃO de DOUTORADO foi cadastrada pelo programa.
DISCENTE: EVERTON RANIELLY DE SOUSA CAVALCANTE
DATA: 12/01/2016
HORA: 08:30
LOCAL: IMD B321
TÍTULO:

A Formally Founded Framework for Dynamic Software Architectures

 


PALAVRAS-CHAVES:

Software architectures, Architecture description languages, Dynamic reconfiguration, Verification, p-ADL, Go, Statistical model-checking.


PÁGINAS: 85
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
RESUMO:

Software architectures have played a significant role in the development of software systems due to their potential for contributing to the achievement of functional and quality requirements. In particular, dynamic software architectures emerge aiming at addressing important features of the contemporary systems, which often operate on environments that are dynamic, subjected to changes. The description of these architectures is an important activity as it allows documenting anticipated design decisions, generating artifacts that pervade the whole software development life cycle, providing a better understanding and communication about the system under development, and guiding the evolution of the system. For this purpose, architecture description languages (ADLs) have been used as notations to represent and drive the analysis of software architectures, producing models that can be used at design time and/or runtime. However, most existing ADLs: (i) are focused on structural, topological aspects of the architecture; (ii) do not provide an adequate support for representing behavioral concerns of the architecture; (iii) do not support an expressive description of dynamic aspects of the architecture; (iv) have limitations in terms of automated verification of architectural properties and constraints; and (v) are disconnected from the implementation level, thus entailing architectural mismatches and inconsistencies between the architecture and implementation. In order to tackle these problems, this work aims at proposing a formally founded framework to support dynamic software architectures. The proposed framework is structured upon four main pillars, all of them relying upon p-calculus process algebra as formal basis: (i) the use of p-ADL, a formal language for describing software architectures under both structural and behavioral viewpoints while allowing a rigorous, automated analysis of such architectures; (ii) the specification of programmed dynamic reconfiguration operations; (iii) the fulfillment of the existing gap between architecture descriptions and their respective implementation by means of automatically generating source code in the Go programming language from architecture descriptions expressed in p-ADL; and (iv) an approach based on statistical model-checking for verifying properties in dynamic software architectures. Additionally, such a framework is intended to be integrated into a development environment towards assisting software architects in activities such as architectural representation, automated generation of source code from architecture descriptions, and verification of architectural properties.


MEMBROS DA BANCA:
Presidente - 1213777 - THAIS VASCONCELOS BATISTA
Interno - 1524372 - FLAVIA COIMBRA DELICATO
Interno - 1149392 - JAIR CAVALCANTI LEITE
Externo à Instituição - FLAVIO OQUENDO - UBS
Externo à Instituição - PAULO DE FIGUEIREDO PIRES - UFRJ
Notícia cadastrada em: 14/12/2015 15:43
SIGAA | Superintendência de Informática - (84) 3215-3148 | Copyright © 2006-2017 - UFRN - sigaa07-producao.info.ufrn.br.sigaa07-producao