Generalizing the Submodule Construction Techniques for Extended State Machine Models

  • Bassel Daou
  • Gregor v. Bochmann
Conference paper

DOI: 10.1007/11888116_15

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4229)
Cite this paper as:
Daou B., Bochmann G.. (2006) Generalizing the Submodule Construction Techniques for Extended State Machine Models. In: Najm E., Pradat-Peyre JF., Donzeau-Gouge V.V. (eds) Formal Techniques for Networked and Distributed Systems - FORTE 2006. FORTE 2006. Lecture Notes in Computer Science, vol 4229. Springer, Berlin, Heidelberg


In previous research we extended the submodule construction techniques to cover a more expressive and compact behavioral model that handles data through parameterized interactions, state variables, and simple transition guards. The model was based on extended Input/Output Automata, and the algorithm on the Chaos concept. In this paper we generalize these extensions and improve the submodule construction techniques and algorithms. The generalizations include regular transition guards including equality and inequality, negation, conjunction and disjunction of predicates. The algorithm is improved by utilizing the concept of generic transitions (non refined transitions) that are refined as needed instead of considering all possible refinements of the Chaos. The algorithm selects needed refinements through dataflow relations bridging which involves forward propagation of definitions and backward propagation of usages. The new approach provides a more intuitive explanation of the submodule construction algorithm, gives justification for the number of variables in the new module and results in a much smaller and compact solution.

Download to read the full conference paper text

Copyright information

© IFIP International Federation for Information Processing 2006

Authors and Affiliations

  • Bassel Daou
    • 1
  • Gregor v. Bochmann
    • 1
  1. 1.School of Information Technology and Engineering (SITE)University of OttawaCanada

Personalised recommendations