【摘 要】
：
统一建模语言UML是近年来软件工程领域的重要成果之一．在UML规范中，静态语义是用OCL语言和自然语言描述的，而动态语义基本上是用自然语言来描述的，因此UML缺乏一个严格的动态语义
【机 构】
：
吉林建筑工程学院城建学院计算机科学与工程系
论文部分内容阅读
统一建模语言UML是近年来软件工程领域的重要成果之一．在UML规范中，静态语义是用OCL语言和自然语言描述的，而动态语义基本上是用自然语言来描述的，因此UML缺乏一个严格的动态语义定义．本文针对UML半形式化的特点，在采用指称语义学方法对序列图进行形式规范的基础上，采用了可扩展的标记语言XML文档格式对UML序列图进行存储，并给出了UML序列图语义处理的算法，实现了对序列图的语义分析．
其他文献
蜂蜜又名食蜜、蜂糖，为蜜蜂所酿的蜜糖。它营养丰富，味甜适口，药食两用，老少皆宜。据分析，蜂蜜的主要成分是果糖和葡萄糖，占总含量的70％，还含有蔗糖、麦芽糖、糊精、树胶以及含氮化合
[摘 要]古典诗词极具表现力，充满画面感，是我国文化的瑰宝。在课堂教学中，我们应通过类比拓展、对比阅读、日积月累和迁移仿写等方式引领儿童触摸诗魂、感悟诗意、荡漾诗韵、生发诗怀，享受到古诗带来的视觉和情感的愉悦，使儿童产生美好的想象，生发美好的情感，并生长诗心，形成诗意。 [关键词]古诗诵读；古今融合；诗情画意；诗化表达 [中图分类号] G623.2 [文献标识码] A [文章编号] 1007-
当前，我国农村公共物品供给严重短缺，农村公共物品的供给难以满足农民的生产、生活以及农村发展的实际需求．农村公共物品供给与需求的严重脱节，极大地阻碍了农村经济社会的发展．笔
家庭体育是一种客观存在的社会文化现象，它的发展有其政治、经济、文化、社会等方面的原因。社会转型为家庭体育的发展带来重要契机，然而转型时期的社会发展是一把双刃剑，在给家
六神丸方载于《中国医学大辞典》，分为吉氏六神丸和雷氏六神丸。目前人们常用的是雷氏六神丸，它是由牛黄、冰片、珍珠、麝香、蟾酥、雄黄六味药组成，六神丸也因此而得名。
速效救心丸是否能长期服用？存在两种观点，一种认为不宜长期服用；一种认为可以长期服用。从30余年临床用药实践来看，速效救心丸经过了上亿人次的应用，以治疗冠心病心绞痛作用迅速、显著、持久而著称。美国FDA曾建议使用应用临床20年以上的药物，以确保患者的用药安全。由此可见，速效救心丸可以长期服用，或集中服用一段时间。 速效救心丸是由川芎、冰片等中药组成，川芎具有活血化瘀和行气止痛的双重功效，可以“上达
[摘要]通过对自然拼读法在小学英语单词教学中使用的介绍，旨在引领更多的一线教师掌握自然拼读教学法，从而帮助小学生快速地认识单词、记忆单词;也能够帮助小学生降低英语学习难度，让小学生从单词发音到单词的拼写，都能全面掌握，并运用到以后的英语学习中，为儿童打开英语阅读之门。 [关键词]自然拼读法;单词教学;实践研究 [中图分类号] G623.31 [文献标识码] A [文章编号] 1007-9068
乳腺病是女性常见疾病，在乳腺疾病中，对女性生命危害最大的则是乳腺癌。乳腺癌是恶性肿瘤，其发病率已占我国女性恶性肿瘤之首。乳腺癌多发生在绝经前后，以40～60岁者为多见。随着饮
[摘 要]实践性和综合性是语文课程的重要特点。在语文教学中，教师应根据文本和学生心理的特点，通过画外配音、争鸣辩论、模仿实践等途径，创设丰富多彩的语文实践活动，让学生深入文本体验情感、丰富认知、历练表达，从而促进学生语文能力的不断发展。 [关键词]实践活动；语文能力；辩论 [中图分类号] G623.2 [文献标识码] A [文章编号] 1007-9068（2017）25-0035-01 20