Call For Papers

First International Workshop on Bidirectional Transformations (2012)

Bidirectional transformations (bx) are a mechanism for maintaining the
consistency of at least two related sources of information. Such sources
can be databases, software models, documents, graphs, and trees. BX are
an emerging topic in a wide range of research areas with prominent
presence at top conferences in different fields. The workshop BX'12 now establishes a dedicated venue for bx in all relevant areas. The methodologies used for bx range from
classical program transformation to graph transformation techniques,
from ad-hoc techniques for data synchronization to the development of
domain-specific languages and their integration. We also
solicit papers on model/metamodel co-evolution, which is a different yet
closely related subject.

Aims and Topics

The aim of the workshop is to bring together
researchers, established and new, interested in bidirectional
transformations from different perspectives, such as: language-based
approaches, software/model transformations, and data/schema co-evolution.

Topics of interest for BX'12 include, but are not limited to:

(coupled) software/model transformations

software-model synchronization

data-schema co-evolution and data synchronization

consistency analysis

language-based approaches

analysis/classification of requirements for bx technologies

case studies and tool support

comparison of bx technologies

efficiency of algorithms and benchmarks

Regular submissions (11-15 pages) can be:

research papers providing new concepts and results

position papers and research perspectives

papers that apply bx in new domains

papers closing gaps between formal concepts and application scenarios

We also welcome submissions of short papers as well as abstracts for lightning talks.

Proceedings

Accepted regular papers will appear as a volume of EC-EASST.
A preliminary version of the proceedings, including the short papers and lightning talk abstracts as well, will be available at the workshop.

Authors of short papers may be invited to extend their contribution to a full paper for
inclusion in the formal proceedings.

Submission Guidelines

Submissions are expected in the following categories:

regular papers (11 to 15 pages)

short papers (up to 8 pages)

lightning talks (extended abstracts)

Submissions can use LNCS or EC-EASST style, but accepted papers will have to be (re-)formatted for EC-EASST style before the camera-ready deadline.

Regarding the EC-EASST style, note that the cover page automatically produced does not count towards the page limits.

Invited Speakers

Abstract: Model Driven Engineering (MDE) is a software engineering paradigm that attacks the accidental complexity in the development process by increasing the abstraction level at which engineers work. In this way, models (in contrast to programs) are the core assets, and model transformations become first-class citizens. Still, most current transformation languages are directed to the implementation of model transformations, and little effort is currently devoted to support other phases of the transformation development, like requirements specification or testing.
In this talk, I will first present a formal language (called PAMOMO) for the specification of model transformations in a declarative, graphical, bidirectional way. The approach is based on patterns or constraints describing the allowed and forbidden relations between two models. Such specification can be compiled into operational mechanisms, based on Graph Transformation, to perform forward and backward transformations. The language has a general semantics, which makes it applicable to several scenarios and activities relevant for MDE, which will be explored in the second part of the talk.
First, PAMOMO can be used as a general framework supporting inter-modelling, which is the activity of building models that describe how other models should be related. This includes many common activities in MDE, like the specification of model-to-model transformations seen before, but also the definition of model matching and model traceability constraints, the development of inter-model consistency maintainers and exogenous model management operators. Second, PAMOMO can be used as a language for specifying transformation contracts, enabling the verification of transformations implemented with any transformation language. The verification can be performed by compiling the contracts either into OCL expressions, which can then be used as partial oracle functions, or into QVT Relations check-only transformations to detect disconformities of transformation results with respect to the contracts. Finally, the general bi-directional semantics of PAMOMO can be used as a basis to describe other languages, like QVT Relations.

Abstract: Most processes in database engineering consist in transforming schemas according to definite requirements. Basically, a schema transformation is a rewriting rule that allows schema constructs to be replaced by other constructs that are expected to better meet these requirements. Schema normalization, logical design, schema integration, view derivation, proving schema equivalence, data conversion, database reverse engineering, database evolution, schema optimization, ETL, wrapper generation are some popular database related processes that can be modelled as schema transformations.
In most cases, schemas have instances, so that parallel data transformation rules are associated with schema transformations in order to adapt the contents of the source database to the new target schema. A transformation is qualified semantics-preserving, or bidirectional, if there exists an inverse transformation through which the source database (schema and instances) can be recovered from the target database. This class of transformations are important in that they guarantee the preservation of information capacity of the source database through an arbitrary chain of transformations. For instance, describing the database design process as a bidirectional transformation ensures that all the user requirements expressed by the conceptual schema have been translated into the physical database. Conversely, modeling database reverse engineering as a chain of (mostly) bidirectional transformations helps in recovering the hidden intended semantics of a physical database.
In this talk, we briefly recall the principles of database engineering as a specific domain of complex software systems engineering. We then describe basic and practical aspects of database transformation techniques including their properties of semantics preservation. Major database engineering activities are redefined in terms of transformation techniques, and the impact on CASE technology is discussed and illustrated.