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.

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.

Patients with chronic neck pain demonstrate altered patterns of muscle activation during performance of a functional upper limb task

Study Design. Cross-sectional study. Objective. This study compared neck muscle activation patterns during and after a repetitive upper limb task between patients with idiopathic neck pain, whiplash-associated disorders, and controls. Summary of Background Data. Previous studies have identified altered motor control of the upper trapezius during functional tasks in patients with neck pain. Whether the cervical flexor muscles demonstrate altered motor control during functional activities is unknown. Methods. Electromyographic activity was recorded from the sternocleidomastoid, anterior scalenes, and upper trapezius muscles. Root mean square electromyographic amplitude was calculated during and on completion of a functional task. Results. A general trend was evident to suggest greatest electromyograph amplitude in the sternocleidomastoid, anterior scalenes, and left upper trapezius muscles for the whiplash-associated disorders group, followed by the idiopathic group, with lowest electromyographic amplitude recorded for the control group. A reverse effect was apparent for the right upper trapezius muscle. The level of perceived disability ( Neck Disability Index score) had a significant effect on the electromyographic amplitude recorded between neck pain patients. Conclusions. Patients with neck pain demonstrated greater activation of accessory neck muscles during a repetitive upper limb task compared to asymptomatic controls. Greater activation of the cervical muscles in patients with neck pain may represent an altered pattern of motor control to compensate for reduced activation of painful muscles. Greater perceived disability among patients with neck pain accounted for the greater electromyographic amplitude of the superficial cervical muscles during performance of the functional task.

Drug use patterns and mental health of regular amphetamine users during a reported 'heroin drought'

Aims The present study extends the findings of a pilot study conducted among regular amphetamine users in Newcastle, NSW, in 1998. It compares key features between current participants in a state capital city (Brisbane) and a regional city (Newcastle) and between the 1998 and current Newcastle sample. Design Cross-sectional survey. Setting Brisbane and Newcastle, Australia. Participants The survey was conducted among 214 regular amphetamine users within the context of a randomized controlled trial of brief interventions for amphetamine use. Measurements Demographic characteristics, past and present alcohol and other drug use and mental health, treatment, amphetamine-related harms and severity of dependence. Findings The main findings were as follows: (i) the rate of mental health problems was high among regular amphetamine users and these problems commonly emerged after commencement of regular amphetamine use; (ii) there were regional differences in drug use with greater accessibility to a wider range of drugs in a state capital city and greater levels of injecting risk-taking behaviour outside the capital city environment; and (iii) there was a significant increase in level of amphetamine use and percentage of alcohol users, a trend for a higher level of amphetamine dependence and a significant reduction in the percentage of people using heroin and benzodiazepines among the 2002 Newcastle cohort compared to the 1998 cohort. Conclusions Further longitudinal research is needed to elucidate transitions from one drug type to another and from recreational to injecting and regular use and the relationship between drug use and mental health in prospective studies among users. Implications Intervention research should evaluate the effectiveness of interventions aimed at: preventing transition to injecting and regular use of amphetamines; toward reducing levels of depression among amphetamine users and interventions among people with severe psychopathology and personality disorders; and toward reducing the prevalence of tobacco dependence among amphetamine users.

Winding patterns for biplanar MRI shim coils with rectangular and circular target-field regions

A method is presented for calculating the winding patterns required to design independent zonal and tesseral biplanar shim coils for magnetic resonance imaging. Streamline, target-field, Fourier integral and Fourier series methods are utilized. For both Fourier-based methods, the desired target field is specified on the surface of the conducting plates. For the Fourier series method it is possible to specify the target field at additional depths interior to the two conducting plates. The conducting plates are confined symmetrically in the xy plane with dimensions 2a x 2b, and are separated by 2d in the z direction. The specification of the target field is symmetric for the Fourier integral method, but can be over some asymmetric portion pa < x < qa and sb < y < tb of the coil dimensions (-1 < p < q < 1 and -1 < s < t < 1) for the Fourier series method. Arbitrary functions are used in the outer sections to ensure continuity of the magnetic field across the entire coil face. For the Fourier series case, the entire field is periodically extended as double half-range sine or cosine series. The resultant Fourier coefficients are substituted into the Fourier series and integral expressions for the internal and external magnetic fields, and stream functions on both the conducting surfaces. A contour plot of the stream function directly gives the required coil winding patterns. Spherical harmonic analysis of field calculations from a ZX shim coil indicates that example designs and theory are well matched.

Parallel evolution of sexual isolation in sticklebacks

Mechanisms of speciation are not well understood, despite decades of study. Recent work has focused on how natural and sexual selection cause sexual isolation. Here, we investigate the roles of divergent natural and sexual selection in the evolution of sexual isolation between sympatric species of threespine sticklebacks. We test the importance of morphological and behavioral traits in conferring sexual isolation and examine to what extent these traits have diverged in parallel between multiple, independently evolved species pairs. We use the patterns of evolution in ecological and mating traits to infer the likely nature of selection on sexual isolation. Strong parallel evolution implicates ecologically based divergent natural and/or sexual selection, whereas arbitrary directionality implicates nonecological sexual selection or drift. In multiple pairs we find that sexual isolation arises in the same way: assortative mating on body size and asymmetric isolation due to male nuptial color. Body size and color have diverged in a strongly parallel manner, similar to ecological traits. The data implicate ecologically based divergent natural and sexual selection as engines of speciation in this group.

Measuring crime prevention through environmental design

Crime Prevention Through Environmental Design (CPTED) has considerable support among the built environment professions. Yet the underlying assumptions on which it is based have rarely been, effectiveness or efficacy. This paper reports the development and use of a evaluated to assess their of scale that measured the actual levels of incidental CPTED in two residential areas in Gold Coast, Australia. The scale was administered in parallel with a victimization and social attitude survey. Analysis based on the combination of the two suggests that CPTED measures may have some effect on reducing victimization, particularly the kind of CPTED measures that apply to the group of dwellings on a single street, but the effect on fear of crime is surprisingly limited. It also indicates that there is on a single street, but the of potential in the application of such a scale in a wider assessment of the effectiveness of operationalizing CPTED design measures.