Models of reactive systems: communication, concurrency, and causality

Authors:
Bernhard Schätz;Holger Giese
Affiliations:
fortiss GmbH, München, Germany;Hasso Plattner Institute, University of Potsdam, Germany
Venue:
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Year:
2007

Citing 15
Cited 0

Communicating sequential processes

Communicating sequential processes
Trace theory for automatic hierarchical verification of speed-independent circuits

Trace theory for automatic hierarchical verification of speed-independent circuits
Receptive process theory

Acta Informatica
An old-fashioned recipe for real time

ACM Transactions on Programming Languages and Systems (TOPLAS)
Reactive Modules

Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Specification and development of interactive systems: focus on streams, interfaces, and refinement

Specification and development of interactive systems: focus on streams, interfaces, and refinement
Communication and Concurrency

Communication and Concurrency
Handbook of Process Algebra

Handbook of Process Algebra
Automata For Modeling Real-Time Systems

ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
Compositional Modeling in Metropolis

EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
A Comparison of Statecharts Variants

ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Masaccio: A Formal Model for Embedded Components

TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
From Timed to Hybrid Systems

Proceedings of the Real-Time: Theory in Practice, REX Workshop
Verification and Specifications of Concurrent Programs

A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Causality interfaces for actor networks

ACM Transactions on Embedded Computing Systems (TECS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this chapter, communication, concurrency, and causality are introduced as basic aspects of reactive systems together with different levels of abstraction for each aspect, giving prominent examples of specific models as specifically useful combinations. By relating models along different dimension, we show how to set up development processes allowing not only to support step-wise adding of implementation details, but also to treat different aspects of a system in isolation and to combine the results, leading to a fork-and-join approach.