软件过程建模方法研究(21)

为了描述每个维度中的对象及其相互间的并发与交互,我们提出了具有严格操作语义的图形化建模语言TRISO/ML(TRISO/modeling language)[47].基于TRISO/ML可以从行为角度,按照统一的方式描述软件过程中的角色、产品、技术、工具以及相互间的交互,减少从实际过程执行到虚拟过程执行的信息反馈过程中由人为因素所带来的不利影响;可以在更低的抽象层次和更细的粒度上描述开发活动、工作产品、角色以及其他要素,减少虚拟过程执行和实际过程执行因为描述力度不一致所带来的问题.在该语言中,每个对象具有一定的行为,且可以通过特定的方式与其他对象进行信息交互并实现同步.同时,由于其操作语义可以用多元π演算[102]精确地描述,因此,可以很好地支持软件过程的执行、分析(包括基于模型检测的软件过程正确性检查和过程间的匹配)、演化和分布式执行.图10给出了TRISO/ML的分析框架,首先用该语言的图形化符号描述给定的软件过程,而后根据转换规则可以自动地生成多元π演算的表达式,描述图形化过程的操作语义,而后在多元π演算的基础上可以支持软件过程的执行和一系列的分析.

搜索“diyifanwen.net”或“第一范文网”即可找到本站免费阅读全部范文。收藏本站方便下次阅读，第一范文网，提供最新教学研究软件过程建模方法研究(21)全文阅读和word下载服务。