Event Constraint Based Software Process Validation
Affiliation:

  • Article
  • | |
  • Metrics
  • |
  • Reference [12]
  • |
  • Related [20]
  • |
  • Cited by [1]
  • | |
  • Comments
    Abstract:

    Software process is a human-centered system, with special characteristics in dynamic and continuous evolvement. The physical execution of a defined process will normally deviate from its process model. This paper uses E-CSPE (extended constraints on succeeding and proceeding events) constraints to carry out process validation and deviation measurement. The event constraints are defined based on the process model. The execution of a process instance is recorded down as an event sequence. The event sequence is analyzed to determine how much each event constraint defined is covered or violated. The result can be used to compute the EPD (event constraint based process difference metric) and EAD (event constraint based activity deviation metric) metrics. The EPD metric can reflect the difference between the process execution and its process model, while the EAD metric can provide some evidence for process evolvement.

    Reference
    [1]Gu Q, Chen DX, Yu M, Xie L, Sun ZX. Validation test of distributed program based on events sequencing constraints. Journal of Software, 2000,11(8): 1035-1040 (in Chinese with English abstract).
    [2]Gu Q, Chen ZY, Chen DX, Xie L. Consistency checks of E-CSPE constraints. Chinese Journal of Computers, 2003,26(11):1568-1574 (in Chinese with English abstract).
    [3]Cook JE, WolfAL. Software process validation: Quantitatively measuring the correspondence of a process to a model. ACM Trans.on Software Engineering and Methodology, 1999,8(2):147-176.
    [4]van der Aalst WMP. Workflow verification: Finding control-flow errors using Petri-net-based techniques. In: van der Aalst W,Desel J, Oberweis A, eds. Business Process Management: Models, Techniques, and Empirical Studies, LNCS 1806, London:Springer-Verlag, 2000. 161-183.
    [5]Sadiq W, Orlowska ME. Analyzing process models using graph reduction techniques. Information Systems, 2000,25(2): 117-134.
    [6]Sutton SM, Heimbigner JRD, Osterweil LJ. APPL/A: A language for software process programming. ACM Trans. on Software Engineering and Methodology, 1995,4(3):221-286.
    [7]Ceri S, Grefen P, S'anchez G. WIDE-A distributed architecture for workflow management. In: Sipple RS, ed. Proc. of the 7th Int'l Workshop on Research Issues in Data Engineering. Los Alamitos: IEEE Computer Society Press, 1997. 76-79.
    [8]Kellner MI, Feiler PH, Finkelstein A, Katayama T, Osterweil L J, Penedo MH, Rombach HD. Software process modeling example problem. In: MacCallum AC, ed. Proc. of the 6th Int'l Software Process Workshop. Los Alamitos: IEEE Computer Society Press,1990. 19-29.
    [9]Cugola G, Nitto ED, Fuggetta A, Ghezzi C. A framework for formalizing inconsistencies and deviations in human-centered systems.ACM Trans. on Software Engineering Methodology, 1996,5(3): 191-230.
    [10]Jaccheri ML, Picco GP, Lago P. Eliciting software process models with the E3 language. ACM Trans. on Software Engineering and Methodology, 1998,7(4):368-410.
    [11]顾庆,陈道蓄,于勐,谢立,孙钟秀.基于事件约束的分布式程序正确性测试.软件学报,2000,11(8):1035-1040.
    [12]顾庆,陈宗岳,陈道蓄,谢立.E-CSPE约束的一致性判定.计算机学报,2003,26(11):1568-1574.
    Comments
    Comments
    分享到微博
    Submit
Get Citation

顾庆,陈道蓄.基于事件约束的软件过程验证.软件学报,2005,16(10):1735-1742

Copy
Share
Article Metrics
  • Abstract:4036
  • PDF: 5239
  • HTML: 0
  • Cited by: 0
History
  • Received:June 15,2004
  • Revised:June 10,2005
You are the first2038679Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063