The Experts below are selected from a list of 324 Experts worldwide ranked by ideXlab platform
Philippe Collet - One of the best experts on this subject based on the ideXlab platform.
-
sigma scala Internal Domain specific languages for model manipulations
Model Driven Engineering Languages and Systems, 2014Co-Authors: Filip Křikava, Philippe ColletAbstract:Model manipulation environments automate model operations such as model consistency checking and model transformation. A number of external model manipulation Domain-Specific Languages (DSL) have been proposed, in particular for the Eclipse Modeling Framework (EMF). While their higher levels of abstraction result in gains in expressiveness over general-purpose languages, their limitations in versatility, performance, and tool support together with the need to learn new languages may significantly contribute to accidental complexities.
-
Solving the TTC'14 FIXML Case Study with SIGMA
2014Co-Authors: Filip Krikava, Philippe ColletAbstract:SIGMA is a family of Scala Internal Domain-Specific Languages (DSLs) for model manipulation that provides expressive and efficient API for model consistency checking, model-to-model and model-to-text transformations. In this paper we describe a SIGMA solution for the Transformation Tool Contest 2014 (TTC'14) FIXML case study, a transformation of FIXML XML format into class definitions in Java, C# and C++. The full case study including all three extensions have been realized and are publicly available on Github and in the SHARE environment.
-
SAC - Manipulating models using Internal Domain-specific languages
Proceedings of the 29th Annual ACM Symposium on Applied Computing, 2014Co-Authors: Filip Křikava, Philippe ColletAbstract:In Model-Driven Engineering, a number of external Domain-Specific Languages (DSL) for model manipulation have been proposed. However, they require users to learn new languages that, together with their execution performance, usability and tool support limitations, can significantly contribute to accidental complexities. In this paper, we present an alternative approach based on Internal DSLs in Scala for model consistency checking and model transformations for the Eclipse Modeling Framework.
-
MoDELS - SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations
Lecture Notes in Computer Science, 2014Co-Authors: Filip Křikava, Philippe ColletAbstract:Model manipulation environments automate model operations such as model consistency checking and model transformation. A number of external model manipulation Domain-Specific Languages (DSL) have been proposed, in particular for the Eclipse Modeling Framework (EMF). While their higher levels of abstraction result in gains in expressiveness over general-purpose languages, their limitations in versatility, performance, and tool support together with the need to learn new languages may significantly contribute to accidental complexities.
Klaus Havelund - One of the best experts on this subject based on the ideXlab platform.
-
Internal versus external DSLs for trace analysis
Runtime Verification, 2012Co-Authors: Howard Barringer, Klaus HavelundAbstract:This tutorial explores the design and implementation issues arising in the development of Domain-specific languages for trace analysis. It introduces the audience to the general concepts underlying such special-purpose languages building upon the authors' own experiences in developing both external Domain-specific languages and systems, such as Eagle, Hawk, Ruler and LogScope, and the more recent Internal Domain-specific language and system TraceContract within the Scala language.
-
RV - Internal Versus External DSLs for Trace Analysis: Extended Abstract
2011Co-Authors: Howard Barringer, Klaus HavelundAbstract:This tutorial explores the design and implementation issues arising in the development of Domain-specific languages for trace analysis. It introduces the audience to the general concepts underlying such special-purpose languages building upon the authors’ own experiences in developing both external Domainspecific languages and systems, such as EAGLE, HAWK, RULER and LOGSCOPE, and the more recent Internal Domain-specific language and system TRACECONTRACT within the SCALA language.
-
tracecontract a scala dsl for trace analysis
Formal Methods, 2011Co-Authors: Howard Barringer, Klaus HavelundAbstract:In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the best weapon is a high level programming language augmented with constructs for temporal reasoning. A trace is a sequence of events, which may for example be generated by a running program, instrumented appropriately to generate events. The API supports writing properties in a notation that combines an advanced form of data parameterized state machines with temporal logic. The implementation utilizes SCALA's support for defining Internal Domain Specific Languages (DSLs). Furthermore SCALA's combination of object oriented and functional programming features, including partial functions and pattern matching, makes it an ideal host language for such an API.
Filip Křikava - One of the best experts on this subject based on the ideXlab platform.
-
Solving the TTC'16 Class Responsibility Assignment Case Study with SIGMA and Multi-Objective Genetic Algorithms
2016Co-Authors: Filip KřikavaAbstract:In this paper we describe a solution for the Transformation Tool Contest 2016 (TTC'16) Class Responsibility Assignment (CRA) case study using Sigma, a family of Scala Internal Domain-Specific Languages (DSLs) that provides an expressive and efficient API for model consistency checking and model transformations. Since the Class Responsibility Assignment problem is a search-based problem, we base our solution on multi-objective genetic algorithms. Concretely, we use NSGA-III and SPEA2 to minimize the coupling between classes' structural features and to maximize their cohesion.
-
Solving the TTC'15 Train Benchmark Case Study with SIGMA
2015Co-Authors: Filip KřikavaAbstract:This paper describes a solution for the Transformation Tool Contest 2015 (TTC'15) Train Benchmark case study using SIGMA, a family of Scala Internal Domain-Specific Languages (DSLs) that provides an expressive and efficient API for model consistency checking and model transformations.
-
sigma scala Internal Domain specific languages for model manipulations
Model Driven Engineering Languages and Systems, 2014Co-Authors: Filip Křikava, Philippe ColletAbstract:Model manipulation environments automate model operations such as model consistency checking and model transformation. A number of external model manipulation Domain-Specific Languages (DSL) have been proposed, in particular for the Eclipse Modeling Framework (EMF). While their higher levels of abstraction result in gains in expressiveness over general-purpose languages, their limitations in versatility, performance, and tool support together with the need to learn new languages may significantly contribute to accidental complexities.
-
SAC - Manipulating models using Internal Domain-specific languages
Proceedings of the 29th Annual ACM Symposium on Applied Computing, 2014Co-Authors: Filip Křikava, Philippe ColletAbstract:In Model-Driven Engineering, a number of external Domain-Specific Languages (DSL) for model manipulation have been proposed. However, they require users to learn new languages that, together with their execution performance, usability and tool support limitations, can significantly contribute to accidental complexities. In this paper, we present an alternative approach based on Internal DSLs in Scala for model consistency checking and model transformations for the Eclipse Modeling Framework.
-
MoDELS - SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations
Lecture Notes in Computer Science, 2014Co-Authors: Filip Křikava, Philippe ColletAbstract:Model manipulation environments automate model operations such as model consistency checking and model transformation. A number of external model manipulation Domain-Specific Languages (DSL) have been proposed, in particular for the Eclipse Modeling Framework (EMF). While their higher levels of abstraction result in gains in expressiveness over general-purpose languages, their limitations in versatility, performance, and tool support together with the need to learn new languages may significantly contribute to accidental complexities.
Howard Barringer - One of the best experts on this subject based on the ideXlab platform.
-
Internal versus external DSLs for trace analysis
Runtime Verification, 2012Co-Authors: Howard Barringer, Klaus HavelundAbstract:This tutorial explores the design and implementation issues arising in the development of Domain-specific languages for trace analysis. It introduces the audience to the general concepts underlying such special-purpose languages building upon the authors' own experiences in developing both external Domain-specific languages and systems, such as Eagle, Hawk, Ruler and LogScope, and the more recent Internal Domain-specific language and system TraceContract within the Scala language.
-
RV - Internal Versus External DSLs for Trace Analysis: Extended Abstract
2011Co-Authors: Howard Barringer, Klaus HavelundAbstract:This tutorial explores the design and implementation issues arising in the development of Domain-specific languages for trace analysis. It introduces the audience to the general concepts underlying such special-purpose languages building upon the authors’ own experiences in developing both external Domainspecific languages and systems, such as EAGLE, HAWK, RULER and LOGSCOPE, and the more recent Internal Domain-specific language and system TRACECONTRACT within the SCALA language.
-
tracecontract a scala dsl for trace analysis
Formal Methods, 2011Co-Authors: Howard Barringer, Klaus HavelundAbstract:In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the best weapon is a high level programming language augmented with constructs for temporal reasoning. A trace is a sequence of events, which may for example be generated by a running program, instrumented appropriately to generate events. The API supports writing properties in a notation that combines an advanced form of data parameterized state machines with temporal logic. The implementation utilizes SCALA's support for defining Internal Domain Specific Languages (DSLs). Furthermore SCALA's combination of object oriented and functional programming features, including partial functions and pattern matching, makes it an ideal host language for such an API.
Martine Vrijheid - One of the best experts on this subject based on the ideXlab platform.
-
The Pregnancy Exposome
Current Environmental Health Reports, 2015Co-Authors: Oliver Robinson, Martine VrijheidAbstract:The exposome concept takes a holistic approach facilitated by new and emerging technologies to describe ‘the totality of human environmental (i.e. non-genetic) exposures from conception onwards, complementing the genome’. It provides a framework to advance the environmental epidemiology field that has until now focused almost exclusively on single-exposure health effects. The exposome includes an external Domain, measured by methods including geo-spatial modelling, questionnaire and biomonitoring of external exposures while the Internal Domain is commonly assessed through molecular omics platforms. The Internal Domain, in part, reflects the biological response to the external Domain. New statistical frameworks are required to integrate and assess exposome-health effects. The pregnancy period is a key starting point to describe the dynamic exposome, due to its heightened sensitivity and potential lifetime impact. A handful of studies have started to move towards an exposome approach in assessing the effects of the multiple exposures during pregnancy on child development. New research projects are underway to test the exposome approach on a large scale.