Formal Methods For Open Object-based Distributed Systems : 7th Ifip Wg 6.1 International Conference, Fmoods 2005, Athens, Greece, June 15-17, 2005, Proceedings (lecture Notes In Computer Science)