In this paper, we present the description of our extension to Model Driven Architecture (MDA) methodology using the logical programming paradigm and also a practical example of application of our extension to the deve...
详细信息
In this paper, we present the description of our extension to Model Driven Architecture (MDA) methodology using the logical programming paradigm and also a practical example of application of our extension to the development process. Then we consider an induction approach of ontology from the revision controlsystem repository. This ontology can be used in the development process as a platform independent model.
Domain Specific Languages (DSL) allows one to raise level of abstraction, improve development productivity, and establish an equitable communication between domain experts and developers. Language-oriented programming...
Domain Specific Languages (DSL) allows one to raise level of abstraction, improve development productivity, and establish an equitable communication between domain experts and developers. Language-oriented programming (LOP) is a new paradigm based on DSL construction, allowing separating domain-specific and technology-specific aspects of a system under development. LOP shares some ideas with model-driven architecture and model-driven development. Spoofax language workbench is used as a primary tool for DSL design, and based on Stratego, a transformation language with programmable rewriting strategies, and Syntax Definition Formalism as language for grammar definition. As an example of DSL a simple textual language for domain modeling is considered. Rewriting rules and strategies are used as an uniform approach to generate, validate DSL code, and make arbitrary abstract syntax tree transformations. Rules for code generation implemented using so called “string interpolation” technique. Source DSL code translated to python code that can be deployed within Django web framework resulting to a web-application with create/update/delete functionality on a corresponding database. Developed DSL is an example of “definition by transformation“ approach. To get real benefits from DSL we need to add more domain specific features in DSL.
In this paper we report new computational results with an approach based on the generation of general cutting planes for several classes of Binary Integer Programming (BIP) Problems such as Generalized Assignment, Mul...
详细信息
ISBN:
(纸本)9781467358125
In this paper we report new computational results with an approach based on the generation of general cutting planes for several classes of Binary Integer Programming (BIP) Problems such as Generalized Assignment, Multi-Dimensional Knapsack, Capacitated P-median and Capacitated Network Location. These problems are characterized by a formulation including a great number of knapsack constraints, which, in general make these problems very hard to solve. The state of the art on these problems requires to use approaches based on Lagrangean Relaxation or decomposition approaches like Dantzig-Wolfe and Column Generation techniques. In this paper we present an approach based on the generation of general cutting planes of the polytope associated with each knapsack constraints. Computational experience on a wide set of benchamrk instances is carried out.
The proximity is estimated of a resource quasioptimal control to the optimal control. We give a method for subdividing the bounded region of initial conditions into subregions and bringing the quasioptimal control clo...
详细信息
We discuss the form of a fermion resonance in case of the parity nonconservation. The obtained resonance factors and corresponding . γ-matrix projectors differ from the naive Breit-Wigner form. For the top quark with...
The paper deals with the problem of automatic extraction of a software project structure and its ontology from revision controlsystem network of the project source code. The aim of the investigation is to determine t...
详细信息
The light-by-light contribution from the lightest neutral pseudoscalar and scalar mesons to the anomalous magnetic moment of muon is calculated in the framework nonlocal . SU(3). ×. SU(3) quark model. The model i...
详细信息
The contribution into the anomalous magnetic moment of muon (g-2) μ from the light-by-light processes with neutral pion is calculated in the nonlocal chiral quark model. The full kinematic dependence of the meson-two...
详细信息
We suggest the description of the dreßed fermion propagator with parity non-conservation in the form with separated positive and negative energy poles. We found general form of the γ-matrix off-shell projectors ...
详细信息
The software development process is represented as propagation of the differences (modifications) within a set of models representing the software under development. The theory of system of complexes (configurations) ...
详细信息
暂无评论