doi: 10.4304/jsw.8.10.2455-2461
Software Behavior Modeling Based on Invariant Constraints
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)
Abbreviated Title: J. Softw.
Frequency: Quarterly
APC: 500USD
DOI: 10.17706/JSW
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Cecilia Xie
Abstracting/ Indexing: DBLP, EBSCO,
CNKI, Google Scholar, ProQuest,
INSPEC(IET), ULRICH's Periodicals
Directory, WorldCat, etcE-mail: jsweditorialoffice@gmail.com
-
Oct 22, 2024 News!
Vol 19, No 3 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]
-
Jun 12, 2024 News!
Vol 19, No 2 has been published with online version [Click]