On Resource-Sensitive Timed Component Connectors

DOI10.1007/978-3-540-72952-5_19MaRDI QIDQ5428917zbMATH OpenOpenAlexFDO

Authors Sun Meng, Farhad Arbab

Publication date 28 November 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-72952-5_19

zbMATH Keywords

Constraint AutomataCoordinationResource-Sensitive Timed Constraint AutomataSimulation

Mathematics Subject Classification ID

Distributed systems (68M14) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formal languages and automata (68Q45)

Recommendations

• A coinductive calculus of component connectors.
• Modeling component connectors in Reo by constraint automata
• A relational model for probabilistic connectors based on timed data distribution streams
• Integrating time and resource into Circus
• Reo: a channel-based coordination model for component composition

Cites work

• A calculus and logic of resources and processes
• A theory of timed automata
• Conformance Testing Relations for Timed Systems
• Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts
• Formal Modeling and Analysis of Timed Systems
• scientific article; zbMATH DE number 2017345 (Why is no real title available?)
• Modeling component connectors in Reo by constraint automata
• Reo: a channel-based coordination model for component composition

Cited in

(3)

• A relational model for probabilistic connectors based on timed data distribution streams
• Counter-constrained finite state machines: a new model for component protocols with resource-dependencies
• Channel-based coordination via constraint satisfaction

Describes a project that uses

Uses Software

• Reo

This page was built for publication: On Resource-Sensitive Timed Component Connectors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5428917)