Using integrated metamodeling to define OO design patterns with object-z and UML

Three important goals in describing software design patterns are: generality, precision, and understandability. To address these goals, this paper presents an integrated approach to specifying patterns using Object-Z and UML. To achieve the generality goal, we adopt a role-based metamodeling approach to define patterns. With this approach, each pattern is defined as a pattern role model. To achieve precision, we formalize role concepts using Object-Z (a role metamodel) and use these concepts to define patterns (pattern role models). To achieve understandability, we represent the role metamodel and pattern role models visually using UML. Our pattern role models provide a precise basis for pattern-based model transformations or refactoring approaches.

Architectural design in object-z

We present a process for introducing an object-oriented architecture into an abstract functional specification written in Object-Z. Since the design is derived from the specification, correctness concerns are addressed as pan of the design process. We base our approach on refactoring rules that apply to class structure, and use the rules to implement design patterns. As a motivating example, we introduce a user-interface design that follows the model-view-controller paradigm into an existing specification.

A rigorous foundation for pattern based design models

This paper presents a way to describe design patterns rigorously based on role concepts. Rigorous pattern descriptions are a key aspect for patterns to be used as rules for model evolution in the MDA context, for example. We formalize the role concepts commonly used in defining design patterns as a role metamodel using Object-Z. Given this role metamodel, individual design patterns are specified generically as a formal pattern role model using Object-Z. We also formalize the properties that must be captured in a class model when a design pattern is deployed. These properties are defined generically in terms of role bindings from a pattern role model to a class model. Our work provides a precise but abstract approach for pattern definition and also provides a precise basis for checking the validity of pattern usage in designs.

Towards pattern-based design recovery

A method and a corresponding tool is described which assist design recovery and program understanding by recognising instances of design patterns semi-automatically. The approach taken is specifically designed to overcome the existing scalability problems caused by many design and implementation variants of design pattern instances. Our approach is based on a new recognition algorithm which works incrementally rather than trying to analyse a possibly large software system in one pass without any human intervention. The new algorithm exploits domain and context knowledge given by a reverse engineer and by a special underlying data structure, namely a special form of an annotated abstract syntax graph. A comparative and quantitative evaluation of applying the approach to the Java AWT and JGL libraries is also given.

Viscosupplementation for the treatment of osteoarthritis of the knee (Review)

Background Osteoarthritis (OA) is the most prevalent chronic joint disorder worldwide and is associated with significant pain and disability. Objectives To assess the effects of viscosupplementation in the treatment of OA of the knee. The products were hyaluronan and hylan derivatives (Adant, Arthrum H, Artz (Artzal, Supartz), BioHy (Arthrease, Euflexxa, Nuflexxa), Durolane, Fermathron, Go-On, Hyalgan, Hylan G-F 20 (Synvisc Hylan G-F 20), Hyruan, NRD-101 (Suvenyl), Orthovisc, Ostenil, Replasyn, SLM-10, Suplasyn, Synject and Zeel compositum). Search strategy MEDLINE (up to January (week 1) 2006 for update), EMBASE, PREMEDLINE, Current Contents up to July 2003, and the Cochrane Central Register of Controlled Trials (CENTRAL) were searched. Specialised journals and reference lists of identified randomised controlled trials (RCTs) and pertinent review articles up to December 2005 were handsearched. Selection criteria RCTs of viscosupplementation for the treatment of people with a diagnosis of OA of the knee were eligible. Single and double-blinded studies, placebo-based and comparative studies were eligible. At least one of the four OMERACT III core set outcome measures had to be reported (Bellamy 1997). Data collection and analysis Each trial was assessed independently by two reviewers for its methodological quality using a validated tool. All data were extracted by one reviewer and verified by a second reviewer. Continuous outcome measures were analysed as weighted mean differences (WMD) with 95% confidence intervals (CI). However, where different scales were used to measure the same outcome, standardized mean differences (SMD) were used. Dichotomous outcomes were analyzed by relative risk (RR). Main results Seventy-six trials with a median quality score of 3 (range 1 to 5) were identified. Follow-up periods varied between day of last injection and eighteen months. Forty trials included comparisons of hyaluronan/hylan and placebo (saline or arthrocentesis), ten trials included comparisons of intra-articular (IA) corticosteroids, six trials included comparisons of nonsteroidal anti-inflammatory drugs (NSAIDs), three trials included comparisons of physical therapy, two trials included comparisons of exercise, two trials included comparisons of arthroscopy, two trials included comparisons of conventional treatment, and fifteen trials included comparisons of other hyaluronans/hylan. The pooled analyses of the effects of viscosupplements against 'placebo' controls generally supported the efficacy of this class of intervention. In these same analyses, differential efficacy effects were observed for different products on different variables and at different timepoints. Of note is the 5 to 13 week post injection period which showed a percent improvement from baseline of 28 to 54% for pain and 9 to 32% for function. In general, comparable efficacy was noted against NSAIDs and longer-term benefits were noted in comparisons against IA corticosteroids. In general, few adverse events were reported in the hyaluronan/hylan trials included in these analyses. Authors' conclusions Based on the aforementioned analyses, viscosupplementation is an effective treatment for OA of the knee with beneficial effects: on pain, function and patient global assessment; and at different post injection periods but especially at the 5 to 13 week post injection period. It is of note that the magnitude of the clinical effect, as expressed by the WMD and standardised mean difference (SMD) from the RevMan 4.2 output, is different for different products, comparisons, timepoints, variables and trial designs. However, there are few randomised head-to-head comparisons of different viscosupplements and readers should be cautious, therefore, in drawing conclusions regarding the relative value of different products. The clinical effect for some products, against placebo, on some variables at some timepoints is in the moderate to large effect-size range. Readers should refer to relevant tables to review specific detail given the heterogeneity in effects across the product class and some discrepancies observed between the RevMan 4.2 analyses and the original publications. Overall, the analyses performed are positive for the HA class and particularly positive for some products with respect to certain variables and timepoints, such as pain on weight bearing at 5 to 13 weeks postinjection. In general, sample-size restrictions preclude any definitive comment on the safety of the HA class of products; however, within the constraints of the trial designs employed no major safety issues were detected. In some analyses viscosupplements were comparable in efficacy to systemic forms of active intervention, with more local reactions but fewer systemic adverse events. In other analyses HA products had more prolonged effects than IA corticosteroids. Overall, the aforementioned analyses support the use of the HA class of products in the treatment of knee OA.

