一个基于设计演算的形式化用例分析建模框架-SEG.PDF

Software Engineering Group Department of Computer Science Nanjing University Technical Report No. NJU-SEG-2008-CJ-002 一个基于设计演算的形式化用例分析建模框架 陈鑫,李宣东 Postprint Version. Originally Published in: Journal of Software, Vol.19, No .10, October 2008, pp.2539−2549. Most of the papers available from this document appear in print, and the corresponding copyright is held by the publisher. While the papers can be used for personal use, redistribution or reprinting for commercial purposes is prohibited. ISSN 1000-9825, CODEN RUXUEW E-mail: jos@ Journal of Software , Vol.19, No.10, October 2008, pp.2539−2549 DOI: 10.3724/SP.J.1001.2008.02539 Tel/Fax: +86-10 © 2008 by Journal of Software . All rights reserved. ∗ 一个基于设计演算的形式化用例分析建模框架 1,2+ 1,2 陈 鑫 , 李宣东 1 F (南京大学 计算机科学与技术系,江苏 南京 210093) 2 (计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093) o A Design Calculus Based Approach to Modeling Use Case 1,2+ r 1,2 CHEN Xin , LI Xuan-Dong 1 R (Department of Computer Science and Technology, Nanjing University, Nanjing 210093, China) 2 (State Key Laboratory for Novel Software Technology (Nanjing University), Nanjing 210093, China) e + Corresponding author: E-mail: chenxin@ Chen X, Li XD. A design calculus based approach to modeling use case. Journal of Software, 2008, s 19(10):2539−2549. /1000-9825/19/2539.htm