Volume 8 Number 10 (Oct. 2013)
Home > Archive > 2013 > Volume 8 Number 10 (Oct. 2013) >
JSW 2013 Vol.8(10): 2455-2461 ISSN: 1796-217X
doi: 10.4304/jsw.8.10.2455-2461

Software Behavior Modeling Based on Invariant Constraints

Cheng Peng1, 2, Lu-ming Yang1, 2, Jun-feng Man1, 2

1School of Information Science and Engineering, Central South University, ChangSha 410083, China
2College of Computer and Communication, Hunan University of Technology, ZhuZhou 412008, China

Abstract—Modeling the networked software interactive behavior is the basis of understanding its internal mechanism and the running rules .The software interactive behavior log files are firstly collected by monitoring, and then the invariant constraints are mined from it, finally, a dynamic model learned from the finite state machine is presented. In this model, not only thought over the situation that the parallel partly ordered event sequence generated by the networked software interaction, but the interplay between data values and components interactions are also considered, and the event are satisfied the invariant constraints. In order to ensure certainty and completeness of the model, the method of merging equivalent states in the divided sub-diagram is proposed. The corresponding algorithms are also designed. Meanwhile, the effectiveness and feasibility of the proposed method are validated through experiments.

Index Terms—Networked software, interactive behavior, finite state machine, invariant constrain.


Cite: Cheng Peng, Lu-ming Yang, Jun-feng Man, "Software Behavior Modeling Based on Invariant Constraints," Journal of Software vol. 8, no. 10, pp. 2455-2461, 2013.

General Information

ISSN: 1796-217X (Online)
Frequency:  Quarterly
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, CNKIGoogle Scholar, ProQuest, INSPEC(IET), ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsweditorialoffice@gmail.com
  • Mar 01, 2024 News!

    Vol 19, No 1 has been published with online version    [Click]

  • Jan 04, 2024 News!

    JSW will adopt Article-by-Article Work Flow

  • Apr 01, 2024 News!

    Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(Inspec)     [Click]

  • Apr 01, 2024 News!

    Papers published in JSW Vol 18, No 1- Vol 18, No 6 have been indexed by DBLP   [Click]

  • Nov 02, 2023 News!

    Vol 18, No 4 has been published with online version   [Click]