一种反应式SPM及其动态语义XYZ表示

来源 :软件学报 | 被引量 : 0次 | 上传用户:deng5384588
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
过程支撑环境PSE(process supporting environment)是一种支持软件过程元过程的计算机环境,PSE通过运作一个事先定义好的软件过程模型SPM(software process model)来控制和指导实际软件开发过程.SPM使用的控制方式分为主动式(proactive)和反应式(reactive)两种.由于主动式不能很好地支持软件过程的演化,反应式渐渐受到人们的重视.提出了一种反应式SPM以及建立这种模型所使用的图形化的软件过程建模语言,同时,对于所建立的SPM,提出用时序逻辑
其他文献
Agent之间的多问题协商(multi-issue negotiation)是一个复杂的动态交互过程.解决协商之前的对象选择问题在电子商务中有着重要的应用价值.为了提高多问题协商的准确性和购物Agen
目的:建立根特异性过表达鲨烯合酶(SQS)基因的甘草毛状根培养体系。方法:构建根特异性过表达甘草SQS1基因的发根农杆菌ACCC10060工程菌;侵染甘草无菌苗胚轴,共培养48 h,以诱导毛
含有ALPHA“无线倍驰”技术的AFR-GR60 108M无线路由器能极大的提升单位时间数据传输量。
κ-Median问题的近似算法研究一直是计算机科学工作者关注的焦点,现有研究结果大多是关于欧式空间和Metric空间的,一般距离空间κ-Median的结果多年来一直未见.考虑一般距离空间
6月29日至30日,丰宁抽水蓄能有限公司邀请中国工程院院士马洪琪等专家及河海大学、山东大学课题研究组,针对丰宁电站地下主厂房及主变洞开挖加强支护方案进行咨询.
为了实现网络安全,一个重要的方法是网络用户传送加密和可鉴定的消息.此时,用来加密和鉴定的密钥应该由网络中的用户协商得到.提出了3个基于Weil对的成对密钥协商协议.在协议中,所
Web services组合是Web services领域的研究热点,虽然已经提出了很多组合的方法,但从体系结构方面去研究Web services组合,则是一个新的研究角度.BPEL4WS是当前工业界主流的W
采用可移动式承重架进行出水阀室吊车梁以上边顶拱混凝土浇筑,可以在垂直方向上部空间和下部空间同时进行作业,实现多个工作面同时施工,缩短了工程施工工期,为工程赶工奠定坚
德厚水库提水管线跨河拱管所在位置地势较为复杂,两岸为悬崖峭壁且跨河拱管跨度较长,为输水钢拱管,河面至拱管起拱线约60+m,无有利施工便道及机械操作平台,通过采用缆索吊装
分析了变异操作对微粒群算法(particle swarmoptimization,简称PSO)的影响,针对收敛速度慢、容易陷入局部极小等缺点,结合生物界中物种发现生存密度过大时会自动分家迁移的习