456 Hits in 2.9 sec

Deriving OCL Optimization Patterns from Benchmarks

Jesús Sánchez Cuadrado, Frédéric Jouault, Jesús Garcí­A-Molina, Jean Bézivin
In this paper we present five patterns intended to optimize the performance of model transformations when OCL queries are involved.  ...  For each pattern we will give an example as well as several implementation alternatives. Experimental data gathered by running benchmarks is also shown to compare the alternatives.  ...  Related work In [KG07] the need for developing benchmarks to compare different OCL engines is mentioned. The authors have developed several benchmarks that can be found in [Ocl].  ... 
doi:10.14279/tuj.eceasst.15.178.175 fatcat:gw6vc2bgy5flflab4rpzi44mtu

Recent Developments in OCL and Textual Modelling

Achim D. Brucker, Jordi Cabot, Gwendal Daniel, Martin Gogolla, Adolfo Sánchez-Barbudo Herrera, Frank Hilken, Frédéric Tuong, Edward D. Willink, Burkhart Wolff
2016 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
The panel session of the 16th OCL workshop featured a lightning talk session for discussing recent developments and open questions in the area of OCL and textual modelling.  ...  During this session, the OCL community discussed, stimulated through short presentations by OCL experts, tool support, potential future extensions, and suggested initiatives to make the textual modelling  ...  .: Featherweight ocl: A proposal for a machinechecked formal semantics for ocl 2.5. Archive of Formal Proofs (2014). http:  ... 
dblp:conf/models/BruckerCDGHHTWW16 fatcat:p4b55fqxvngbpffjvgx2d2qxai

Experiments with a High-Level Navigation Language [chapter]

Jesús Sánchez Cuadrado, Frédéric Jouault, Jesús García Molina, Jean Bézivin
2009 Lecture Notes in Computer Science  
Writing ecient code in OCL is usually a dicult task because of the nature of the language and the lack of optimizing OCL compilers. Moreover, optimizations generally reduce readability.  ...  Model transformation languages often implement some variants of OCL as their navigation language.  ...  From such code, the essential parts will be identied, and an HLN construct will be derived from them.  ... 
doi:10.1007/978-3-642-02408-5_16 fatcat:lbuf2a2dyfcivkgr7qgh3fkwuq

Efficient ATL Incremental Transformations

Théo Le Calvar, Frédéric Jouault, Fabien Chhel, Mickael Clavreul
2019 Journal of Object Technology  
Furthermore, this compiler also enables new possibilities like defining derived properties by leveraging the ATL refining mode.  ...  Active operations have been shown to offer performant OCL-based model transformation incrementality with useful properties like fine-grained change propagation, and the preservation of collection ordering  ...  The approach used in Viatra is based on graph patterns and is quite different from approaches like ATL or QVT, which rely on OCL [Obj14] as navigation language.  ... 
doi:10.5381/jot.2019.18.3.a2 fatcat:tdqruryiwjgm3opdmpmvj6o4am

Stress-testing remote model querying APIs for relational and graph-based stores

Antonio Garcia-Dominguez, Konstantinos Barmpis, Dimitrios S. Kolovos, Ran Wei, Richard F. Paige
2017 Journal of Software and Systems Modeling  
Where available, the query-specific indexed and derived attributes in Hawk outperformed the comprehensive generic caching in CDO.  ...  OCL is reasonably straightforward to use for queries with simple pattern matching, like OQ/MQ from GraBaTs'09 or the Train Benchmark PL and SM queries.  ...  For Hawk, the OCL queries were translated to the Epsilon Object Language (EOL), optimized for Hawk features and then further translated to the Epsilon Pattern Language (EPL).  ... 
doi:10.1007/s10270-017-0606-9 fatcat:p5mvs3qfozefnkdsupc6eegxw4

Scalability of Model Transformations: Position Paper and Benchmark Set

Daniel Strüber, Timo Kehrer, Thorsten Arendt, Christopher Pietsch, Dennis Reuling
2016 International Conference on Software Technologies: Applications and Foundations  
The transformation rule sets in these benchmarks have acted as an evaluation basis in our previous work.  ...  We introduce three model transformation benchmarks and discuss how they are affected by these challenges.  ...  This is a computational expensive pattern matching problem. Thus, the optimization of a recognition rule set is a primary concern and an adequate performance benchmark.  ... 
dblp:conf/staf/0001KAPR16 fatcat:hyn4yjj4x5cqrmuzv3wldmjeie

NAS Parallel Benchmarks for GPGPUs Using a Directive-Based Programming Model [chapter]

Rengan Xu, Xiaonan Tian, Sunita Chandrasekaran, Yonghong Yan, Barbara Chapman
2015 Lecture Notes in Computer Science  
We present the application of techniques such as array privatization, memory coalescing, cache optimization and examine their impact on the performance of the benchmarks.  ...  Accelerators such as GPGPUs are optimized for throughput and offer high GFLOPS and memory bandwidth.  ...  device directive is used if the device needs some data from the host. 5) Optimize data structures and array access pattern to efficiently use the device memory.  ... 
doi:10.1007/978-3-319-17473-0_5 fatcat:25gloejzqzeetcxmaa4cxctkwu

Using UML and OCL for representing multiobjective combinatorial optimization problems

