Homogeneous Meta-Programming Techniques with Case Study

2012 ◽  
pp. 49-77
Author(s):  
Vytautas Štuikys ◽  
Robertas Damaševičius
Keyword(s):  
Meta Programming ◽  
Programming Techniques

scholarly journals Decision-making support for input data in business processes according to former instances

2020 ◽  
pp. 51-51
Author(s):  
Miguel Hose Pérez Álvarez ◽  
Luisa Parody ◽  
María Teresa Gómez-López ◽  
Rafael Gasca ◽  
Paolo Ceravolo
Keyword(s):  
Decision Support ◽  
Temporal Variation ◽  
Business Process ◽  
Process Model ◽  
Input Data ◽  
Business Processes ◽  
Strategic Plans ◽  
Correct Execution ◽  
Programming Techniques

Business Processes facilitate the execution of a set of activities to achieve the strategic plans of a company. During the execution of a business process model, several decisions can be made that frequently involve the values of the input data of certain activities. The decision regarding the value of these input data concerns not only the correct execution of the business process in terms of consistency, but also the compliance with the strategic plans of the company. Smart decision-support systems provide information by analyzing the process model and the business rules to be satisfied, but other elements, such as the previous temporal variation of the data during the former executed instances of similar processes, can also be employed to guide the input data decisions at instantiation time. Our proposal consists of learning the evolution patterns of the temporal variation of the data values in a process model extracted from previous process instances by ap plying Constraint Programming techniques. The knowledge obtained is applied in a Decision Support System (DSS) which helps in the maintenance of the alignment of the process execution with the organizational strategic plans, through a framework and a methodology. Finally, to present a proof of concept, the proposal has been applied to a complete case study.

scholarly journals Finite Element Assembly Using an Embedded Domain Specific Language

2015 ◽  
Vol 2015 ◽  
pp. 1-22
Author(s):  
Bart Janssens ◽  
Támas Bányai ◽  
Karim Limam ◽  
Walter Bosschaerts
Keyword(s):  
Numerical Simulation ◽  
Finite Element ◽  
Mathematical Formulation ◽  
Integral Form ◽  
Domain Specific Language ◽  
Specific Language ◽  
Domain Specific ◽  
Meta Programming ◽  
Programming Techniques ◽  
Methods Numerical

In finite element methods, numerical simulation of the problem requires the generation of a linear system based on an integral form of a problem. Using C++ meta-programming techniques, a method is developed that allows writing code that stays close to the mathematical formulation. We explain the specifics of our method, which relies on the Boost.Proto framework to simplify the evaluation of our language. Some practical examples are elaborated, together with an analysis of the performance. The abstraction overhead is quantified using benchmarks.

GRID DEPLOYMENT OF BIOINFORMATICS APPLICATIONS: A CASE STUDY IN PROTEIN SIMILARITY DETERMINATION

2004 ◽  
Vol 14 (02) ◽  
pp. 163-176 ◽  
Author(s):  
MATTEO COMIN ◽  
CARLO FERRARI ◽  
CONCETTINA GUERRA
Keyword(s):  
Structural Similarity ◽  
Data Representation ◽  
Service Model ◽  
Grid Infrastructure ◽  
Data Set ◽  
Structure Comparison ◽  
Standard Tool ◽  
Programming Techniques

In this paper we present a scenario for the grid immersion of the procedures that solve the protein structural similarity determination problem. The emphasis is on the way various computational components and data resources are tied together into a workflow to be executed on a grid. The grid deployment has been organized according to the bag-of-service model: a set of different modules (with their data set) is made available to the application designers. Each module deals with a specific subproblem using a proper protein data representation. At the design level, the process of task selection produces a first general workflow that establishes which subproblems need to be solved and their temporal relations. A further refinement requires to select a procedure for each previously identified task that solves it: the choice is made among different available methods and representations. The final outcome is an instance of the workflow ready for execution on a grid. Our approach to protein structure comparison is based on a combination of indexing and dynamic programming techniques to achieve fast and reliable matching. All the components have been implemented on a grid infrastructure using Globus, and the overall tool has been tested by choosing proteins from different fold classes. The obtained results are compared against SCOP, a standard tool for the classification of known proteins.

scholarly journals A Domain Specific Embedded Language in C++ for Automatic Differentiation, Projection, Integration and Variational Formulations

2006 ◽  
Vol 14 (2) ◽  
pp. 81-110 ◽  
Author(s):  
Christophe Prud'homme
Keyword(s):  
Numerical Integration ◽  
Automatic Differentiation ◽  
Functional Space ◽  
Test Problems ◽  
Domain Specific ◽  
Meta Programming ◽  
Programming Techniques ◽  
Expression Templates ◽  
Performance Behavior ◽  
Variational Formulations

In this article, we present a domain specific embedded language inC++ that can be used in various contexts such as numerical projection onto a functional space, numerical integration, variational formulations and automatic differentiation. Albeit these tools operate in different ways, the language overcomes this difficulty by decoupling expression constructions from evaluation. The language is implemented using expression templates and meta-programming techniques and uses various Boost libraries. The language is exercised on a number of non-trivial examples and a benchmark presents the performance behavior on a few test problems.

Sign in / Sign up

Export Citation Format

Share Document