查看文章

How is it possible to significantly improve the Integrated Development Environment (IDE) for VDM from the existing Eclipse-based IDE? The proposal made in this paper is to use language-agnostic protocols such as the Language Server Protocol (LSP) and the Debug Adapter Protocol (DAP) connecting a general editor such as Visual Studio Code with core server functionality. This is demonstrated for editor related features, debugging, and Proof Obligation Generation and Combinatorial Testing support. We also believe that the extension of LSP and DAP will be useful for extending other IDEs for similar specification languages, since using such standard protocols will require less effort to upgrade to modern front-ends for their IDEs.