Skip navigation
Please use this identifier to cite or link to this item: https://repositorio.ufpe.br/handle/123456789/19522
Title: Constructive extensibility of trust worthy component-based systems
Authors: OLIVEIRA, José Dihego da Silva
Keywords: herança de componentes;refinamento de componentes;correção por construção;design orientado a aspectos para modelos de componentes;convergência comportamental;CSP;component inheritance;component refinement;correctness by construction;component-based aspect-oriented design;behavioural convergence;CSP
Issue Date: 4-Mar-2016
Publisher: Universidade Federal de Pernambuco
Abstract: Namedidaemqueossistemascomputacionaissetornammaispervasivos,ademandapor métodosdedesenvolvimentorigorososecomposicionaiscrescedramaticamente. Nodesenvolvimentobaseadoemcomponentes(CB-MDD),sistemascomplexos(muitasvezeshumanamente intangíveis)sãoconstruídosapartirdeelementosmaissimples,chamadoscomponentes. Para atingirosobjetivosdestaabordagemnadireçãodetorná-laumadisciplinaformaldedesenvolvimento,componenteseregrasdecomposiçãodevemserformalizados. Alémdisso,considerando queosrequisitosdeumsistemaestãoemconstanteevolução,necessitamosdemecanismospara refinareestenderdeformaconfiáveltaissistemas. OmodelodecomponentesBRICformalizaos conceitoschavedaabordagemCB-MDD,alémdegarantircorretudeporconstruçãosebaseando emregrasdecomposiçãoquepreservampropriedadescomportamentais. BRIC,porém,pornão possuirrelaçõesdeextensão,nãosuportaevoluçãodemodelosbaseadosemcomponentes. NestetrabalhopropomosrelaçõesdeherançaerefinamentoparaBRIC.Definimosuma semânticacongruentequeconsideratantoaestruturaquantoocomportamentodecomponentes. Definimos refinamento como uma relação de pré-ordem, a qual é monotônica em relação as regrasdecomposiçãodeBRIC.Estendemosestemodelodecomponentescomsuporteaextensibilidade via herança. As relações propostas permitem extensão de funcionalidade, ao mesmo tempoemquepreservamconformidadedeserviços,aqualédefinidaemtermosdeumanoção deconvergência. Estabelecemostambémumaconexãoalgébricaentreextensibilidadedecomponenteserefinamento. Atéondeestamoscientes,estetrabalhoépioneironodesenvolvimentode noçõesdeherançadecomponentesparaumaabordagemCB-MDDformaleconsistente. Também integramos o paradigma orientado a aspectos em BRIC. Contribuímos com uma abordagem para capturar, especificar e adotar aspectos no desenvolvimento confiável de sistemasbaseadosemcomponentes. Estabelecemosquecomponentesestendidosporaspectos preservamconvergência,oquegaranteconformidadedeserviços. Alémdisso,desenvolvemos umaconexãoentreherançaeaspectos,apresentandoherançacomoummecanismoparadefinir famíliasdecomponenteseaspectosparacapturarconceitosortogonaissobreasmesmas. Ilustramosarelevânciapráticadasrelaçõespropostasatravésdetrêsestudosdecaso. No primeiro,modelamosumsistemaautônomodecuidadosmédicos,estendidopelaadiçãodenovas funcionalidadesviaherançaepelamodularizaçãodeconceitostransversaisdeformareusávele manutenívelviaaspectos. Nasequência,modelamosumsistemabancário,cujasfuncionalidades sãoprogressivamenteimplementadaseestendidaspelousodeherançaerefinamento. Finalmente, modelamosumsistemaP2Pcujotráficoéreduzidoporextensãoviaherança.
URI: https://repositorio.ufpe.br/handle/123456789/19522
Appears in Collections:Teses de Doutorado - Ciência da Computação

Files in This Item:
File Description SizeFormat 
TESE_JOSE_DIHEGO_DA_SILVA_OLIVEIRA_CIN_UFPE_2016.pdf1.09 MBAdobe PDFView/Open


This item is protected by original copyright



This item is licensed under a Creative Commons License Creative Commons