A Formal Metamodeling Approach to a Transformation between Visual and Formal Modeling Techniques

Formal modeling notations and visual modeling notations can complement each other when developing software models. The most frequently adopted approach is to define transformations between the visual and formal models. However, a significant problem with the currently suggested approaches is that the transformation itself is often described imprecisely, with the result that the overall transformation task may be imprecise, incomplete and inconsistent. This paper presents a formal metamodeling approach to transform between UML and Object-Z. In the paper, the two languages are defined in terms of their formal metamodels, and a systematic transformation between the models is provided at the meta-level in terms of formal mapping functions. As a consequence, we can provide a precise, consistent and complete transformation between a visual model in UML and a formal model in Object-Z

An MDA approach towards integrating formal and informal modeling languages

This paper shows how formal and informal modeling languages can be cooperatively used in the MDA framework, and how transformations between models in these languages can be achieved using an MDA development environment. The integrated approach also provides an effective V&V technique for the MDA

Chylothorax in Gorham's disease.

A 25-yr-old woman presented with a right pleural effusion. Destruction of 9th through 12th ribs, adjacent vertebral bodies, and transverse processes was noted on plain radiograph and a large low-attenuated, irregular shaped mass lesion with peripheral rim enhancement, destroying vertebral body and transverse process, was revealed on the computed tomographic scan. Magnetic resonance imaging showed high signal on T1- weighted image and iso- and low signal on T2-weighted image for the mass lesion replacing the vertebral bony cortex and marrow space. An open rib biopsy revealed the histopathological changes of Gorham's disease (essential osteolysis), even though only bloody fluid filling the empty space and rib and vertebral transverse process destruction were grossly observed on operation. Even though there was no definite response to radiotherapy and pleurodesis, the patient showed stable condition up to 20 months after diagnosis

Cordycepin inhibits human ovarian cancer by inducing autophagy and apoptosis through Dickkopf-related protein 1/β-catenin signaling

Cordycepin, the major active component from Cordyceps militaris, has been reported to significantly inhibit some types of cancer; however, its effects on ovarian cancer are still not well understood. In this study, we treated human ovarian cancer cells with different doses of cordycepin and found that it dose-dependently reduced ovarian cancer cell viability, based on Cell counting kit-8 reagent. Immunoblotting showed that cordycepin increased Dickkopf-related protein 1 (Dkk1) levels and inhibited β-catenin signaling. Atg7 knockdown in ovarian cancer cells significantly inhibited cordycepin-induced apoptosis, whereas β-catenin overexpression abolished the effects of cordycepin on cell death and proliferation. Furthermore, we found that Dkk1 overexpression by transfection downregulated the expression of c-Myc and cyclin D1. siRNA-mediated Dkk1 silencing downregulated the expression of Atg8, beclin, and LC3 and promoted β-catenin translocation from the cytoplasm into the nucleus. These results suggest that cordycepin inhibits ovarian cancer cell growth, possibly through coordinated autophagy and Dkk1/β-catenin signaling. Taken together, our findings provide new insights into the treatment of ovarian cancer using cordycepin

Is restrictive transfusion sufficient in colorectal cancer surgery? A retrospective study before and during the COVID-19 pandemic in Korea

Purpose Blood transfusion is one of the most common procedures used to treat anemia in colorectal surgery. Despite controversy regarding the adverse effects of blood products, surgeons have maintained standards for administering blood transfusions. However, this trend was restrictive during the COVID-19 pandemic because of a shortage of blood products. In this study, we conducted an analysis to investigate whether the restriction of blood transfusions affected postoperative surgical outcomes. Methods Medical records of 318 patients who underwent surgery for colon and rectal cancer at Ewha Womans University Mokdong Hospital between June 2018 and March 2022 were reviewed retrospectively. The surgical outcomes between the liberal and restrictive transfusion strategies in pre– and post–COVID-19 groups were analyzed. Results In univariate analysis, postoperative transfusion was associated with infectious complications (odds ratio [OR], 1.705; 95% confidence interval [CI], 1.015–2.865; P=0.044). However, postoperative transfusion was not an independent risk factor for the development of infectious complications in multivariate analysis (OR, 1.305; 95% CI, 0.749–2.274; P=0.348). In subgroup analysis, there was no significant association between infectious complications and the hemoglobin threshold level for the administration of a transfusion (OR, 1.249; 95% CI, 0.928–1.682; P=0.142). Conclusion During colorectal surgery, the decision to perform a blood transfusion is an important step in ensuring favorable surgical outcomes. According to the results of this study, restrictive transfusion is sufficient for favorable surgical outcomes compared with liberal transfusion. Therefore, modification of guidelines is suggested to minimize unnecessary transfusion-related side effects and prevent the overuse of blood products

Baseline Sensitivity of Echinochloa crus-gall and E. oryzicola to Florpyrauxifen-Benzyl, a New Synthetic Auxin Herbicide, in Korea

Echinochloa species is one of the most problematic weed species due to its high competitiveness and increasing herbicide resistance. Florpyrauxifen-benzyl, a new auxin herbicide, was recently introduced for Echinochloa management; however, the potential risk for the development of herbicide resistance in Echinochloa species has not been well-investigated. Thus, this study was conducted to evaluate the baseline sensitivity of Echinochloa species to florpyrauxifen-benzyl to estimate the risk of future resistance development. A total of 70 and 71 accessions of Echinochloa crus-galli and Echinochloa oryzicola were collected from paddy fields in Korea, respectively. These two Echinochloa species were grown in plastic pots up to the 5-leaf stage, and treated with florpyrauxifen-benzyl at a range of doses from 2.2 g to 70.0 g a.i. ha–1. Nonlinear regression analyses revealed that GR50 values for E. oryzicola ranged from 4.54 g to 29.66 g a.i. ha–1, giving a baseline sensitivity index (BSI) of 6.53, while those for E. crus-galli ranged from 6.15 g to 16.06 g a.i. ha–1, giving a BSI of 2.61. Our findings suggest that E. oryzicola has a greater potential risk than E. crus-galli for the development of metabolism-based resistance to florpyrauxifen-benzyl