Reo

swMATH6353MaRDI QIDQ18479FDOQ18479

Author name not available (Why is that?)

Official website: http://reo.project.cwi.nl/reo/

Described by source

• Overview of thirty semantic formalisms for Reo
• Reo: a channel-based coordination model for component composition

Cited In (only showing first 100 items - show all)

• A framework for automated distributed implementation of component-based models
• Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions
• Formal Methods for Components and Objects
• Synthesis of Reo circuits from scenario-based interaction specifications
• Modeling component connectors in Reo by constraint automata
• Deconstructing <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">R</mml:mi><mml:mi mathvariant="sans-serif">eo</mml:mi></mml:math>
• Connector rewriting with high-level replacement systems
• Coordination models Orc and Reo compared
• Modeling dynamic reconfigurations in Reo using high-level replacement systems
• SAT-based verification for timed component connectors
• Connectors as designs: modeling, refinement and test case generation
• SAT-based verification for timed component connectors
• Symbolic execution of Reo circuits using constraint automata
• A model of context-dependent component connectors
• Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets
• Recasting Constraint Automata into Büchi Automata
• Tiles for Reo
• Decision problems in a logic for reasoning about reconfigurable distributed systems
• Synthesis of Reo circuits from scenario-based specifications
• Connector algebras for C/E and P/T nets' interactions
• A basic algebra of stateless connectors
• D-Finder
• rbminer
• SCADE
• simpA
• Lutess
• Rapide
• mCRL2
• rCOS
• ArchJava
• TIMES
• Design/CPN
• MANIFOLD
• POOL
• YAWL
• HOL-OCL
• PICCOLA
• 2APL
• BPEL2oWFN
• Woflan
• Ptolemy
• PAGODA
• Reoservice
• LUSTRE
• M-nets
• KLAIM
• LIME
• Linda
• Genet
• Viptos
• FDR2
• CArtAgO
• Sisal
• UNITY
• VipTool
• SOFA 2.0
• Metropolis
• RALib
• AIOCJ
• Xtext
• OP2
• PACC starter kit
• Rigorous development of component-based systems using component metadata and patterns
• Verification of context-dependent channel-based service models
• Abstract behavior types: a foundation model for components and their composition
• DLC
• Esterel
• LNT2LOTOS
• Lucid
• Sigma*
• XTL
• Legion
• Dynamic Architectures
• FACTum
• Formal modeling and conformance validation for WS-CDL using Reo and CASM
• Connectors as designs
• Automated analysis of Reo circuits using symbolic execution
• A ground-complete axiomatization of stateless bisimilarity over Linda
• Architectural_Design_Patterns
• ReSpecT
• Title not available (Why is that?)
• Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
• Combine and conquer: relating BIP and Reo
• Symbolic model checking for channel-based component connectors
• Comparing three coordination models: Reo, ARC, and PBRD
• Coordination: Reo, Nets, and Logic
• Causal semantics for the algebra of connectors
• Comparing three coordination models: Reo, ARC, and RRD
• A tutorial on coinductive stream calculus and signal flow graphs
• Compositional Semantics of System-Level Designs Written in SystemC
• Causal Semantics for the Algebra of Connectors
• Formal Verification for Components and Connectors
• An Alternative Algorithm for Constraint Automata Product
• CPO semantics of timed interactive actor networks
• ViewPoints
• On Resource-Sensitive Timed Component Connectors
• Alternating-time stream logic for multi-agent systems
• Formalization of an architectural model for exception handling coordination based on CA action concepts
• Consistent integration of models based on views of meta models
• A normal form for stateful connectors

This page was built for software: Reo