A tool for a formal pattern modeling language

This paper presents a formal but practical approach for defining and using design patterns. Initially we formalize the concepts commonly used in defining design patterns using Object-Z. We also formalize consistency constraints that must be satisfied when a pattern is deployed in a design model. Then we implement the pattern modeling language and its consistency constraints using an existing modeling framework, EMF, and incorporate the implementation as plug-ins to the Eclipse modeling environment. While the language is defined formally in terms of Object-Z definitions, the language is implemented in a practical environment. Using the plug-ins, users can develop precise pattern descriptions without knowing the underlying formalism, and can use the tool to check the validity of the pattern descriptions and pattern usage in design models. In this work, formalism brings precision to the pattern language definition and its implementation brings practicability to our pattern-based modeling approach.

A patttern based model evolution approach

In this paper, we present a framework for pattern-based model evolution approaches in the MDA context. In the framework, users define patterns using a pattern modeling language that is designed to describe software design patterns, and they can use the patterns as rules to evolve their model. In the framework, design model evolution takes place via two steps. The first step is a binding process of selecting a pattern and defining where and how to apply the pattern in the model. The second step is an automatic model transformation that actually evolves the model according to the binding information and the pattern rule. The pattern modeling language is defined in terms of a MOF-based role metamodel, and implemented using an existing modeling framework, EMF, and incorporated as a plugin to the Eclipse modeling environment. The model evolution process is also implemented as an Eclipse plugin. With these two plugins, we provide an integrated framework where defining and validating patterns, and model evolution based on patterns can take place in a single modeling environment.

Bifurcation in growth patterns for arrays of parallel Griffith, edge and sliding cracks

This paper presents the recent finding by Muhlhaus et al [1] that bifurcation of crack growth patterns exists for arrays of two-dimensional cracks. This bifurcation is a result of the nonlinear effect due to crack interaction, which is, in the present analysis, approximated by the dipole asymptotic or pseudo-traction method. The nonlinear parameter for the problem is the crack length/ spacing ratio lambda = a/h. For parallel and edge crack arrays under far field tension, uniform crack growth patterns (all cracks having same size) yield to nonuniform crack growth patterns (i.e. bifurcation) if lambda is larger than a critical value lambda(cr) (note that such bifurcation is not found for collinear crack arrays). For parallel and edge crack arrays respectively, the value of lambda(cr) decreases monotonically from (2/9)(1/2) and (2/15.096)(1/2) for arrays of 2 cracks, to (2/3)(1/2)/pi and (2/5.032)(1/2)/pi for infinite arrays of cracks. The critical parameter lambda(cr) is calculated numerically for arrays of up to 100 cracks, whilst discrete Fourier transform is used to obtain the exact solution of lambda(cr) for infinite crack arrays. For geomaterials, bifurcation can also occurs when array of sliding cracks are under compression.

Design and implementation of a windows-based parallel computing environment for large scale optimization

A parallel computing environment to support optimization of large-scale engineering systems is designed and implemented on Windows-based personal computer networks, using the master-worker model and the Parallel Virtual Machine (PVM). It is involved in decomposition of a large engineering system into a number of smaller subsystems optimized in parallel on worker nodes and coordination of subsystem optimization results on the master node. The environment consists of six functional modules, i.e. the master control, the optimization model generator, the optimizer, the data manager, the monitor, and the post processor. Object-oriented design of these modules is presented. The environment supports steps from the generation of optimization models to the solution and the visualization on networks of computers. User-friendly graphical interfaces make it easy to define the problem, and monitor and steer the optimization process. It has been verified by an example of a large space truss optimization. (C) 2004 Elsevier Ltd. All rights reserved.

Design, Synthesis, Potency and Cytoselectivity of Anticancer Agents Derived by Parallel Synthesis from alpha-Aminosuberic Acid

