Sequence diagram software engineering - luainbox