Frequently Asked Questions

Question: Where can I find a description of the Overture Modeling Language?

Answer: The Overture Modeling Language is based on VDM++. Currently, an extensive language review is under way, but since we do not have an official Overture Language Reference Manual yet, the best next thing to it is the VDM++ Language Reference Manual of CSK VDMTools, which can be found on-line here. The Overture XML schema definition is available here.

Question: How can I participate in the project?

Answer: Anyone interested (from both industry and academia) is welcome to join the project, but we expect an active role. In particular, we invite BSc, MSc and PhD level computer science students that want to do some work in language and tool design for formal techniques. We can both provide practical as well as theoretical assignments. We have ideas for assignments ranging from short two weeks comparison studies to 6/9 months MSc graduation projects, implementing significant parts of the tool. Have a look at the brainstorm document which lists a lot of potential topics. Look at the publications page to find examples of people who worked on Overture before. Since we have very little (human) resources in our project, we do require that you find a professor at your own research institution to take care of the official supervision of your project. Please contact us for more details.