期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于Pi演算的软件过程形式化描述

Formal Describing Software Process Using Pi-Calculus
下载PDF
导出
摘要 软件过程技术已成为软件工程领域的一个研究热点。本文借鉴P i演算的移动进程代数表达能力,提出一种基于活动交互的软件过程形式化描述方法,以分析为例,对活动交互行为作出P i描述,并验证过程描述的正确性。 Software process technology has become a popular research in the software engineering field. Using Pi-caleulus for reference and combining mobile processes algebra, the paper presents a formal describing action interactions-based software process. The practicality and validity of this new approach have been verified by an application example, in which the formalize analysis process was described with Pi-calculus.
作者 冷家锋 张晓春 陈中育
机构地区 浙江师范大学数理与信息工程学院
出处 《计算机与现代化》 2007年第10期83-85,共3页 Computer and Modernization
基金 浙江省自然科学基金资助项目(Y105092) 中科院金华科技园专项资金重点资助项目(20061010)
关键词 PI演算 软件过程 活动交互 移动进程 形式化 Pi-calcalus software process action interactions mobile processes formalizing
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献8

  • 1Leon Osterweil.Software processes are software too[C]//Proceeding of the 9th International Conference on Software Engineering IEEE Computer Society,Washington,DC,1987:2-13.
  • 2Engels G,Groenewegen L.SOCCA:Specification of coordinated and cooperative activities[C]//Software Process Modeling and Technology Taunton:Research Studies Press Ltd.,1994:71-100.
  • 3Bandinelli S,Fuggetta A,Lavazza L,et al.Modeling and improving an industrial software process[J].IEEE Trans.on Software Engineering,1995,21(5):440-454.
  • 4赵欣培,李明树,王青,陈振冲,梁金能.一种基于Agent的自适应软件过程模型[J].软件学报,2004,15(3):348-359. 被引量：29
  • 5Robin Milner.Communicating and Concurrency[M].Prentice Hall,New York,1989.
  • 6W Humphrey.Managing the Software Process[M].Addsion-Wesley,Reading,Mass,1989.
  • 7Matkin D.The relation ship between software development environment and the software process[J].SIGPLAN Notices,1989,24(2):107-109.
  • 8[美]Roger S Pressman.软件工程实践者的研究方法(第5版)[M].梅宏译.北京:机械工业出版社,2003.

二级参考文献12

  • 1Finkelstein A, Kramer K, Nuseibeh B. Software Process Modeling and Technology. Taunton: Research Studies Press Ltd., 1994.
  • 2Engels G, Groenewegen L. SOCCA: Specification of coordinated and cooperative activities. In:Software Process Modeling and Technology. Taunton: Research Studies Press Ltd., 1994. 71-100.
  • 3Bandinelli S, Fuggetta A, Lavazza L, Loi M, Picco G. Modeling and improving an industrial software process. IEEE Trans. on Software Engineering, 1995,21(5):440-454.
  • 4Weiss G. MultiAgent System: A Modem Approach to Distributed Artificial Intelligence. Cambridge: The MIT Press, 1999.
  • 5Shepherdson JW, Thompson SG, Odgers BR. Cross organisational workflow coordination by software Agents. In: Bussler C,Grefen P, Ludwig H, Shan M, eds. Proc. of the Workshop on Cross-Organisational Workflow Management and Coordination (WACC'99). 1999. http:
  • 6Wang AI. A process centered environment for cooperative software engineering. In: Chang SK, ed. Proc. of the 14th Int'l Conf. on Software engineering and knowledge engineering. Ischia: ACM,2002.457-468.
  • 7Zeng LZ, Ngu A, Benatallah B, Dell M. An Agent-based approach for supporting cross-enterprise workflows. In: Orlowska M,Roddick J, eds. Proc. of the Australiasian Database Conf. Gold Coast: IEEE Press, 2001. 123～130.
  • 8Gou HM, Huang BQ, Liu WH, Li Y, Ren SJ. Agent-Based virtual enterprise modeling and operation control. In: Bahill T, Wang FY, eds. Proc. of the IEEE Int'l Conf. on Systems, Man, and Cybernetics. Tucson: IEEE Press, 2001. 2058～2064.
  • 9Kellner MI, Feiler PH, Finkelstein A, Katayama T, Osterweil LJ, Penedo MH, Rombach HD. ISPW-6 software process example. In:Katayama T, ed. Proc. of the 6th Int'l Software Process Workshop: Support for the Software Process. IEEE Computer Society Press,1991
  • 10Moore R. Autoepistemic Logic. In: Smets P, Mamdani A, Dubois D, Prade H. eds. Non-Standard Logics for Automated Reasoning.London: Academic Press, 1988. 105- 132.

共引文献28

计算机与现代化
2007年 第10期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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