POOSL: a parallel object-oriented specification language