PROTOB - an object-oriented case tool for modeling and prototyping distributed systems