MDA-based re-engineering with Object-Z

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.

Mechanisms of the inhibition of epithelial Na+ channels by CFTR and purinergic stimulation

The epithelial Na+ channel ENaC is inhibited when the cystic fibrosis transmembrane conductance regulator (CFTR) coexpressed in the same cell is activated by the cyclic adenosine monophosphate (cAMP)-dependent pathway. Regulation of ENaC by CFTR has been studied in detail in epithelial tissues from intestine and trachea and is also detected in renal cells. In the kidney, regulation of other membrane conductances might be the predominant function of CFTR. A similar inhibition of ENaC takes place when luminal purinergic receptors a re activated by 5 ' -adenosine triphosphate (ATP) or uridine triphosphate (UTP). Because both stimulation of purinergic receptors and activation of CFTR induce a Cl- conductance, it is likely that Cl- ions control ENaC activity.

Veterinary drug delivery: Potential for skin penetration enhancement

A range of topical products are used in veterinary medicine. The efficacy of many of these products has been enhanced by the addition of penetration enhancers. Evolution has led to not only a highly specialized skin in animals and humans, but also one whose anatomical structure and skin permeability differ between the various species. The skin provides an excellent barrier against the ingress of environmental contaminants, toxins, and microorganisms while performing a homeostatic role to permit terrestrial life. Over the past few years, major advances have been made in the field of transdermal drug delivery. An increasing number of drugs are being added to the list of therapeutic agents that can be delivered via the skin to the systemic circulation where clinically effective concentrations are reached. The therapeutic benefits of topically applied veterinary products is achieved in spite of the inherent protective functions of the stratum corneum (SQ, one of which is to exclude foreign substances from entering the body. Much of the recent success in this field is attributable to the rapidly expanding knowledge of the SC barrier structure and function. The bilayer domains of the intercellular lipid matrices within the SC form an excellent penetration barrier, which must be breached if poorly penetrating drugs are to be administered at an appropriate rate. One generalized approach to overcoming the barrier properties of the skin for drugs and biomolecules is the incorporation of suitable vehicles or other chemical compounds into a transdermal delivery system. Indeed, the incorporation of such compounds has become more prevalent and is a growing trend in transdermal drug delivery. Substances that help promote drug diffusion through the SC and epidermis are referred to as penetration enhancers, accelerants, adjuvants, or sorption promoters. It is interesting to note that many pour-on and spot-on formulations used in veterinary medicine contain inert ingredients (e.g., alcohols, amides, ethers, glycols, and hydrocarbon oils) that will act as penetration enhancers. These substances have the potential to reduce the capacity for drug binding and interact with some components of the skin, thereby improving drug transport. However, their inclusion in veterinary products with a high-absorbed dose may result in adverse dermatological reactions (e.g., toxicological irritations) and concerns about tissue residues. These a-re important considerations when formulating a veterinary transdermal product when such compounds ate added, either intentionally or otherwise, for their penetration enhancement ability. (C) 2001 Elsevier Science B.V. All rights reserved.