A formal algebraic approach for the quantitative modeling of connectors in architectures

DOI10.1007/978-3-031-19685-0_9arXiv2202.06594OpenAlexW4312527838MaRDI QIDQ6108727

Maria Pittou, Christina Chrysovalanti Fountoukidou

Publication date: 26 July 2023

Published in: Algebraic Informatics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2202.06594

zbMATH Keywords

architecturescoordination schemesweighted algebra of connectorsweighted algebra of interactions

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

A formal algebraic approach for the quantitative modeling of connectors in architectures

Cites Work

• Handbook of weighted automata
• A basic algebra of stateless connectors
• Metamathematics of fuzzy logic
• A relational model for probabilistic connectors based on timed data distribution streams
• Weighted propositional configuration logics: a specification language for architectures with quantitative features
• A Notion of Glue Expressiveness for Component-Based Systems
• The Algebra of Connectors—Structuring Interaction in BIP
• Reo: a channel-based coordination model for component composition
• A formal algebraic approach for the quantitative modeling of connectors in architectures

This page was built for publication: A formal algebraic approach for the quantitative modeling of connectors in architectures