Title :
Incremental Type Checking in OCL Compilers
Author :
Vajk, Tamás ; Mezei, Gergely ; Levendovszky, Tihamér
Author_Institution :
Dept. of Autom. & Appl. Inf., Budapest Univ. of Technol. & Econ., Budapest, Hungary
Abstract :
In software engineering, modeling tools have become widely accepted to increase application reliability and decrease development time. The UML and the OCL became industry standards and are supported by many Computer-Aided Software Engineering tools. The increasing number of modeled functionalities results in complex models that need more and more textual constraints to express the hidden restrictions applying to the systems. The usual scenario of model development is to create an initial model of the system, and then fine-tune it with simple modifications. During development, rebuilding all the constraints is unnecessary when only a few changes have been applied. In this paper, we present an algorithm that handles changes incrementally on expression level, thus required rebuilds are kept to a minimum. The background and implementation framework for the discussed compiler is the Visual Modeling and Transformation System, but the algorithm is general enough to support any tree-based compiler integrated into an IDE.
Keywords :
Unified Modeling Language; computer aided software engineering; incremental compilers; OCL compilers; UML; computer-aided software engineering tools; incremental type checking; industry standards; modeling tools; software engineering; textual constraints; transformation system; visual modeling; Automation; Computer aided software engineering; Database languages; Informatics; Software engineering; Software systems; Software tools; Tree graphs; USA Councils; Unified modeling language; Incremental compilation; OCL; VMTS;
Conference_Titel :
Engineering of Computer Based Systems, 2009. ECBS-EERC '09. First IEEE Eastern European Conference on the
Conference_Location :
Novi Sad
Print_ISBN :
978-1-4244-4677-3
Electronic_ISBN :
978-0-7695-3759-7
DOI :
10.1109/ECBS-EERC.2009.21