Uma estratÃgia para a composiÃÃo formal de frameworks
AUTOR(ES)
Walter Miranda Mesquita Neto
DATA DE PUBLICAÇÃO
2004
RESUMO
Framework based development has been presented as the next step towards better software reuse. The increasing complexity of computer systems requires the level of reuse that framework composition can achieve. In this scenario, new framework documentation and specification techniques that can eliminate behavior ambiguities and imprecision are overdue. The strategy presented in this work uses formal languages to characterize the framework composition problem, abstracting from implementation details or technology. The languages involved are CSP, Z and CSP-Z. Furthermore, the approach allows the use of the CSP model checking tool (FDR) to verify the preservation of properties after the composition. The main goal of the strategy is to address control flow composition, which is one of the most common framework composition problems. Other composition problems are also discussed, as well as their common causes and possible solutions. Finally, we will demonstrate that the strategy addresses every kind of problem at some level. The strategy intends to communicate the frameworks by matching corresponding events and data types. The composition is performed through a third component, the communication and synchronization component (CSC). This component provides the composition with great flexibility and abstraction, allowing the frameworks to communicate anonymously and eliminating collateral effects on their behavior. The strategy has been thoroughly detailed in order to allow future automation. For that, CSC specification templates and a constructive approach to its generation are presented
ASSUNTO(S)
mÃtodos formais ciencia da computacao formal methods estratÃgia composiÃÃo de frameworks component reuse framework composition strategy reuso de componentes
Documentos Relacionados
- Altos dividend yelds como estratÃgia para composiÃÃo de carteiras de investimentos
- EtnobotÃnica nordestina : estratÃgia de vida e composiÃÃo quÃmica como preditores do uso de plantas medicinais por comunidades locais na caatinga
- WBG (Whois Based Geolocation): uma estratÃgia para localizaÃÃo geogrÃfica de hosts na Internet
- AdequaÃÃo entre estratÃgia logÃsitica e ganhos de competitividade para a formaÃÃo de arranjos produtivos: uma proposta
- EstratÃgia de intervenÃÃo em educaÃÃo em alimentaÃÃo e nutriÃÃo