期刊文献+

一个支持软件并行工程的过程建模语言 被引量:6

A PROCESS MODELING LANGUAGE SUPPORTING SOFTWARE CONCURRENT ENGINEERING
下载PDF
导出
摘要 实施软件并行工程是缩短软件开发周期、加快软件开发速度的有效途径。文中讨论了软件并行工程对过程建模语言的要求,给出了一个支持软件并行工程的形式化过程建模语言SDDML和基于SDDML的过程建模方法。SDDML基于Petri网,具有面向对象的特征,可表示不同抽象级的过程模型,支持逐步求精的过程建模方法,为软件并行工程中软件过程的控制、分析、评估和优化奠定了基础。 Implementing software concurrent engineering is an effective way to shorten the software development cycle and quicken the software development. In this paper, the requirements on process modeling languages supporting software concurrent engineering are discussed. A formal process modeling language SDDML supporting software concurrent engineering and a process modeling approach based on SDDML are also presented. This language is based on Petri nets and possesses the object-oriented properties. SDDML can represent process models at different abstract levels and supports the process modeling approach of successive refinement.Therefore, the bases to control,analyze,evaluate and optimize the software processes in software concurrent engineering are established.
作者 李彤 王黎霞
出处 《计算机应用与软件》 CSCD 2000年第4期26-33,共8页 Computer Applications and Software
基金 云南省自然科学基金(编号:98F023M) 云南省中青年学术和技术带头人培养经费(编号:1998-37)联合资助
关键词 软件并行工程 过程建模语言 PETRI网 SDDML语言 Software Concurrent Engineering Process Modeling Language Petri Nets SDDML
  • 相关文献

参考文献5

二级参考文献5

  • 1唐稚松,International Workshop on Logic and Software Enginering,1995年
  • 2唐稚松,Chin J Adv Sof Res,1994年,1卷,1期,1页
  • 3宋玉银,计算机辅助设计与图形学学报,1998年,10卷,2期,150页
  • 4李伯虎,中国CIMS会议论文集,1992年,1页
  • 5朱三元,宿为民.软件过程为软件工程的发展所作的贡献[J].计算机应用与软件,1997,14(5):1-6. 被引量:6

共引文献62

同被引文献20

  • 1李彤,王黎霞.支持第四代语言的并行进化式软件开发模型CESD[J].计算机科学,1996,23(5):79-81. 被引量:12
  • 2卡耐基梅隆大学软件工程研究所 刘孟仁译.能力成熟度模型(CMM):软件过程改进指南[J].电子工业出版社,2001-07..
  • 3Spanier J,Oldham K B.The Error Function erf(x)and Its Complement erfc(x)[M].Ch 40 in An Atlas of Functions,Washington,DC:Hemisphere, 1987:385~393
  • 4Cofrancesco P,Cristoforetti A,Scattolini R.Petri Nets Based Approach to Software Development for Real-time Control.IEEE Proceddings-D,1991,38(5):474-478
  • 5Reisig W.Petri Nets in Software Engineering.In:Proceeding of Advances in Petri Nets,LNCS 254,Springer-Verlag,1986:63-96
  • 6Ramchandani C.Analysis of asynchronous concurrent systems by timed Petri nets,project MAC,technical report 120[R].Massachusetts Institute of Technology,Cambridge,1974-02.
  • 7Jensen K.Colored petri nets-basic concepts,analysis methods and practical use[M]//EATCS Monographs in Theoretical Computer Science.[S.l.] : [s.n.], 1992 : 1-234.
  • 8Berzins V,Yehudai A.Using transformations in specification based prototyping[J].IEEE Transactions on Software Engineering,1993,19(5):436-451.
  • 9Jacobson I,Ericsson M,Jacobson A.The object advantage:business process reengineering with object technology[M].MA:Addison-Wesley,1995.
  • 10Jacobson I,Booch G,Rumbaugh J.统一软件开发过程[M].周伯生,译.北京:机械工业出版社.2002.

引证文献6

二级引证文献10

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部