【摘 要】
：
目前，大多数学者都意识到需求演化的重要性，然而依然缺乏有效的方法指导需求演化。反射式需求规约通过描述支持OWL-S需求规约演化的元信息，并支持以合理的方式使用这些元信息，实
【基金项目】
：
国家973计划资助项目（2007CB7310800）,国家自然科学基金资助项目（60773006）
论文部分内容阅读
目前，大多数学者都意识到需求演化的重要性，然而依然缺乏有效的方法指导需求演化。反射式需求规约通过描述支持OWL-S需求规约演化的元信息，并支持以合理的方式使用这些元信息，实现OWL-S需求规约的演化。本文提出了一种基于π演算的反射式需求规约演化模型，使得反射式需求规约的演化能够以一种正确的方式实现。针对OWL-S需求规约的特点，给出了OWL-S需求规约的π演算描述方法；使用高阶π演算的进程传递机制，描述了支持演化的反射式需求规约；给出了反射式需求规约演化正确性的推理与验证方法。同时，我们采用交通出行的例子
其他文献
近年来,成都市委统战部坚定不移地以科学发展观统领统战工作全局,充分调动和发挥统一战线的资源优势,不断创新统战工作举措,为成都市经济社会发展作出了积极贡献。一、发挥民
本刊讯成立于2003年的四川科创药业集团,是以中药、西药、藏药、肽类药物及保健食品的研究、生产、销售为主,带动房地产业、酒店服务业、投资担保业、教育产业及传媒业共同发
构建社会主义和谐社会,是我们党为之奋斗的重要目标。提高构建社会主义和谐社会的能力, 是加强党的执政能力建设的重要内容。以和谐社会理论为指导, 加强对非公有制经济统战
目前,漏报率和误报率高一直是入侵检测系统（IDS）的主要问题,而IDS主要有误用型和异常型两种检测技术。根据这两种检测技术各自的优点以及它们的互补性,本文给出一种基于人工免
多核处理器规模的不断扩大和核间通信机制的日益复杂,使得Cache一致性维护变得更加困难。本文从多核处理器Cache一致性问题的产生背景出发,分析监听协议、目录协议、Token协
当前,校企合作得到了教育部与职业学校的广泛关注。有关部门领导在不同的教育会议上对校企合作做了多次阐述。2003年12月,原教育部部长周济在第二次全国高等职业教育产学研结合经验交流会上发表《以服务为宗旨、以就业为导向,为社会主义现代化建设培养高技能人才》的讲话指出,党的教育方针一贯要求高等教育要加强实践环节的教学和训练,发展与社会实际工作部门的合作培养,促进教学、科研、生产三结合。这就要求学校和企业
10岁时，成为一名令人自豪的专业游泳运动员是她的梦想。20岁时，她进入武汉大学体育学院学习体育管理，因为偶然读到的《艾柯卡自传》，她的内心激荡不已，开始期盼自己也有一个热血沸
在内江市少年儿童业余体校柔道教练、民进会员魏嘉陵的人生名片上有着太多的荣誉:全国青少年体育工作先进工作者、四川省劳动模范、四川省"五·四"青年奖章获得者、内江
随着网络信息系统的日益扩大化，分布式数据挖掘越来越受到人们的重视。而采用多智能体的分布式数据挖掘技术，各子Agent之间不但履行各自的职责，还互相通信获得信息，协同完成任务，
一、关爱学生技校突出的特点是生源比较复杂,学生本身的差异也很大。有的同学基础比较好,人也听话;还有一些则基础差,还不愿意认真听课;有些同学不管是上理论课,还是实习课,