O'Reilly logo

Requirements Engineering Fundamentals by Chris Rupp, Klaus Pohl

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Requirements Modeling in the Behavioral Perspective

[Finite-state automata] To model the dynamic behavior of a system, modeling approaches based on automata theory are typically employed. The definition of a finite-state automaton comprises a set of states and a set of transitions that, dependent on the current state of the automaton, are performed given some event.

[Mealy and Moore automata] In the scope of system modeling, extensions of finite-state automata are frequently used that are based on the concepts of so-called Mealy [Mealy 1955] and Moore automata [Moore 1956], respectively. In Mealy automata, the output of an automaton depends on the current state of the automaton as well as on the input. In contrast, in Moore automata, the output ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required