On Semantics for Mediator: A Coalgebraic Perspective

Mediator is a component-based modeling language where components and systems can be modeled separately and precisely. This paper aims to analyze the behavior of Mediator systems from a coalgebraic perspective, which is directly derived from the operational semantics of Mediator. Such a coalgebraic approach induces suitable notions of equivalence and refinement for Mediator.