A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors by R. Kurki-SuonioA Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors by R. Kurki-Suonio

A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors

byR. Kurki-Suonio

Paperback | October 21, 2010

Pricing and Purchase Info

$126.26 online 
$150.50 list price save 16%
Earn 631 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Reino Kurki-Suonio has a PhD in mathematics from the University of Helsinki. He entered the field of computing in 1960. In 1965 he moved from industry to the University of Tampere to start the first computer science department in Finland. In 1980 he was invited to develop education in information technology at Tampere University of Tec...
Loading
Title:A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic BehaviorsFormat:PaperbackDimensions:420 pages, 23.5 × 15.5 × 0.17 inPublished:October 21, 2010Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642062377

ISBN - 13:9783642062377

Look for similar items by category:

Reviews

Table of Contents

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

Editorial Reviews

From the reviews:"Kurki-Suinio's book aims at developing a practical theory for the development of distributed reactive systems. . The approach presented in the book is the result of many years of research. The design method developed by the author has been successfully used for the construction of many distributed parallel systems. . Potential audience of this book is definitely found among software engineers . . The book is also useful for researchers working in the mentioned area." (Klaus Schneider, The Computer Journal, 2007)"This book deals with reactive systems by first explaining a simple condition action effect language, which is similar to the language Unity or the one used in I/O automata. . The book is usable as an extensive introduction for those who acquire the skill to use and extend it elsewhere. Of course as such it also usable for those who want to know what is going on in the field of concurrency from a TLA perspective." (Jan Friso Groote, Zentralblatt MATH, Vol. 1070, 2005)"It is rare to find a book that answers the questions of software engineers who are working with dynamic systems . where formalisms of actions and behaviors are often answered by abstract theories of artificial intelligence. . . 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 a good complementary reading for courses on intelligent agents, showing a practical route for translating theory into software specifications." (Aladdin Ayesh, Computing Reviews, April, 2006)