...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>International Journal of Information Technology and Computer Science >Formalizing the Software Engineering Process Using a Graphical Software Process Modelling Formalism
【24h】

Formalizing the Software Engineering Process Using a Graphical Software Process Modelling Formalism

机译：使用图形化软件过程建模形式化对软件工程过程进行形式化

获取原文
   

获取外文期刊封面封底 >>

       
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Software process modelling has recently become an area of interest within both academia and industry. It aims at defining and formalizing the software process in the form of formal rigorous models. A software process modelling formalism presents the language or notation in which the software process is defined and formalized. Several software process modelling formalisms have been introduced lately, however, they have failed to gain the attention of the industry. One major objective of formalizing the software process that has ever been an issue of research, is to enhance the understanding and communication among software process users. To achieve this aim, a modelling formalism has to offer a common language to be well-understood by all software process users. BPMN presents a graphical-based widely accepted standard formalism, mainly aimed at business process modelling. This paper illustrates a software process modelling formalism based upon BPMN specifications for representing the software process, named as, SP2MN. The paper also demonstrates the applicability and evaluation of the proposed formalism by; utilizing the standard ISPW-6 benchmark problem, in addition to comparing the expressiveness of SP2MN with similar software process modelling formalisms. The evaluations prove that SP2MN contributes in enhancing software process formalization. SP2MN, accordingly, can be used as a standard software process modelling formalism.
机译：软件过程建模最近已成为学术界和工业界关注的领域。它旨在以形式严格的模型形式定义和形式化软件过程。软件过程建模形式主义提出了定义和形式化软件过程的语言或符号。最近引入了几种软件过程建模形式主义，但是它们并没有引起业界的关注。正规化软件过程的一个主要目标一直是研究的问题，目的是增进软件过程用户之间的理解和沟通。为了实现此目标，建模形式主义必须提供一种通用语言，以供所有软件过程用户很好地理解。 BPMN提出了一种基于图形的，被广泛接受的标准形式，主要用于业务流程建模。本文说明了一种基于BPMN规范的软件过程建模形式，用于表示该软件过程，称为SP2MN。本文还论证了所提出的形式主义的适用性和评价。除了将SP2MN的表现力与类似的软件过程建模形式主义进行比较之外，还利用了标准ISPW-6基准测试问题。评估证明SP2MN有助于增强软件过程的形式化。因此，SP2MN可用作标准的软件过程建模形式。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号