The quickest way to start using CoCoViLa is to try out some tutorials. Here you can find a list of introductory materials.
- Guidelines on creating new packages
- Hands-on tutorials on creating and using a visual package
- Decision tables tutorial
- Package: HVACmodel CoCoViLa package for modeling and simulation of heating and cooling processes of house with air heating
- CoCoViLa at a glance
- Class Editor
- Specification language
- Using Scheme Editor
- CoCoViLa package XML description (DTD) (If your browser refuses to display the content of this file you can try downloading and saving the file by right-clicking the link. You can then open the file from the local disk using your favourite text editor.)
CoCoViLa API documentation generated by Javadoc can be browsed online. For CoCoViLa package developers the most relevant Java package is ee.ioc.cs.vsle.api, especially the ProgramContext class in that package.
The following is a list of theses on CoCoViLa-related topics that have been successfully defended.
- R. Maigre. Composition of Web Services on Large Service Models. (PhD thesis, 2011)
- P. Grigorenko. Higher-order attribute semantics of flat languages. (PhD thesis, 2010)
- M. Viil. Program package for designing gear drive in CoCoViLa software system. (MSc thesis, 2008)
- T. Matsalu. Program package for designing chain conveyor in CoCoViLa software system. (MSc thesis, 2007)
- A. Ojamaa. Modular simulation platform. (MSc thesis, 2007)
- R. Maigre. Web services composition software with visual user interface. (MSc thesis, 2007)
- P. Grigorenko. Attribute Semantics of Visual Languages. (MSc thesis, 2006)
- U. Lipso. Rihmülekannete projekteerimispakett tarkvarasüsteemi VSLE testimiseks. (MSc thesis, 2004)
- A. Aasmaa. A framework for design and implementation of visual languages. (Dipl. thesis, 2004)
- P. Grigorenko. Program Synthesis in Java Environment. (BSc thesis, 2004)
- A. Saabas. A Framework for Design and Implementation of Visual Languages. (MSc thesis, 2004)
Interested in doing your own Master's or PhD project with CoCoViLa? Possible topics include applications of methods of artificial intelligence, visual specification languages, automatic synthesis of programs, model-based software engineering, modeling and simulation, web services etc. See the Modeling and Simulation Group's web page for potential supervisors and suggested topics for Master's or PhD projects, or come up with your own topic!
Parts of the CoCoViLa system have been described in the following papers.
- Geert Alberghs, Pavel Grigorenko, Jyri Kivimaa. Quantitative system reliability approach for optimizing IT security costs in an AI environment. In J. Penjam, ed., Proc. of 12th Symp. on Programming Languages and Software Tools, SPLST 2011 (Tallinn, Oct. 2011), pp. 219-230. Inst. of Cybern., 2011.
- Vahur Kotkas, Andres Ojamaa, Pavel Grigorenko, Riina Maigre, Mait Harf, Enn Tyugu. CoCoViLa as a multifunctional simulation platform. In: SIMUTOOLS 2011 - 4th International ICST Conference on Simulation Tools and Techniques : March 21-25 - Barcelona, Spain: Brussels: ICST, 1 - 8, 2011.
- A. Ojamaa, E. Tyugu. Rich Components of Extendable Simulation Platform. In: Proceedings of the 2007 International Conference on Modeling, Simulation & Visualization Methods, MSV 2007: June 25-28 2007, Las Vegas Nevada, USA: (Ed.) Arabnia, Hamid R. Las Vegas: CSREA Press, 2007, 121-127.
- P. Grigorenko, E. Tyugu. Deep Semantics of Visual Languages. In: E. Tyugu, T. Yamaguchi (eds.) Knowledge-Based Software Engineering. Frontiers in Artificial Intelligence and Applications, vol. 140. IOS Press, p. 83 - 95.
- P. Grigorenko, A. Saabas, E. Tyugu. Visual Tool for Generative Programming. Proc. of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ACM Press, 2005.
- P. Grigorenko, A. Saabas, E. Tyugu. COCOVILA - Compiler-Compiler for Visual Languages. Proc. of the 5th Workshop on Language Descriptions, Tools and Applications, 2005 (Edinburgh, April 2005), v. 141, n. 4 of Electron. Notes in Theor. Comput. Sci., pp. 137-142. Elsevier, 2005.