An Empirical Principle for the Data Flow Analysis in State Transition Systems

Authors(1) :-A. Guerrouat

This paper focuses on the analysis of the data flow in formal specifications of embedded systems founded on state transition models. There are several properties of formal specifications that result from considering the data flow, however, these are irrelevant if only the control flow is assumed. The typical examples of formal models supporting data flow are extended finite state machines (EFSMs) whereas finite state machines (FSMs) specify only the control flow. It is crucial to predict issues that could be caused by the data flow because their occurrence in later stages of the system development or during operation would be very costly and critical. As it is practically hard to state the presence/absence of such issues analytically, this will be done empirically.

Authors and Affiliations

A. Guerrouat
University of Bahrain, Zallaq, Bahrain

Formal Analysis And Testing, Data Flow Analysis, Extended Finite State Machines, Formal Methods

  1. A. Sinha et al. On generating EFSM models from use cases. In Proc. of sixth international workshop on scenarios and state machines (SCESM’07), pp 1–8, 2007.
  2. H. Katagiriy et al. Hardware, implementation of communication protocols modeled by concurrent EFSMs with multiway synchronization. In Proc. of the 37th conference on design automation (DAC’00), Los Angeles, 2000.
  3. V. S. Alagar. Specification of Software Systems. In Springer, 2014. ISBN: 1475729219.
  4. Specification and Description Language SDL ’92. ITU-T Recommendation Z.100, 1992.
  5. R. Buessow, R. Geisler, and M. Klar. Specifying safety-critical embedded systems with statecharts and Z: A case study. In Proceedings of Fundamental Approaches to Software Engineering (FASE’98), Lisbon, 1998.
  6. M. Mendler, G. Luettgen. Statecharts: From Visual Syntax to Model-Theoretic Semantics. In K. Bauknecht, W. Brauer, and Th. Mück (editors), Workshop on Integrating Diagrammatic and Formal Specification Techniques (IDFST 2001), pages 615-621, Vienna, 2001.
  7. B. Potter, J. Sinclair, and D. Till. Introduction to Formal Specification and Z (2nd Edition). Prentice Hall PTR; 1996.
  8. A. V. Aho, A. T. Dahbura, D. Lee, and M.U. Uyar. An optimisation technique for protocol conformance test generation based on UIO sequences and Rural Chinese Postman Tours. In S. Aggarwal and K. Sabnani, editors, Protocol Specification, Testing, and Verification, New Jersey, 1988.
  9. S. Fujiwara, G.v. Bochmann, F. Khndek, M. Amalou, and A. Ghedamsi. Test selection based on finite state models. IEEE transaction on Software Engineering 17(6): 591-603, 1991.

Publication Details

Published in : Volume 2 | Issue 6 | November-December 2017
Date of Publication : 2017-12-31
License:  This work is licensed under a Creative Commons Attribution 4.0 International License.
Page(s) : 219-223
Manuscript Number : CSEIT1725223
Publisher : Technoscience Academy

ISSN : 2456-3307

Cite This Article :

A. Guerrouat, "An Empirical Principle for the Data Flow Analysis in State Transition Systems", International Journal of Scientific Research in Computer Science, Engineering and Information Technology (IJSRCSEIT), ISSN : 2456-3307, Volume 2, Issue 6, pp.219-223, November-December-2017.
Journal URL :

Article Preview