An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications