Stochastic Reasoning About Channel-Based Component Connectors

Christel BaierChristel Baier, Verena WolfVerena Wolf

DOI Link

Christel Baier, Verena Wolf
Stochastic Reasoning About Channel-Based Component Connectors
Proc. of the 8th International Conference on Coordination Models and Languages (COORD), volume 4038 of Lecture Notes in Computer Science, 1--15, 2006. Springer

Details
Bibtex

KurzfassungAbstract
Constraint automata have been used as an operational model for component connectors that coordinate the cooperation and communication of the components by means of a network of channels. In this paper, we introduce a variant of constraint automata (called continuous-time constraint automata) that allows us to specify time-dependent stochastic assumptions about the channel connections or the component interfaces, such as the arrival rates of communication requests, the average delay of enabled I/O-operations at the channel ends or the stochastic duration of internal computations. This yields the basis for a performance analysis of channel-based coordination mechanisms. We focus on compositional reasoning and discuss several bisimulation relations on continuous-time constraint automata. For this, we adapt notions of strong and weak bisimulation that have been introduced for similar stochastic models and introduce a new notion of weak bisimulation which abstracts away from invisible non-stochastic computations as well as the internal stochastic evolution.
Forschungsgruppe:Research Group: Verifikation und formale quantitative Analyse„Verifikation und formale quantitative Analyse“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.Algebraic and Logical Foundations of Computer Science

The final publication is available at Springer via http://dx.doi.org/10.1007/11767954_1.

@inproceedings{BW2006,
  author    = {Christel Baier and Verena Wolf},
  title     = {Stochastic Reasoning About Channel-Based Component Connectors},
  booktitle = {Proc. of the 8th International Conference on Coordination Models
               and Languages (COORD)},
  series    = {Lecture Notes in Computer Science},
  volume    = {4038},
  publisher = {Springer},
  year      = {2006},
  pages     = {1--15},
  doi       = {10.1007/11767954_1}
}