Abstract behavior types: a foundation model for components and their composition

DOI10.1016/j.scico.2004.05.010zbMath1075.68014OpenAlexW2054872319MaRDI QIDQ1776573

Farhad Arbab

Publication date: 12 May 2005

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://ir.cwi.nl/pub/4148

zbMATH Keywords

CoordinationReoComponentsCompositionAbstract Behavior TypesCoalgebraic semanticsStreams

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Protocol scheduling, Event algebra for transition systems composition application to timed automata, Comparing three coordination models: Reo, ARC, and PBRD, A model of context-dependent component connectors, Data optimizations for constraint automata, CPO semantics of timed interactive actor networks, Channel-based coordination via constraint satisfaction, 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>, The ARC Programming Model – Language Constructs for Coordination, Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints, Causal Semantics for the Algebra of Connectors, Specifying and Verifying Organizational Security Properties in First-Order Logic, Compositional Failure-based Equivalence of Constraint Automata, A semantic model for interacting cyber-physical systems

Uses Software

• MANIFOLD
• Reo