论文部分内容阅读
为了研究软件动态体系结构与静态体系结构的一致性，针对软件体系结构的动态获取提出一套映射规则，该规则将系统运行事件映射为软件体系结构。分别使用着色Petri网和状态机，结合一个Java实例对该映射规则进行简单的形式化描述，总结2种方法的相似处及不同的应用领域。
软件体系结构获取过程的形式化描述方法比较
【摘 要】
：
为了研究软件动态体系结构与静态体系结构的一致性，针对软件体系结构的动态获取提出一套映射规则，该规则将系统运行事件映射为软件体系结构。分别使用着色Petri网和状态机，结合
【机 构】
：
重庆大学软件学院
【出 处】
：
计算机工程
【发表日期】
：
2009年21期
【基金项目】
：
国家“863”计划基金资助项目（2007AA01Z445）
其他文献
患者:女性,58岁,两年前无明显诱因出现上腹部疼痛,伴低热,曾住院诊断为'胃炎'、'胰腺假性囊肿',治疗后无明显好转,现疼痛加剧一月入院.
旅游经济发展对加快江西经济发展有举足轻重的意义.本文主要根据江西发展旅游经济的优势,分析目前江西旅游经济发展中存在的种种问题,提出推进江西旅游经济发展的对策,使江西
目的 探讨超声在腹膜后原发性肿瘤的诊断价值。方法 本文对经手术病理确诊的 2 9例腹膜后原发性肿瘤的声像图特征与病理类型进行回顾性对照分析。结果 超声检出率及定位诊
摘 要：新课程改革在初中教育领域不断深化，为初中各个学科的教学工作带来了新的指导思想。如何利用创新的教学手段，激发学生的学习兴趣，活跃课堂的学习氛围，鼓励学困生积极地参与教学活动，是每个教育工作者需要重点思考的问题。本文针对初中化学课堂教学的实际情况，对化学学困生转化策略进行简要论述，旨在进一步提升化课堂教学效率，帮助学生更好地明确未来的前进方向，从而走上综合素质与能力双向发展的道路。 关键词：
新疆地理地处亚欧大陆中心,与八个国家接壤,四周环山、远离海洋、疆域辽阔,现主要有塔塔尔、塔吉克、维吾尔、哈萨克等13长期居住的民族,在古代丝绸之路上汇聚了中国、印度、
改革开放以来,在出口贸易和外商直接投资的拉动下,我国经济发展迅速。然后,中国以劳动密集型产品为主的产业结构已经进入瓶颈期,中国要想保持经济持续、快速增长、必须实现比
2007年初,美国次级抵押贷款危机浮出水面,并以惊人的速度蔓延,对全球的金融机构和金融市场造成极大的冲击,最终演变成20世纪30年代“大萧条”以来世界上最严重的金融危机。对
随着世界经济全球化的步伐不断加快,我国社会主义市场经济的不断发展和经济体制改革的不断深入,同时也暴露出我国国有商业银行治理机制的缺陷。四大国有商业银行在我国经济发
随着我国证券市场的发展,证券交易过程中的纠纷日益增多。在证券经纪业务中,涉及到的交易主体一般包括投资者和证券公司。证券公司不同于一般的交易者,设立具有严格的法定条