Modeling dynamic reconfigurations in Reo using high-level replacement systems
From MaRDI portal
Publication:608354
DOI10.1016/j.scico.2009.10.006zbMath1211.68052OpenAlexW2102909391MaRDI QIDQ608354
Farhad Arbab, Alexander Lazovik, Ziyan Maraikar, Christian Krause
Publication date: 25 November 2010
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://pure.rug.nl/ws/files/147532786/Modeling_dynamic_reconfigurations_in_Reo_using_high_level_replacement_systems.pdf
Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (8)
Domain-independent planning for services in uncertain and dynamic environments ⋮ A compositional model to reason about end-to-end QoS in stochastic Reo connectors ⋮ Configuration logics: modeling architecture styles ⋮ An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems ⋮ Static and dynamic property-preserving updates ⋮ Estimating costs of multi-component enterprise applications ⋮ Interactive verification of architectural design patterns in FACTum ⋮ Decision problems in a logic for reasoning about reconfigurable distributed systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Connector colouring. I: Synchronisation and context dependency
- Fundamentals of algebraic graph transformation
- Modeling component connectors in Reo by constraint automata
- Explicit State Model Checking for Graph Grammars
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Compositional semantics for open Petri nets based on deterministic processes
- Reo: a channel-based coordination model for component composition
- Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
This page was built for publication: Modeling dynamic reconfigurations in Reo using high-level replacement systems
