Seminar: a contract-oriented middleware