Talk "Component Interfaces with Contracts on Ports: Meta-Theory and Instantiation"

Abstract: We show how the abstract concept of a (labeled) interface theory can be canonically extended to a meta-theory of component interfaces with assume/guarantee specifications on ports. The resulting component framework satisfies itself the general laws of an interface theory for composition, refinement and communication compatibility. As a particular instance we consider modal component interfaces with weak modal refinement and weak compatibility. We provide methodological guidelines to construct reliable component interfaces and we propose a method for their adaptation to changing environemnts.