20년쯤 전, David Harel은 복잡한 반응형 -이벤트 구동형- 시스템을 기술하는 강력한 방식으로써 상태차트를 개발했다. 동시에 상태차트는 뛰어난 형식으로써 프로그래머들로부터 거의 절대적인 지지를 얻었으며, 많은 소프트웨어 방법론의 컴포넌트로 채택됐다. 특히 이 중에서 가장 주목받은 것은 UML(Unified Modeling Language)이다. 이 책은 UML 상태차트로 만든 명세를 C/C++ 패턴과 이디엄에 따라 반응형 시스템을 모델링하는 방법을 알려주는 책이다.

기본적으로 이 책은 설계 자동화 툴에 심플하고 경량의 대안으로 구체적이고 효과적이며 입증된 상태차트의 구현을 소개함으로써, C나 C++에 익숙한 사람이라면 며칠 내로 상태차트의 구현을 시도할 수 있게끔 한다. 또한 상태차트와 상태차트 기반 컴퓨팅 모델을 구현함으로써, 새로운 프로그래밍 패러타임의 초석을 닦는다.

이 책은 크게 두 부분으로 이뤄진다. 1부(1 ~ 6장)에서는 상태머신을 설명한다. 상태머신이 무엇이고, 어떻게 구현하며, 이를 사용하는 기본적인 방식이나 패턴에는 어떤 것이 있는지 알아본다. 이 부분은 대개 사용자 인터페이스, 리얼타임 시스템, 임베디드 시스템과 같은 이벤트 구동형 시스템에 적용할 수 있다. 2부(7 ~ 11장)에서는 퀀텀 프레임워크를 설명한다. 퀀텀 프레임워크는 임베디드 리얼타임 시스템을 대상으로 설계된 소프트웨어 아키텍처이다.