【摘 要】
：
状态型方面是一种封装反应式关注点的方面,它需要专门的切点机制来跟踪系统的执行历史.然而当前在体系结构层还缺乏支持状态型方面建模的有效机制.针对这一问题,提出一种体系
【机 构】
：
山东大学计算机科学与技术学院,山东轻工业学院信息科学与技术学院
【基金项目】
：
国家自然科学基金（60673130）资助
论文部分内容阅读
状态型方面是一种封装反应式关注点的方面,它需要专门的切点机制来跟踪系统的执行历史.然而当前在体系结构层还缺乏支持状态型方面建模的有效机制.针对这一问题,提出一种体系结构层状态型方面的建模和编织方法.它以标记转换系统（Labelled Transition System,LTS）为底层形式化,建立了用于识别系统运行轨迹中特定模式的切点机制,并定义了支持多种通知类型的编织运算.该方法当前已在一个基于FSP规范的原型编织工具上实现,并用一个实例说明了该方法的有效性.
其他文献
第七讲肠产志贺样毒素且具侵袭力的大肠杆菌中国预防医学科学院流行病学微生物学研究所（１０２２０６）徐建国Ｏ１５７∶Ｈ７大肠杆菌产生志贺样毒素，属于产志贺样毒素大肠杆菌的范畴。Ｏ１５７∶Ｈ７大肠杆菌之所以能
2003年8月5日下午，在中国最具活力的城市上海，PDA领域的新军，同时也是全球著名IT企业的MiTAC(神达电脑)在时尚的ARK音乐餐厅隆重推出了其最新掌上电脑产品——Mio339和Mio558(两
十三把刀。十三把形式奇特的刀，有的如钩镰，有的如齿锯，有的狭长，有的弯曲。这十三把刀只有一样共同的特点——刀锋都很薄，薄而锐利。老人凝视这十三把刀，衰老的眼睛里忽然露出比刀
１９９４年全国劳动卫生职业病报告发病情况分析中国预防医学科学院劳动卫生与职业病研究所（１０００５０）高耘据２９个省区市（缺西藏、台湾）报告统计，１９９４年发生各类职业病共１５３２１例，其中尘肺新病例１０８３０例，急性职业中毒１０８７例
“当局者迷，旁观者清”这是中国延续了数百年的老话。而当你身处从未涉足过的异地，不知道何去何从时，往往会将求助的目光投向当地人——此时此地如此理解“当局者迷，旁观都清”这
美国帕莱克公司是世界著名的刀具及刀具预调仪制造公司,始建于1948年。总部位于美国纽约州,致力于生产销售加工中心刀柄、镗刀、刀具预调仪（对刀仪）、车削中心刀具和夹具等。六
石家庄市献血员乙丙型肝炎感染情况的监测河北省石家庄市卫生防疫站（０５００１１）李树本，刘新立，张世勇，张常青，王丁军为了解我市献血员乙、丙型肝炎病毒携带及感染情况，我们于１９９４年上半年对无极、
１９９５年第四季度全国职业病（不含尘肺）报告发病情况中国预防医学科学院劳动卫生与职业病研究所（１０００５０）陈曙踢本季度全国（缺西藏、台湾）共报告各类职业病（不含尘肺）１０４７例，其中急性职业中毒１４１例，慢性职业