WAFOCA 2006 
WAFOCA 20061st International Workshop on Algebraic Foundations for OCL and Applications Valencia, Spain, March 22nd, 2006 Home page: http://moment.dsic.upv.es/workshops/WAFOCA06/ Workshop DescriptionWAFOCA 2006 is the 1st International Workshop on Algebraic Foundations for OCL and Applications. WAFOCA 2006 is funded by the DYNAMICA project. Its aim is to bring theoreticians, developers and practitioners together to discuss different formal approaches to apply OCL as both constraint and query language in the ModelDriven Engineering field. The call for papers is also available in pdf format. Aims & ScopeModelDriven Development has evolved to the ModelDriven Engineering field, where not only design and code generation tasks are involved, but also traceability, model management, metamodeling issues, model interchange and persistence, etc. To fulfil these tasks, model transformations and model queries are relevant tasks that must be solved. In the MDA context, they are dealt from an openstandard point of view. The standard Query/Views/Transformations (QVT) provides support for both transformations and queries, where OCL seems to be the best choice for defining model queries. OCL is a textual language that is defined as a standard “addon” to the UML standard. It is used to define constraints and queries on UML models, allowing the definition of more precise and more useful models. It can also be used to provide support for metamodeling. Despite its many advantages, while there is wide acceptance for UML design in CASE tools, OCL lacks a wellsuited technological support. In this workshop, we focus on the development of tools that provide formal support for OCL and on its applications as well. Special interest is given to algebraic formalisms or graph grammarbased approaches, and applications. This workshop solicits research contributions and experience reports having an impact on the study of formal approaches for OCL and its applications. Paper submission will be done by invitation, whereas the attendance to the workshop is free. Topics of interest include (but are not restricted to):
Invited SpeakerDr. Reiko Heckel (personal web site). Foundations of Model Transformations At the heart of modeldriven engineering are activities like maintaining consistency, evolution, translation, and execution of models. These are examples of model transformations. A (mathematical) foundation is needed for studying issues like the expressiveness and complexity, execution and optimisation, welldefinedness and semantic correctness of transformations. This lecture is about graph transformations as one such foundation. After introducing the basic concepts of graph transformation by means of an example, different applications of graph transformations to model transformations will be discussed. A survey of relevant theory and tools concludes the presentation.
Important Dates
Paper Submission and Workshop ProceedingsPaper submission will be done by invitation. Submitted papers should be 815 pages in length. Papers must be submitted by email as postscript or pdf documents to José Á. Carsí ( This email address is being protected from spam bots, you need JavaScript enabled to view it ). The organizing committee will review the submissions and select papers according to their relevance and interest for the discussions that will take place at the workshop. Authors are encouraged to use the Springer LNCS format ( http://www.springer.de/comp/lncs/authors.html) for their papers. The official language of the workshop is English. All accepted papers will be published by the publishing services of the Technical University of Valencia as Technical Report (ISBN is being negotiated). Online proceedings will be available at the WAFOCA'06 web site after the workshop. It is mandatory, that at least one author of each accepted paper attends the workshop and presents the paper there. The preproceedings of the workshop are available here. Workshop Programme
LocationWAFOCA 2006 will be held in Valencia, Spain in March 22nd, 2006. See the detailed information. For information about Valencia, see among others:
Organizing Committee
ProceedingsSee the WAFOCA'06 proceedings.
Contact InformationFor more information, please contact the organizers
This email address is being protected from spam bots, you need JavaScript enabled to view it
