Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Functional programming: practice and theory
Functional programming: practice and theory
Advanced compiler design and implementation
Advanced compiler design and implementation
Incremental static semantic analysis
Incremental static semantic analysis
Using Uml: Software Engineering with Objects and Components
Using Uml: Software Engineering with Objects and Components
Optimal-time incremental semantic analysis for syntax-directed editors
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Reflections on the Object Constraint Language
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
Using Cached Functions and Constructors for Incremental Attribute Evaluation
PLILP '92 Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming
VIATRA " Visual Automated Transformations for Formal Verification and Validation of UML Models
Proceedings of the 17th IEEE international conference on Automated software engineering
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
EMF: Eclipse Modeling Framework 2.0
EMF: Eclipse Modeling Framework 2.0
Domain-Specific Modeling
Microsoft Visual Studio 2008 Unleashed
Microsoft Visual Studio 2008 Unleashed
Incremental Type Checking in OCL Compilers
ECBS-EERC '09 Proceedings of the 2009 First IEEE Eastern European Conference on the Engineering of Computer Based Systems
Incremental evaluation of OCL constraints
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
| Hi-index | 0.00 |
In software engineering, modeling with unified modeling language and object constraint language became industry standards and are supported by many computer-aided software engineering tools. The increasing number of the modeled functionalities results in complex models that need more and more textual constraints to express the hidden restrictions applied to the systems. During the metamodel development, rebuilding all the constraints is unnecessary when only a few changes have been applied due to the iterative, incremental manner of modifications. In this paper, we present a family of algorithms that handles the changes in constraints incrementally on the expression level; thus, the required rebuilds are kept to a minimum. Incremental variable reference resolving and type checking are performed as a part of the incremental semantic analysis. Balancing between the incremental and standard compilation is also considered, heuristics are given to select the faster method of compilation at each iteration. With the achieved results the duration of metamodel development can be decreased; thus, the efficiency of the environment is improved.