A formal object-oriented approach to defining consistency constraints for UML models

We discuss how integrity consistency constraints between different UML models can be precisely defined at a language level. In doing so, we introduce a formal object-oriented metamodeling approach. In the approach, integrity consistency constraints between UML models are defined in terms of invariants of the UML model elements used to define the models at the language-level. Adopting a formal approach, constraints are formally defined using Object-Z. We demonstrate how integrity consistency constraints for UML models can be precisely defined at the language-level and once completed, the formal description of the consistency constraints will be a precise reference of checking consistency of UML models as well as for tool development.

Agent-based distributed software verification

Despite decades of research, the takeup of formal methods for developing provably correct software in industry remains slow. One reason for this is the high cost of proof construction, an activity that, due to the complexity of the required proofs, is typically carried out using interactive theorem provers. In this paper we propose an agent-oriented architecture for interactive theorem proving with the aim of reducing the user interactions (and thus the cost) of constructing software verification proofs. We describe a prototype implementation of our architecture and discuss its application to a small, but non-trivial case study.

The employment of people with mental illness

People with a mental illness are among the most socially and economically marginalised members of the community. They experience high levels of unemployment and nonparticipation in the labour force. Unemployment has a number of negative effects including the loss of purpose, structure, roles and status and a sense of identity which employment brings. Employment enables social inclusion in the wider community and is an important way that people with a mental illness can meaningfully participate in the wider community. Australia has a mental health strategy, which guides the ongoing reform of mental health services. However, specific strategies to address the social and economic marginalisation of people with a mental illness have not been addressed. A recovery-oriented approach is recommended, which integrates the key sectors involved. To date there has been little intersectoral collaboration between the various sectors such as mental health services, housing, and vocational services. People require more role-specific assistance to enable them to participate in socially valued roles implicit with citizenship. There is a need to formulate improved pathways to assistance and more evidence-based forms of assistance to re-establish career pathways. This report aims to: 1) collect relevant overseas and Australian evidence about the employment of people with mental illness; 2) identify the potential benefits of employment; 3) describe patterns of labour force participation in Australia among people with mental illness; 4) identify how mental illness can cause barriers to employment; 5) outline the type of employment restrictions reported by people with mental illness; 6) identify the evidence-based ingredients of employment assistance; 7) identify relevant policy implications; and 8) suggest strategies to improve employment outcomes and career prospects for people with mental illness.

A conceptual model of personalized virtual learning environments

The Virtual Learning Environment (VLE) is one of the fastest growing areas in educational technology research and development. In order to achieve learning effectiveness, ideal VLEs should be able to identify learning needs and customize solutions, with or without an instructor to supplement instruction. They are called Personalized VLEs (PVLEs). In order to achieve PVLEs success, comprehensive conceptual models corresponding to PVLEs are essential. Such conceptual modeling development is important because it facilitates early detection and correction of system development errors. Therefore, in order to capture the PVLEs knowledge explicitly, this paper focuses on the development of conceptual models for PVLEs, including models of knowledge primitives in terms of learner, curriculum, and situational models, models of VLEs in general pedagogical bases, and particularly, the definition of the ontology of PVLEs on the constructivist pedagogical principle. Based on those comprehensive conceptual models, a prototyped multiagent-based PVLE has been implemented. A field experiment was conducted to investigate the learning achievements by comparing personalized and non-personalized systems. The result indicates that the PVLE we developed under our comprehensive ontology successfully provides significant learning achievements. These comprehensive models also provide a solid knowledge representation framework for PVLEs development practice, guiding the analysis, design, and development of PVLEs. (c) 2005 Elsevier Ltd. All rights reserved.

Transmission planning in a deregulated environment

The worldwide trend for the deregulation of the electricity generation and transmission industries has led to dramatic changes in system operation and planning procedures. The optimum approach to transmission-expansion planning in a deregulated environment is an open problem especially when the responsibilities of the organisations carrying out the planning work need to be addressed. To date there is a consensus that the system operator and network manager perform the expansion planning work in a centralised way. However, with an increasing input from the electricity market, the objectives, constraints and approaches toward transmission planning should be carefully designed to ensure system reliability as well as meeting the market requirements. A market-oriented approach for transmission planning in a deregulated environment is proposed. Case studies using the IEEE 14-bus system and the Australian national electricity market grid are performed. In addition, the proposed method is compared with a traditional planning method to further verify its effectiveness.

Novel approach to tailoring molecular weight distribution and structure with a difunctional RAFT agent

