论文部分内容阅读
为了开发高质量的软件过程,有必要对任务和活动进行规范。基于EPMM对活动和任务的形式化定义,通过对任务间的逻辑关联、消息关联的分析,提出了规范任务的概念,给出了活动第一范式、活动第二范式和活动第三范式的定义,并给出将低级别的活动范式转化为高级别的活动范式的算法。
基于EPMM的任务和活动的规范化研究
【摘 要】
：
为了开发高质量的软件过程,有必要对任务和活动进行规范。基于EPMM对活动和任务的形式化定义,通过对任务间的逻辑关联、消息关联的分析,提出了规范任务的概念,给出了活动第一范式、活动第二范式和活动第三范式的定义,并给出将低级别的活动范式转化为高级别的活动范式的算法。
【机 构】
：
云南大学软件学院
【出 处】
：
计算机应用与软件
【发表日期】
：
2010年05期
【基金项目】
：
国家自然科学基金项目（60463002）, 云南省自然科学基金项目（2007F008M）
其他文献
对学前儿童乐曲的计算机生成方法进行了研究,将乐谱转化为音频文件并构建软件乐器。首先建立振动模型,在此基础上,建立音色模型,包括振幅包络子模型和频谱子模型。对乐谱中的信息,包括音高、调号等进行编码,建立表示绝对音高与相对音高、调号之间关系的音高模型。利用音高模型和十二平均律完成相对音高到振动频率的映射,再利用音色模型生成WAV音频文件。与传统的演奏结合录制生成音乐的模式相比,该方法可节省演奏的人力成
动态跟踪及轨迹回放是GIS车辆监控系统的主要功能。基于将线离散成点集合的思想,设计了简称"点到点"的路径匹配算法和"轨迹插值"的轨迹回放算法。"点到点"将道路线离散成点集合,据此进行路径匹配,同时采用预测思想来解决交叉路口误判等问题;"轨迹插值"首先研究插值的应用前提并设计简称"变定位时间间隔"的方法来满足插值前提,其次介绍插值过程;算法应用于实际工程,"点到点"对交叉路口有很好的判断,"轨迹插值
夫妻财产制度，又称婚姻财产制度，是关于夫妻婚前财产和婚后所得财产的归属、管理、使用、收益、处分以及债务的清偿和婚姻解除时财产的清算等法律制度。我国1980年《婚姻法》（以
介绍如何通过数据仓库技术和.NET技术,建立和实现一套项目量化管理系统。系统有效建立项目任务分解(WBS)和任务分派,对员工每日填写的日志进行分析,从而对项目进度、工作量和成本进行有效分析。