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

(exa_aw p1,...,ph .triggeraw.exaw_a(r1,...,rj).triggeredaw. r1,...,rj ),

E2=k.k r1,...,rj .triggereda.enda.io c11,...,c1s,...,cr1,...,crt,r1,...,rv .

规则6. 终端活动的表示.对于终端活动a,其子进程Ea为

Ea=(i,q,i1,...,il,io).i1(x11,...,x1m)...il(xl1,...,xln).exap_a(p1,...,pu).triggera.

assignac starta,enda .starta.exa_ap p1,...,ph .triggereda.endaio c11,...,c1s,...,cr1,...,crt,r1,...,rv .

规则7. 整个软件过程.整个软件过程被定义为所有活动和人员的并发组合:

SP=Aa1|...|Aam|Aac1|...|Aacn.

为了分析或仿真一个软件过程,我们还需要一个辅助过程使得整个过程集合是一个封闭的系统,我们将其命名为Env,它与过程SP并发组合.Env可以定义为

Env=triggerroot.triggeredroot,

其中,root代表软件过程的根活动.

基于上面的规则,我们可以非常精确地描述一个TRISO/ML过程的行为,因此可以非常容易地支持过程的执行.

(1) 分析.通过自动转换得到的π演算表达式,可以从以下方面对所建模的过程进行分析:验证软件过程的正确性,主要是用时序逻辑表达的关于控制流和数据流的约束条件,我们已经使用有限状态验证工具,比如CWB-NC[109]和SPIN[110]验证μ演算表达的过程性质[47];过程间的匹配,由于进程代数特别是π演算定义了很多种具有不同严格程度的进程等价性,而且存在工具支持等价性的自动判断,比如CWB-NC和MWB[111],因此这些方法和工具可以用于比较两个软件过程的一致性[47].

(2) 演化和分布式执行.在π演算中,用于进程间通信的通道既可以传递数据也可以传递通道本身,而通道实际上反映了系统对象之间的联系,因此可以通过通道在进程间的传递来描述具有动态结构的系统[112],而这种描述能力可以很好地支持软件过程的演化和分布式执行[51].

5 结 论

本文采用系统评价方法,对软件过程建模领域最近10年的研究给出了一个综合性的概括和分析.根据系统评价方法,首先明确本文所试图回答的3个问题,即软件过程建模方法的主要范式、主要研究目的和最新的发展趋势.其次,在明确问题的基础上根据特定的搜索策略和评价标准,选出了72篇文章作为该系统评价的证据.在分析和总结这些文章的基础上,对所提出的问题进行了系统的分析和论述:我们根据新的分类范式,对软件过程建模方法的研究进行了系统的分类,阐述了每种范式中的典型研究案例,对每种范式的优缺点及其所适用的场合进行了讨论;而按研究目的对软件过程建模方法进行的分类,有助于清晰地把握该领域研究所要解决的主要问题,以及与问题相对应的主要解决方案;对于分布式、全球软件开发的论述,反映了该领域对软件开发的国际化和全球化这一最新趋势,所做的主要研究工作,而对软件过程建模技术实施的讨论,总结了在实际开发环境中应用已有过程建模技术的最新经验.本文第4节所给出的多维度集成化软件过程建模方法可以通过一致的视图、灵活的抽象层次、准确地描述软件过程中的主要要素及其动态行为,使得过程模型与实际开发过程之间的粒度和抽象层次更趋于一致,有利于PSEE和实际开发环境更加紧密地集成.

References:

[1] Lonchamp J. A structured conceptual and terminological framework for software process engineering. In: Proc. of the ICSP. 1993.

4153. /stamp/stamp.jsp?arnumber=236823&isnumber=6077

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