Specification of Distributed Information Systems (Dagstuhl Seminar 00081)