Yönet A. Eracar, Mieczyslaw M. Kokar
2012 Journal of Intelligent Manufacturing  
benchmark programs.  ...  This paper describes the results of a preliminary feasibility study of an approach to representing Multiobjective Combinatorial Optimization Problems in UML (structural constraints) and OCL (procedural  ...  The use of a generic CSP for deriving product configurations was presented in [72] .  ... 
doi:10.1007/s10845-012-0705-y fatcat:lmfw4c64ezcsnhcwkspmsrx2ue

Sample Condensation in Online Continual Learning [article]

Mattia Sangermano, Antonio Carta, Andrea Cossu, Davide Bacciu
2022 arXiv   pre-print
Online Continual learning is a challenging learning scenario where the model must learn from a non-stationary stream of data where each sample is seen only once.  ...  The main challenge is to incrementally learn while avoiding catastrophic forgetting, namely the problem of forgetting previously acquired knowledge while learning from new data.  ...  For example, [18] keeps the memory balanced between the classes such that every time data from a new class arrives it is also added into the memory and an equal number of patterns from the other classes  ... 
arXiv:2206.11849v1 fatcat:3d6tybtfdba73ecr6aqbhromka

Detecting Specification Errors in Declarative Languages with Constraints [chapter]

Ethan K. Jackson, Wolfram Schulte, Nikolaj Bjørner
2012 Lecture Notes in Computer Science  
Here is an example of a model transformation rule (in pseudocode) where patterns in the rule range over ASTs / ASGs: FIND: A transition t s.t. src(t) = s a , dst(t) = s b , and guard(t) = g OCL .  ...  The second derivation applies γ − ↑ before γ − ↓ . In the end, both derivations agree on the must precise types for the variables.  ... 
doi:10.1007/978-3-642-33666-9_26 fatcat:wllx2cpnbndnlfoscbeuboypii

Verification-driven slicing of UML/OCL models

Asadullah Shaikh, Robert Clarisó, Uffe Kock Wiil, Nasrullah Memon
2010 Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10  
In this paper, we consider a specific static model (UML class diagrams annotated with unrestricted OCL constraints) and a specific property to verify (satisfiability, i.e., "is it possible to create objects  ...  Another trivially satisfiable pattern which can also be removed is the derived value constraint, where the value of one attribute depends on the values of other attributes.  ...  The division into subproblems is the following: Table 4 : Description of the UML/OCL benchmarks. 4 Example Classes Associations Attributes Invariants Satisfiable?  ... 
doi:10.1145/1858996.1859038 dblp:conf/kbse/ShaikhCWM10 fatcat:h3zn5ks3gjemhjhtslrzerv2vy

Generating Examples for Knowledge Abstraction in MDE: a Multi-Objective Framework

Edouard Batot
2015 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
We illustrated our method by generating a near-optimal set of models for the peculiar constraint learning task.  ...  We evaluated its efficiency comparing the resulting generated set with the best one issued from a raw random generation.  ...  Fleurey et [7] characterize models to test metamodels but do not derive knowledge from them.  ... 
dblp:conf/models/Batot15 fatcat:drqgd6k34ngn7d3gt5vzs4difi

OpenCL framework for ARM processors with NEON support

Gangwon Jo, Won Jong Jeon, Wookeun Jung, Gordon Taft, Jaejin Lee
2014 Proceedings of the 2014 Workshop on Workshop on programming models for SIMD/Vector processing - WPMVP '14  
Vector operations and built-in functions in OpenCL kernels are optimized using the NEON SIMD instruction set. We evaluate our OpenCL framework using 37 benchmark applications.  ...  OCL versions of SGEMM and STENCIL have superlinear speedups because the array access patterns of the OCL versions differs from that of the SEQ versions.  ...  Benchmark Applications We chose 37 benchmark applications from OpenCL samples in AMD APP SDK [4] , Parboil benchmarks [25] , and SNU NPB suite [22] .  ... 
doi:10.1145/2568058.2568064 dblp:conf/ppopp/JoJJTL14 fatcat:aoowwi74kncolnd7dlaswnaj5u

The Train Benchmark: cross-technology performance evaluation of continuous model queries

Gábor Szárnyas, Benedek Izsó, István Ráth, Dániel Varró
2017 Journal of Software and Systems Modeling  
The Train Benchmark is available as an opensource project with continuous builds from https://github. com/FTSRG/trainbenchmark.  ...  The benchmark focuses on the performance of query evaluation, i.e. its execution time and memory consumption, with a particular emphasis on reevaluation.  ...  Macrobenchmarks test complex use cases derived from real applications [13, 98] .  ... 
doi:10.1007/s10270-016-0571-8 pmid:30220905 pmcid:PMC6132656 fatcat:7rrvuvl75bblnnr5lcrojpvwsm

MONDO-SAM: A Framework to Systematically Assess MDE Scalability

Benedek Izsó, Gábor Szárnyas, István Ráth, Dániel Varró
2014 International Conference on Software Technologies: Applications and Foundations  
To illustrate the practical applicability of our proposal, we demonstrate how different variants of a model validation benchmark featuring several MDE tools from various technological domains have been  ...  To enable systematic and reproducible benchmarking across different domains, scenarios and workloads, we propose MONDO-SAM, an extensible MDE benchmarking framework.  ...  Inputs can also be derived from real-world applications, or are synthetically generated providing complete control over the benchmark.  ... 
dblp:conf/staf/IzsoSRV14 fatcat:wfvb7u7zazbg7eassamnnbmtbq
« Previous Showing results 1 — 15 out of 456 results