This work has demonstrated that for the first time a single RAFT agent (i. e., difunctional) can be used in conjunction with a radical initiator to obtain a desired M-n and PDI with controlled rates of polymerization. Simulations were used not only to verify the model but also to provide us with a predictive tool to generate other MWDs. It was also shown that all the MWDs prepared in this work could be translated to higher molecular weights through chain extension experiments with little or no compromise in the control of end group functionality. The ratio of monofunctional to difunctional SdC(CH2Ph)S- end groups, XPX and XP (where X) S=C(CH2Ph) S-), can be controlled by simply changing the concentration of initiator, AIBN. Importantly, the amount of dead polymer is extremely low and fulfils the criterion as suggested by Szwarc (Nature 1956) that to meet living requirements nonfunctional polymeric species formed by side reactions in the process should be undetectable by analytical techniques. In addition, this novel methodology will allow the synthesis of AB, ABA, and statistical multiblock copolymers with predetermined ratios to be produced in a one-pot reaction.

Farnesoid X receptor agonism - a new approach to the treatment of cholesterol gallstone disease

Gallstone disease is very common among native Americans and Hispanics, and similar to 20 million patients are treated for this disease annually in the US. The nuclear farnesoid X receptor (FXR) is the receptor for bile acids, and GW4064 is a synthetic agonist at the FXR. FXR-/- mice fed a lithogenic diet (high fat, cholesterol and cholic acid) are more susceptible to gallstone disease than wild-type mice with the same mixed background, thus establishing that the ablation of FXR is associated with this disease. The C57L mouse is susceptible to gallstone formation. When C57L mice are fed a lithogenic diet for a week, the bile contains large aggregates of cholesterol precipitates, and two of five C57L mice had macroscopic cholesterol crystals. in contrast, when C57L mice were fed the lithogenic diet and administered GW4064 100 mg/kg/day by oral gavage, there was no precipitation of cholesterol. Treatment with this agent also increased bile salt and phospholipid concentration, and prevented gallbladder epithelium damage. As FXR agonism with GW4064 has been shown to be useful in a mouse model of cholesterol gallstone disease, it should undergo further development for the treatment of this condition.

Berberine - a novel approach to cholesterol lowering

Although low-density lipoprotein (LDL)-cholesterol lowering with the statins reduces the mortality and morbidity associated with coronary artery disease, considerable mortality and morbidity remains. Berberine upregulates the LDL receptor (LDLR) by a mechanism distinct from that of the statins, which involves stabilising the LDLR mRNA. In hamsters fed a high-fat and high-cholesterol diet for 2 weeks, the oral administration of berberine 100 mg/kg for 10 days reduced total serum cholesterol from ∼ 4.8 to 2.7 mmol/l, and LDL-cholesterol from ∼ 2.5 to 1.4 mmol/l. In subjects with hypercholesterolaemia, berberine hydrochloride (0.5 g b.i.d. for 3 months) reduced LDL-cholesterol (from 3.2 to 2.4 mmol/l) without any effect on high-density lipoprotein-cholesterol. Berberine also caused a reduction in triglyceride levels from 2.3 to 1.5 mmol/l. As berberine and statins both upregulate LDLR, their lipid-lowering profiles are similar. Thus, this mechanism is unlikely to make berberine an attractive alternative to statins for lipid lowering in most circumstances. However, the other effects of berberine (anti hypertensive, inotropic and class III antiarrhythmic properties) may make it a useful agent in the treatment of cardiovascular disease.

A new approach to control of MIMO processes with static nonlinearities using an extended IMC framework

In this paper, a new control design method is proposed for stable processes which can be described using Hammerstein-Wiener models. The internal model control (IMC) framework is extended to accommodate multiple IMC controllers, one for each subsystem. The concept of passive systems is used to construct the IMC controllers which approximate the inverses of the subsystems to achieve dynamic control performance. The Passivity Theorem is used to ensure the closed-loop stability. (c) 2005 Elsevier Ltd. All rights reserved.

Physiologically based synthetic models of hepatic disposition

Current Physiologically based pharmacokinetic (PBPK) models are inductive. We present an additional, different approach that is based on the synthetic rather than the inductive approach to modeling and simulation. It relies on object-oriented programming A model of the referent system in its experimental context is synthesized by assembling objects that represent components such as molecules, cells, aspects of tissue architecture, catheters, etc. The single pass perfused rat liver has been well described in evaluating hepatic drug pharmacokinetics (PK) and is the system on which we focus. In silico experiments begin with administration of objects representing actual compounds. Data are collected in a manner analogous to that in the referent PK experiments. The synthetic modeling method allows for recognition and representation of discrete event and discrete time processes, as well as heterogeneity in organization, function, and spatial effects. An application is developed for sucrose and antipyrine, administered separately and together PBPK modeling has made extensive progress in characterizing abstracted PK properties but this has also been its limitation. Now, other important questions and possible extensions emerge. How are these PK properties and the observed behaviors generated? The inherent heuristic limitations of traditional models have hindered getting meaningful, detailed answers to such questions. Synthetic models of the type described here are specifically intended to help answer such questions. Analogous to wet-lab experimental models, they retain their applicability even when broken apart into sub-components. Having and applying this new class of models along with traditional PK modeling methods is expected to increase the productivity of pharmaceutical research at all levels that make use of modeling and simulation.