摘要
本文以作者在青岛ＣＡＳＥ环境中的基础工作为背景，对软件过程模型中的主要成分进行了概括，提出了一种以产品为中心的过程建模方法。本文对所提出的软件过程模型及运行规则进行了定义，并对过程模型构造的正确性给出了判断准则和判断方法，最后通过模型实例对过程模方法作了简要介绍。
出处
《软件学报》
EI
CSCD
北大核心
1997年第A00期479-486,共8页
Journal of Software
同被引文献11
-
1柳军飞,唐稚松.软件过程建模语言研究[J].软件学报,1996,7(8):449-457. 被引量：19
-
2Demiame JC, Kaba BA, Wastell D. Software Process: Principles, Methodology, Technology LNCS 1500, Berlin Heidelberg:Springer-Verlag, 1999.
-
3Ambriola V, Conradi R, Fuggetta A. Assessing process-centered software engineering environments. ACM Trans. on Software Engineering and Methodology, 1997,6(3):283-328.
-
4Cugola G. Inconsistencies and deviations in process support system [Ph.D. Thesis]. Milano: Politecnico di Milano, 1998.
-
5Osterweil LJ. Software process are software too. In: Proc. of the 9th Int'l Conf. on Software Engineering. Monterey: IEEE Computer Society Press, 1987.2-13.
-
6Fuggetta A. Software process: A roadmap. In: Finkelstein A, ed. The Future of Software Engineering (FOSE 2000) in conjunction with the Proc. of the 22rid Int'l Conf. on Software Engineering (ICSE 2000). Limerick: IEEE and SIGSOFT, 2000. 25-34.
-
7Gruhn V. Process-Centered software engineering environments: A brief history and future challenges, Annals of Software Engineering, 2002,14(1-4):363-382.
-
8Sutton SM, Osterweil LJ. The design of a next-generation process language. In: Jazayeri M, Schauer H, eds. Proc. of the ESEC'97.LNCS 1301, Zurich Switzerland: Springer-Verlag, 1997. 142-158.
-
9Belkhatir N, Estublier J, Melo W. ADELE-TEMPO: An environment to support process modeling and enaction. In: Finkelstein A,Kramer K, Nuseibeh B, eds. Software Process Modeling and Technology. Taunton: Research Studies Press Ltd.. 1994. 187-222.
-
10Jr. Clarke EM, Grumberg O, Peled DA. Model Checking. Cambddge: MIT Press, 1999.
二级引证文献6
-
1胡旷,董广智,田勇,柳军飞.一种弹性的软件过程模型验证工具[J].计算机工程与设计,2007,28(7):1497-1500. 被引量：1
-
2丁婧,董广智,田勇,柳军飞.基于数据依赖的过程合理性分析[J].计算机应用与软件,2008,25(2):106-108. 被引量：1
-
3葛季栋,顾庆,胡昊,吕建.一种基于对象网的多视角软件过程模型[J].软件学报,2008,19(6):1363-1378. 被引量：1
-
4李明,柳军飞.实例化过程模型的时间自动机描述方法研究[J].计算机应用与软件,2008,25(9):136-137.
-
5向阳,张波,张蓓,黄震华.语义决策过程支撑环境及其语义表示方法[J].控制与决策,2009,24(9):1321-1325.
-
6李伟亨,谢淼,翟健,杨秋松.带时间和资源约束的实例化过程模型验证方法[J].计算机系统应用,2014,23(10):172-177.
-
1应晶,何志均,黄波.增强CASE环境的表达方法[J].计算机科学,1992,19(6):50-55.
-
2常存兵.浅谈计算机硬件维护[J].电脑知识与技术,2011,7(8X):5943-5944. 被引量：2
-
3风雅亭.上网聊天我也能(下篇)[J].电脑爱好者,2014(9):64-65.
-
4余金山.试论软件过程模型及其重要性[J].华侨大学学报（自然科学版）,1994,15(1):112-116. 被引量：6
-
5Adams,EW,李文雄.CASE环境中的模块管理[J].科技通讯（衡阳）,1990(1):115-120.
-
6王晖,张然.软件过程的OPEN描述与面向过程的CASE环境[J].计算机科学,1994,21(1):71-74. 被引量：1
-
7孙建召.Petri网用于工作流建模可行性研究[J].现代商贸工业,2009,21(24):266-267.
-
8伊马木.达吾提,艾尼瓦尔.买买提.计算机感染病毒的判断方法及防护手段[J].新疆教育学院学报,2006,22(2):146-148.
-
9叶书元,周鹏,顾庆,陈道蓄.一种基于CMM的软件过程模型[J].计算机科学,2002,29(10):123-127. 被引量：1
-
10陆品,朱根兴.三维仿真系统的设计与实现[J].机械与电子,2003,21(2):52-54. 被引量：2
