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

by Rolf Hennicker

Sat, 16 March 2013 at 04:45 pm in Rome, Italy

Joint work with: S. Bauer, A. Legay

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.