Whether or not a software system satisfies the anticipated user requirements is ultimately determined by the behaviors of the software. So it is necessary and valuable to research requirements modeling language and te...Whether or not a software system satisfies the anticipated user requirements is ultimately determined by the behaviors of the software. So it is necessary and valuable to research requirements modeling language and technique from the perspective of behavior. This paper presents a lightweight behavior based requirements modeling language BDL with formal syntax and semantics, and a general-purpose requirements description model BRM synthesizing the concepts of viewpoint and scenario. BRM is good for modeling large and complex system due to its structure is very clear. In addition, the modeling process is demonstrated through the case study On-Line Campus Management System. By lightweight formal style, BDL & BRM can effectively bridge the gap between practicability and rigorousness of formal requirements modeling language and technique.展开更多
目的通过体外细胞培养和建立大鼠胆管结扎(b ile duct ligation,BDL)所致阻塞性胆汁淤积动物模型,在蛋白水平观察多耐药相关蛋白MRP3(mu ltidrug resistance-assoc iated prote in 3,MRP3)和核受体RXRα(retinoid-X receptor al-pha,RXR...目的通过体外细胞培养和建立大鼠胆管结扎(b ile duct ligation,BDL)所致阻塞性胆汁淤积动物模型,在蛋白水平观察多耐药相关蛋白MRP3(mu ltidrug resistance-assoc iated prote in 3,MRP3)和核受体RXRα(retinoid-X receptor al-pha,RXRα)表达的关系。方法用鹅去氧胆酸(chenodeoxycholic ac id,CDCA)或苯巴比妥(phenobarb ital,PB)分别刺激培养的肝癌细胞HepG2并建立DBL阻塞性胆汁淤积大鼠模型后,分别抽提HepG2细胞总蛋白、核蛋白和大鼠肝脏细胞膜蛋白和核蛋白,W estern b lot方法检测MRP3和RXRα蛋白表达水平的变化。结果在细胞水平,CDCA和PB可诱导HepG2细胞膜MRP3蛋白表达增高,并抑制细胞核RXRα蛋白表达;在动物体内,BDL大鼠肝脏MRP3明显增加,同时RXRα表达明显下降。结论肝细胞膜蛋白MRP3表达的上调可能与核受体RXRα表达抑制有关。展开更多
文摘Whether or not a software system satisfies the anticipated user requirements is ultimately determined by the behaviors of the software. So it is necessary and valuable to research requirements modeling language and technique from the perspective of behavior. This paper presents a lightweight behavior based requirements modeling language BDL with formal syntax and semantics, and a general-purpose requirements description model BRM synthesizing the concepts of viewpoint and scenario. BRM is good for modeling large and complex system due to its structure is very clear. In addition, the modeling process is demonstrated through the case study On-Line Campus Management System. By lightweight formal style, BDL & BRM can effectively bridge the gap between practicability and rigorousness of formal requirements modeling language and technique.
文摘目的通过体外细胞培养和建立大鼠胆管结扎(b ile duct ligation,BDL)所致阻塞性胆汁淤积动物模型,在蛋白水平观察多耐药相关蛋白MRP3(mu ltidrug resistance-assoc iated prote in 3,MRP3)和核受体RXRα(retinoid-X receptor al-pha,RXRα)表达的关系。方法用鹅去氧胆酸(chenodeoxycholic ac id,CDCA)或苯巴比妥(phenobarb ital,PB)分别刺激培养的肝癌细胞HepG2并建立DBL阻塞性胆汁淤积大鼠模型后,分别抽提HepG2细胞总蛋白、核蛋白和大鼠肝脏细胞膜蛋白和核蛋白,W estern b lot方法检测MRP3和RXRα蛋白表达水平的变化。结果在细胞水平,CDCA和PB可诱导HepG2细胞膜MRP3蛋白表达增高,并抑制细胞核RXRα蛋白表达;在动物体内,BDL大鼠肝脏MRP3明显增加,同时RXRα表达明显下降。结论肝细胞膜蛋白MRP3表达的上调可能与核受体RXRα表达抑制有关。
