Abstract
In this chapter, techniques to model sequential systems are covered. We start by introducing finite automata, which allow us to capture behaviour using just a few concepts. In the succeeding sections, automata are enriched with output and with further concepts, including variables and conditional state transitions. This discussion brings us to state machines, the current standard for modelling sequential systems; state machines are part of the Unified Modeling Language.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Kunze, M., Weske, M. (2016). Sequential Systems. In: Behavioural Models. Springer, Cham. https://doi.org/10.1007/978-3-319-44960-9_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-44960-9_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-44958-6
Online ISBN: 978-3-319-44960-9
eBook Packages: Computer ScienceComputer Science (R0)