Eclipse plug-in to automatically synthesize sequence diagrams