Search Results for "design pattern"

...It naturally supports model-level activities, such as constraints (extending UML diagrams), dynamic compositional modeling, analysis and reasoning about models, model testing, design pattern modeling, specification of Domain Specific Modeling Languages, and meta-modeling. FOML can reason about: 1. The model meta-data (meta-model level reasoning, or syntax reasoning) 2. Data level: reason about a model and its data (instance model, i.e., diagram) FOML is built as a semantic layer on top of PathLP - a compact logic rule language of guarded path expressions, an adaptation of a subset of F-logic.

...Language syntax is similar to C++/C# and Java. For proper documentation please read the diploma thesis (Only available in german yet). Some of the goals to achieve: - Embedding some design-patterns on language level (singleton, state-pattern) - Implementation of a back-end for byte-code generation - Extending the compiler with an optimization phase for optimizing byte-code - Optimizing the interpreter to improve runtime performace. - Implementation of a Hotspot-Compiler for translating byte-code to x86 machine-code for native execution...