Sciweavers

1431 search results - page 15 / 287
» Solving Constraints in Model Transformations
Sort
View
CP
2009
Springer
15 years 10 months ago
Solving a Location-Allocation Problem with Logic-Based Benders' Decomposition
Abstract. We address a location-allocation problem that requires deciding the location of a set of facilities, the allocation of customers to those facilities under facility capaci...
Mohammad M. Fazel-Zarandi, J. Christopher Beck
UML
2005
Springer
15 years 2 months ago
Simplifying Transformations of OCL Constraints
Abstract. With the advent of Model Driven Architecture, OCL constraints are no longer necessarily written by humans. They can be part of models that emerge from a chain of transfor...
Martin Giese, Daniel Larsson
ENTCS
2006
161views more  ENTCS 2006»
14 years 9 months ago
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation
In this paper we give an overview of formal concepts for model transformations between visual languages based on typed attributed graph transformation. We start with a basic conce...
Hartmut Ehrig, Karsten Ehrig
85
Voted
CAEPIA
2003
Springer
15 years 2 months ago
An Interactive Train Scheduling Tool for Solving and Plotting Running Maps
We present a tool for solving and plotting train schedules which has been developed in collaboration with the National Network of Spanish Railways (RENFE). This tool transforms rai...
Federico Barber, Miguel A. Salido, Laura Paola Ing...
GECCO
2005
Springer
158views Optimization» more  GECCO 2005»
15 years 3 months ago
Transition models as an incremental approach for problem solving in evolutionary algorithms
This paper proposes an incremental approach for building solutions using evolutionary computation. It presents a simple evolutionary model called a Transition model in which parti...
Anne Defaweux, Tom Lenaerts, Jano I. van Hemert, J...