【摘 要】
：
本文提出了一个具有丰富语义、灵活的、可扩展的、形式化的软件过程建模语言SPML.它提供了两个不同抽象层次的描述语言以满足不同用户的需求.高抽象层次的语言SPML/H能够较全
论文部分内容阅读
本文提出了一个具有丰富语义、灵活的、可扩展的、形式化的软件过程建模语言SPML.它提供了两个不同抽象层次的描述语言以满足不同用户的需求.高抽象层次的语言SPML/H能够较全面地描述软件过程,具有良好的易用性;低抽象层次的语言SPML/L可以描述规则等,适合描述软件过程的细节.SPML/H还能够被逐步地变换成SPML/L,保证了软件过程模型可以在一个共同的形式化基础上被分析和运作.最后通过一个实例说明过程建模语言的有效性.
其他文献
强流重离子加速器(HIAF)及加速器驱动嬗变研究装置(CiADS)是“十二五”期间国家优先安排建设的16项中的重大科技基础设施.本文介绍了HIAF及CiADS项目意义、科学目标、装置构
供应链整合是企业创造价值和提升竞争优势的重要战略入口。基于社会交换理论,构建"信任—关系承诺—供应链整合—质量绩效"的理论框架,选取"公司+农户"组织模式中的公司为样
文章针对零售商如何选择入驻地点的问题，利用自主构建模型的方式确定了研究的总体思路与框架。自主构建的模型是采用高等数学、计量经济学、最优化理论等理论与方法确定的。通
<正>来到澳大利亚,最大的感觉就是这里的建筑好像就是从地里生长出来的。澳洲气候温和,开发历史较短,地广人稀,自然环境秀美是世人皆知的,但来到澳大利亚参观后,感受最深的却
在配备双路进样系统的稳定同化素质潜仪（Isotope Ratio Mass Spectrometry：IRMS）上采用气体平衡法测定微量水样的高精度氢氧稳定同位素组成，同时采用国际及国家水稳定同位素标样
伍尔夫的意识流小说《到灯塔去》,被誉为“诗化小说”或“一首心理诗”。小说中大量的融情于景、借景抒情的描写让人心醉。小说的诗化性体现在情节的淡化上和三个独立而又有
以濒危植物桫椤为研究材料,使用Li-6400便携式光合测定系统测定光合-光响应曲线,应用直角双曲线模型、非直角双曲线模型和修正的直角双曲线模型3种模型进行模拟研究,并探讨不
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
近年来出租汽车管理在我国一直是难点。新加坡出租汽车的功能定位、监管重点、牌照发放、票价机制、人员与车辆管理、市场监管和从业人员培训教育方面具有鲜明的特点,新加坡
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield