Definitions for "abstract behavioral model"
a behavioral model of a component that describes the component's interface abstractly