Paper Info
Title
Incremental Type Checking in OCL Compilers
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.
Year
DOI
Venue
2009
10.1109/ECBS-EERC.2009.21
ECBS-EERC
Keywords
Field
DocType
ocl compilers,incremental type checking,complex model,application reliability,transformation system,computer-aided software engineering tool,model development,decrease development time,tree-based compiler,visual modeling,initial model,changes incrementally,software engineering,data mining,ocl,computational modeling,unified modeling language,algorithm design and analysis,computer aided software engineering,computer aided software engineering tools,uml,pediatrics
Programming language,Algorithm design,Software engineering,Type checking,Unified Modeling Language,Visual modeling,Computer science,Compiler,Software,Computer-aided software engineering
Conference
ISBN
Citations 
PageRank 
978-0-7695-3759-7
2
0.43
References 
Authors
2
3
Name
Order
Citations
PageRank
tamas vajk1667.77
Gergely Mezei214324.62
Tihamér Levendovszky318514.96