Concurrent behavior: a construct to specify the external behavior of objects in an object database