Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
A practical theory of reactive systems : incremental modeling of dynamic behaviors (Texts in Theoretical Computer Science)
Kurki-Suonio R., Springer-Verlag New York, Inc., Secaucus, NJ, 2005. 418 pp. Type: Book (9783540233428)
Date Reviewed: Apr 18 2006

It is rare to find a book that answers the questions of software engineers who are working with dynamic systems (robots, control systems, real-time operating systems, and so on), where formalisms of actions and behaviors are often answered by abstract theories of artificial intelligence. These theories are often imported in simplified forms, with looser formalisms to meet practical demands. Crossing the line between the abstract and the practical is often a difficult task. This book presents an attempt to cross that line, by providing practical theory that software engineers can use to develop reactive dynamic systems with formal specifications.

The book is divided into five parts. Part 1 introduces the topic. Part 2 covers the theoretical basis of action and behavior representation. This part consists of three chapters. The first chapter establishes an action language to be used for specifications and proofs. It is based on the temporal logic of actions (TLA) language. This formal language supports the inscription of behavior properties, and provides means of proofs for formally specifying dynamic systems.

Part 3 focuses on the development of system specifications using the theory presented in Part 2. It consists of four chapters. Each chapter focuses on some implementation aspects. For example, chapter 5 focuses on the elementary implementation of specifications using tools such as finite state structures. Chapter 6, “Fundamentals of Design Methodology,” essentially covers specification refinement processes; the title of this chapter may not reflect its content accurately. Chapters 7 and 8 are extensions on topics covered in chapter 5 related to complex structures, namely, objects, relations, and components. Part 4 looks at distributed and real-time systems, as two examples of dynamic systems to which the work presented in this book applies. Part 5 concludes the book.

Overall, this is a well-written book, which takes a practical software engineering approach, rather than a philosophical artificial intelligence (AI) one. The book will make good complementary reading for courses on intelligent agents, showing a practical route for translating theory into software specifications.

Reviewer:  Aladdin Ayesh Review #: CR132687 (0703-0226)
Bookmark and Share
  Reviewer Selected
Editor Recommended
Logics And Meanings Of Programs (F.3 )
Design (D.2.10 )
Robotics (I.2.9 )
Would you recommend this review?
Other reviews under "Logics And Meanings Of Programs": Date
Handling the valuation of the predicates in a fuzzy model
Genito D., Gerla G., Vignes A. Fuzzy Sets and Systems 186(1): 81-99, 2012. Type: Article
May 29 2012
Proofs and computations
Schwichtenberg H., Wainer S., Cambridge University Press, New York, NY, 2012.  480, Type: Book (978-0-521517-69-0)
Oct 30 2012
A formalization of programs in first-order logic with a discrete linear order
Lin F. Artificial Intelligence 235(C): 1-25, 2016. Type: Article
May 24 2016

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2023 ThinkLoud®
Terms of Use
| Privacy Policy