Behavioral Specifications of Businesses and Systems