Analysing Message Sequence Graph Specifications

We give a detailed construction of a finite-state transition system for a com-connected Message Sequence Graph. Though this result is well-known in the literature and forms the basis for the solution to several analysis and verification problems concerning MSG specifications, the constructions given in the literature are either not amenable to implementation, or imprecise, or simply incorrect. In contrast we give a detailed construction along with a proof of its correctness. Our transition system is amenable to implementation, and can also be used for a bounded analysis of general (not necessarily com-connected) MSG specifications.

Antihyperlipidemic potential of Cedrus deodara extracts in monosodium glutamate induced obesity in neonatal rats

Objective: To study the antihyperlipidemic effect of Cedrus deodara (C. deodara) against monosodium glutamate (MSG) induced obesity in neonatal rats. Materials and Methods: The studies were carried out on newborn neonatal rats and were injected intraperitoneally with 2 mg/g of MSG on the 2(nd) and 4(th) postnatal days and 4 mg/g on 6(th), 8(th) and 10(th) postnatal days. Ethanolic extract (EE) and acetone extract (AE) of C. deodara was administered in a dose of 100 and 200 mg/kg, p.o./day at the age of 65 days. On day 60 of treatment, body weight, locomotor activity, body temperature, and various biochemical parameters like serum glucose, total cholesterol, triglyceride, and organs weights were recorded. Results: There was a significant reduction in body weight, organs and increased body temperature, locomotor activity after treatment with extracts. C. deodara decreased serum glucose, total cholesterol and triglyceride, low density lipoprotein (LDL) and very low density lipoprotein (VLDL) levels and increased high density lipoprotein (HDL) significantly has compared to MSG-control rats. Conclusion: C. deodara extracts exhibited antihyperlipidemic effect and it possesses anti-obesity properties in MSG induced obese rats.

Anti-obese activity of Butea monosperma (Lam) bark extract in experimentally induced obese rats

To study the efficacy of ethanolic extract of B. monosperma bark in cafeteria and atherogenic diet fed rats and monosodium glutamate (MSG) obese rats, different doses (200, 400 and 800 mg/kg) of ethanolic extract of B. monosperma bark showed dose dependent decrease in body weight, daily food intake, glucose, lipids, internal organs' weight and fat pad weight in cafeteria and atherogenic diet fed rats and monosodium glutamate obese rats. The results suggested that B. monosperma has significant anti-obese activity.