Chemotherapy in the last century was characterized by cytotoxic drugs that did not discriminate between cancerous and normal cell types and were consequently accompanied by toxic side effects that were often dose limiting. The ability of differentiating agents to selectively kill cancer cells or transform them to a nonproliferating or normal phenotype could lead to cell- and tissue-specific drugs without the side effects of current cancer chemotherapeutics. This may be possible for a new generation of histone deacetylase inhibitors derived from amino acids. Structure-activity relationships are now reported for 43 compounds derived from 2-aminosuberic acid that kill a range of cancer cells, 26 being potent cytotoxins against MM96L melanoma cells (IC50 20 nM-1 mu M), while 17 were between 5- and 60-fold more selective in killing MM96L melanoma cells versus normal (neonatal foreskin fibroblasts, NFF) cells. This represents a 10- to 100-fold increase in potency and up to a 10-fold higher selectivity over previously reported compounds derived from cysteine (J. Med. Chem. 2004, 47, 2984). Selectivity is also an underestimate, because the normal cells, NFF, are rarely all killed by the drugs that also induce selective blockade of the cell cycle for normal but not cancer cells. Selected compounds were tested against a panel of human cancer cell lines (melanomas, prostate, breast, ovarian, cervical, lung, and colon) and found to be both selective and potent cytotoxins (IC50 20 nM-1 mu M). Compounds in this class typically inhibit human histone deacetylases, as evidenced by hyperacetylation of histones in both normal and cancer cells, induce expression of p21, and differentiate surviving cancer cells to a nonproliferating phenotype. These compounds may be valuable leads for the development of new chemotherapeutic agents.

Determining complicated winding patterns for shim coils using stream functions and the target-field method

In a magnetic resonance imaging equipment, gradient and shim coils are needed to produce a spatially varying magnetic field throughout the sample being imaged. Such coils consist of turns of wire wound on the surface of a cylindrical tube. Shim coils in particular, must sometimes be designed to produce complicated magnetic fields to correct for impurities. Streamline patterns for shim coils are much more complicated than those for gradient coils, In this work we present a detailed analysis of streamline methods and their application to shim coil design, A method is presented for determining the winding patterns to generate these complicated fields. (C) 2002 John Wiley & Sons, Inc.

Neuroarchitecture of the color and polarization vision system of the stomatopod haptosquilla

The apposition compound eyes of stomatopod crustaceans contain a morphologically distinct eye region specialized for color and polarization vision, called the mid-band. In two stomatopod superfamilies, the mid-band is constructed from six rows of enlarged ommatidia containing multiple photoreceptor classes for spectral and polarization vision. The aim of this study was to begin to analyze the underlying neuroarchitecture, the design of which might reveal clues how the visual system interprets and communicates to deeper levels of the brain the multiple channels of information supplied by the retina. Reduced silver methods were used to investigate the axon pathways from different retinal regions to the lamina ganglionaris and from there to the medulla externa, the medulla interna, and the medulla terminalis. A swollen band of neuropil-here termed the accessory lobe-projects across the equator of. the lamina ganglionaris, the medulla externa, and the medulla interna and represents, structurally, the retina's mid-band. Serial semithin and ultrathin resin sections were used to reconstruct the projection of photoreceptor axons from the retina to the lamina ganglionaris. The eight axons originating from one ommatidium project to the same lamina cartridge. Seven short visual fibers end at two distinct levels in each lamina cartridge, thus geometrically separating the two channels of polarization and spectral information. The eighth visual fiber runs axially through the cartridge and terminates in the medulla externa. We conclude that spatial, color, and polarization information is divided into three parallel data streams from the retina to the central nervous system. (C) 2003 Wiley-Liss, Inc.

Patterns of variation within self-incompatibility loci

Diverse self-incompatibility (SI) mechanisms permit flowering plants to inhibit fertilization by pollen that express specificities in common with the pistil. Characteristic of at least two model systems is greatly reduced recombination across large genomic tracts surrounding the S-locus, which regulates SI. In three angiosperm families, including the Solanaceae, the gene that controls the expression of gametophytic SI in the pistil encodes a ribonuclease (S-RNase). The gene that controls pollen SI expression is currently unknown, although several candidates have recently been proposed. Although each candidate shows a high level of polymorphism and complete allelic disequilibrium with the S-RNase gene, such properties may merely reflect tight linkage to the S-locus, irrespective of any functional role in SI. We analyzed the magnitude and nature of nucleotide variation, with the objective of distinguishing likely candidates for regulators of SI from other genes embedded in the S-locus region. We studied the S-RNase gene of the Solanaceae and 48A, a candidate for the pollen gene in this system, and we also conducted a parallel analysis of the regulators of sporophytic SI in Brassica, a system in which both the pistil and pollen genes are known. Although the pattern of variation shown by the pollen gene of the Brassica system is consistent with its role as a determinant of pollen specificity, that of 48A departs from expectation. Our analysis further suggests that recombination between 48A and S-RNase may have occurred during the interval spanned by the gene genealogy, another indication that 48A may not regulate SI expression in pollen.