A Practical Theory of Reactive Systems

Incremental Modeling of Dynamic Behaviors
1. Auflage. Softcover version of original hardcover Auflage 2005
ISBN: 978-3-642-06237-7
Verlag: Springer

Buch, Englisch, 420 Seiten, Previously published in hardcover, Format (B × H): 155 mm x 235 mm, Gewicht: 668 g

Reihe: Texts in Theoretical Computer Science. An EATCS Series

This book presents a practical theory of reactive systems. 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.

Zielgruppe

Research

Autoren/Hrsg.

Kurki-Suonio, R.

Fachgebiete

• Mathematik | Informatik Mathematik Mathematik Interdisziplinär Systemtheorie
• Interdisziplinäres Wissenschaften Wissenschaften: Forschung und Information Kybernetik, Systemtheorie, Komplexe Systeme
• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung

Inhaltsverzeichnis

Prologue.- Components of a Theory.- Fundamentals.- Towards an Action Language.- Formal Properties of Behaviors.- Proving Behavioral Properties.- Building a Practical Theory.- Basic Language Facilities.- Fundamentals of Design Methodology.- Object Orientation Elaborated.- Components and Interfaces.- Distributed and Real-Time Systems.- Distributed Systems.- Real Time.- Epilogue.- Reexamining the Theory.

Über Autor(innen)

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 Technology, where he currently serves as professor emeritus at the Institute of Software Systems. During his career he has held visiting positions at Carnegie Mellon and Stanford Universities, and has served as the Chair of IFIP Technical Committee on Software, Theory and Practice.