Sciweavers

88 search results - page 3 / 18
» A compositional approach to bidirectional model transformati...
Sort
View
ICFP
2008
ACM
14 years 6 months ago
Quotient lenses
There are now a number of bidirectional programming languages, where every program can be read both as a forward transformation mapping one data structure to another and as a reve...
J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C...
WSFM
2007
Springer
14 years 4 days ago
From BPEL to SRML: A Formal Transformational Approach
The SENSORIA Reference Modelling Language (SRML) provides primitives for modelling business processes in a technology agnostic way. At the core of SRML is the notion of module as a...
Laura Bocchi, Yi Hong, Antónia Lopes, Jos&e...
TFM
2009
Springer
252views Formal Methods» more  TFM 2009»
14 years 18 days ago
Abstraction and Modelling: A Complementary Partnership
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
Jeffrey Kramer
CVPR
2005
IEEE
14 years 8 months ago
Polarization Multiplexing for Bidirectional Imaging
Our goal is to incorporate polarization in appearancebased modeling in an efficient and meaningful way. Polarization has been used in numerous prior studies for separating diffuse...
Oana G. Cula, Kristin J. Dana, Dinesh K. Pai, Dong...
CALCO
2009
Springer
169views Mathematics» more  CALCO 2009»
14 years 18 days ago
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation
Abstract. Model-to-model (M2M) transformation consists in transforming models from a source to a target language. Many transformation languages exist, but few of them combine a dec...
Fernando Orejas, Esther Guerra, Juan de Lara, Hart...