Formal Methods for Open Object-Based Distributed Systems: 6t