Apress NBA

A Practical Theory of Reactive Systems

Incremental Modeling of Dynamic Behaviors

By R. Kurki-Suonio

  • eBook Price: $79.95
Buy eBook Buy Print Book

A Practical Theory of Reactive Systems Cover Image

  • Add to Wishlist
  • ISBN13: 978-3-5402-3342-8
  • 440 Pages
  • User Level: Science
  • Publication Date: March 30, 2006
  • Available eBook Formats: PDF
Full Description
This book presents a 'practical theory' of reactive systems, with formal foundations in Temporal Logic of Actions. The theory supports incremental development of operational, object-oriented models in steps that preserve already established properties. Models are given in an action-oriented language, and their modularity relates to aspects in aspect-oriented programming. The emphasis is on theoretical understanding of reactive behaviors, and on using 'horizontal' modularity to manage their complexity. Special chapters are devoted to the applicability of the theory to distributed and real-time systems. Incremental specification is illustrated in the book by a number of examples of varying size and complexity.
Table of Contents

Table of Contents

  1. Part I Prologue.
  2. 1. Components of a Theory.
  3. Part II Fundamentals.
  4. 2. Towards an Action Language.
  5. 3. Formal Properties of Behaviors.
  6. 4. Proving Behavioral Properties.
  7. Part III Building a Practical Theory.
  8. 5. Basic Language Facilities.
  9. 6. Fundamentals of Design Methodology.
  10. 7. Object Orientation Elaborated.
  11. 8. Components and Interfaces.
  12. Part IV Distributed and Real
  13. Time Systems.
  14. 9. Distributed Systems.
  15. 10. Real Time.
  16. Part V Epilogue.
  17. 11. Reexamining the Theory.
  18. References.
  19. Index

If you think that you've found an error in this book, please let us know by emailing to editorial@apress.com . You will find any confirmed erratum below, so you can check if your concern has already been addressed.
No errata are currently published


    1. Formal Techniques for Safety-Critical Systems


      View Book