Specifying lifecycles of object interactions within distributed systems | IEEE Conference Publication | IEEE Xplore