3 resultados para software distribution in using status

em Digital Commons at Florida International University


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Modern software systems are often large and complicated. To better understand, develop, and manage large software systems, researchers have studied software architectures that provide the top level overall structural design of software systems for the last decade. One major research focus on software architectures is formal architecture description languages, but most existing research focuses primarily on the descriptive capability and puts less emphasis on software architecture design methods and formal analysis techniques, which are necessary to develop correct software architecture design. ^ Refinement is a general approach of adding details to a software design. A formal refinement method can further ensure certain design properties. This dissertation proposes refinement methods, including a set of formal refinement patterns and complementary verification techniques, for software architecture design using Software Architecture Model (SAM), which was developed at Florida International University. First, a general guideline for software architecture design in SAM is proposed. Second, specification construction through property-preserving refinement patterns is discussed. The refinement patterns are categorized into connector refinement, component refinement and high-level Petri nets refinement. These three levels of refinement patterns are applicable to overall system interaction, architectural components, and underlying formal language, respectively. Third, verification after modeling as a complementary technique to specification refinement is discussed. Two formal verification tools, the Stanford Temporal Prover (STeP) and the Simple Promela Interpreter (SPIN), are adopted into SAM to develop the initial models. Fourth, formalization and refinement of security issues are studied. A method for security enforcement in SAM is proposed. The Role-Based Access Control model is formalized using predicate transition nets and Z notation. The patterns of enforcing access control and auditing are proposed. Finally, modeling and refining a life insurance system is used to demonstrate how to apply the refinement patterns for software architecture design using SAM and how to integrate the access control model. ^ The results of this dissertation demonstrate that a refinement method is an effective way to develop a high assurance system. The method developed in this dissertation extends existing work on modeling software architectures using SAM and makes SAM a more usable and valuable formal tool for software architecture design. ^

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Current technology permits connecting local networks via high-bandwidth telephone lines. Central coordinator nodes may use Intelligent Networks to manage data flow over dialed data lines, e.g. ISDN, and to establish connections between LANs. This dissertation focuses on cost minimization and on establishing operational policies for query distribution over heterogeneous, geographically distributed databases. Based on our study of query distribution strategies, public network tariff policies, and database interface standards we propose methods for communication cost estimation, strategies for the reduction of bandwidth allocation, and guidelines for central to node communication protocols. Our conclusion is that dialed data lines offer a cost effective alternative for the implementation of distributed database query systems, and that existing commercial software may be adapted to support query processing in heterogeneous distributed database systems. ^

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Selenium is known to occur in the enzyme, glutathione peroxidase, and plays an important role as an antioxidant. The objective of this investigation was to determine if amounts of selenium are selectively accumulated in different regions of the retina or uniformly distributed with eccentricity. 20 human retinas were analyzed for selenium. 18 of these were sectioned into a disc and two concentric annuli centered on the fovea using trephines having diameters of 3, 11, and 21 mm. The sections had areas of7.1, 93, and 343 mm2, respectively. Corresponding sections of these retinas were combined and analyzed together in sets of n = 5 and n = 11. For two donors, the whole retina of one eye was analyzed for selenium and the other retina was sectioned for analysis as described above. Selenium was determined using atomic fluorescence spectroscopy after digestion of the retinal tissues in nitric acid. The two whole retinas were found to have an average of 0.89 ± 0.49 pmoles/mm2 of selenium as compared to the companion which had 0.84 ± 0.28 pmoles/mm2 as determined from the sum of the selenium amounts measured in the individual sections. The inner, medial, and outer portions of these two sectioned retinas were found to contain an average of5.28 ± 1.1, 1.28 ± 0.44, 0.63 ± 0.22 pmoles/mm2, respectively. The five retinas that were sectioned and pooled for analysis were found to have average amounts of3.64, 1.26, and 0.56 pmoles/mm2 • The 11-sectioned retinas were found to have 1.16, 0.61, and 0.38 pmoles/mm2 respectively in the same three sections. This limited data set indicates that selenium is not uniformly distributed within the human retina but rather concentrated to a greater extent within the macula. If confirmed, these data would support the hypothesis that selenium may be an important antioxidant involved in protection of the macula from radical oxidants.