Business Specification Framework: an Eclipse plugin for business process specification