提出了一个基于COP的可靠性控制软件开发框架和原型系统。本文在现有的EventCJ基础上,通过引入行为变体冲突检测与处理方法和行为变体运行协调机制来解决EventCJ中存在的行为变体定义约束问题和行为变体并发运行问题,并在此基础上实现了一个原型系统用于可靠性开发框架的实际应用。2)本文提出了行为变体冲突检测方法。针对行为变体定义缺乏约束的问题,本文定义了行为变体的冲突关系,并在此基础上提出了冲突检测方法,并提出了根据冲突检测结果得到最大冲突集的方法。3)本文提出了行为变体运行协调机制。针对行为变体并发运行问题,本文根据冲突关系和相对优先级来协调行为变体的并发执行。针对行为变体并发造成系统不一致性的问题,本文提出了通过保存和恢复中断上下文的方法来解决这一问题。
商品类型 | 专利 | 申请号 | 2012104054143 | IPC分类号 | |
专利类型 | 发明 | 法律状态 | 有权 | 技术领域 | |
交易方式 | 技术转让 | 专利状态 | 已公开 | 专利权人 |
¥ 21,000 元
¥ 10,000 元
¥ 110,000 元
¥ 10,000 元