-- Apologies for multiple postings --

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Fourteenth IEEE International EDOC Conference (IEEE EDOC 2010)
         "The Enterprise Computing Conference"
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Sponsored by IEEE Computer Society (approval pending) and IEEE Communications
Society (approval pending)
Supported by OMG and The Open Group

25-29 October 2010, Vitória, ES, Brazil
http://edocconference.org

LinkedIn:
http://events.linkedin.com/14th-IEEE-International-EDOC-Conference/pub/152862
Twitter: http://twitter.com/ieee_edoc


~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
CALL FOR PAPERS AND WORKSHOP PROPOSALS
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

~~~  ABOUT THE CONFERENCE

The IEEE EDOC Conference is the key annual event in enterprise computing. EDOC
conferences address the full range of engineering technologies and methods
contributing to intra- and inter-enterprise distributed application systems.
EDOC 2010 will be the fourteenth event in the series of conferences. Since 1997,
EDOC has brought together leading computer science researchers, IT decision
makers, IT architects, solution designers and practitioners to discuss
enterprise computing challenges, models and solutions from the perspectives of
academia, industry and government.

Enterprise computing is based on a wide (and ever growing) range of methods,
models, tools and technologies. The resulting applications also cover a broad
spectrum of vertical domains and industry segments, from electronic and mobile
commerce to real-time business applications for collaborating enterprises. In
recent years, technologies related to business processes integration,
management, execution and monitoring have become some of the top areas of
interest in enterprise computing. Today, the creation, operation and evolution
of enterprise computing systems create challenges that range from high-level
requirements and policy modeling to the deployment and maintenance of solutions
in and across customer businesses.

The IEEE EDOC Conference emphasizes a holistic view on enterprise applications
engineering and management, fostering integrated approaches that can address and
relate processes, people and technology. The themes of openness and distributed
computing, based on services, components and objects, provide a useful and
unifying conceptual framework.

IEEE EDOC 2010 welcomes high quality scientific submissions as well as papers on
enterprise computing industry experiences. Expert panel discussions and keynotes
will address hot topics and issues in the domain.

IEEE EDOC 2010 will be realized in Vitória, ES, Brazil. Vitória is one of the
three island capitals of Brazilian states, and is located in the Southeastern
region, the most developed of Brazil. The city lies between the Atlantic Ocean
and the Serra do Mar mountain range and is strategically located close to the
big urban centres of the country and is, on average, an hour by plane from Rio
de Janeiro and São Paulo.


~~~ TOPICS

The IEEE EDOC conference seeks high-quality contributions addressing the
domains, the life-cycle issues and the realization technologies involved in
building, deploying and operating enterprise computing systems. Suggested areas
include, but are not limited to --

Enterprise Application Architecture and Enterprise Architecture
  - Model based approaches
  - Model driven architectures (MDA) and model driven software development
  - Recent UML based approaches
  - Modeling based on domain specific languages (DSL)
  - Reference architecture based approaches
  - Standards for enterprise application architecture and enterprise architecture
  - Enterprise modeling
  - Collaborative development and cooperative engineering issues
  - Organization and principles of software factories
  - Service oriented architectures (SOA) and enterprise service architectures
(ESA)
  - Evolution of service engineering specifications
  - Semantics based service engineering
  - Enterprise service bus approaches
  - Event driven architectures
  - Service oriented architecture governance
  - Service policies and contract definitions and enforcement
  - Security policy definition and description languages
  - Security policy interoperability
  - Business process management (BPM)
  - Business process models and metamodels
  - Business process monitoring and intelligence
  - Dynamically configurable business processes
  - People integration in BPM systems
  - Cross-organizational business processes
  - Business rules
  - Business rules languages and inference systems
  - Business rules components
  - Rule driven business process engines
  - Information integration and interoperability
  - Business object model methodologies and approaches
  - Taxonomies, ontologies and business knowledge integration
  - Master data management, data mining and (real-time) data warehousing

Networked Enterprise Solutions
  - Enterprise interoperability, collaboration and its architecture
  - Virtual organisations, including multiagent system support
  - Digital ecosystems
  - Trust management

Enterprise Applications Implementation and Management
  - Enterprise applications deployment and governance
  - Maturity models for enterprise applications
  - Performance and operational risk prediction and measurement
  - Quality of service (QoS) and cost of service (CoS)
  - Total cost of ownership (TCO) for enterprise scale solutions
  - Management and maintenance of enterprise computing systems
  - Information assurance
  - Human and social organizational factors in enterprise computing
  - State of the art in distributed enterprise applications
  - Industry specific solutions, e.g. for aerospace, automotive, finance,
logistics, medicine and telecommunications
  - Research and public sector collaboration, e.g. in e-health, e-government,
e-science
  - Social information and innovation networks

Enterprise Computing Infrastructures
  - Autonomic computing and self-managing platforms
  - Grid computing approaches
  - Mobile enterprise services
  - Identity management and distributed access control


~~~ SUBMISSION GUIDELINES

Two types of paper submissions will be accepted a) scientific research papers,
and b) industry experience reports or case studies.
Scientific research papers should describe original results that have not been
accepted or submitted for publication elsewhere. These papers will be evaluated
for scientific or technical contribution, originality, appropriateness and
significance.
Experience reports should describe new insights gained from case studies or the
application of enterprise computing technology in practice, contribute important
feedback about the state of practice and how current research is applied, and
pose challenges for researchers. These papers will be evaluated based on their
appropriateness, significance and clarity.

All papers should be limited to 10 pages in length. All submissions must comply
with the IEEE Computer Society conference proceedings format guidelines
(http://www2.computer.org/portal/web/cscps/formatting) (please use the latest
template as there have been updates recently). Submissions must be in English.
Submissions should be made electronically in PDF format via the electronic
submission system of the EDOC Conference Management system (hosted at
http://www.easychair.org/conferences/?conf=edoc2010). All papers will be
refereed by at least 3 members of the international program committee.

The conference proceedings will be published by the IEEE Computer Society Press
and will be accessible through IEEE Xplore and the IEEE Computer Society Digital
Library. The IEEE reserves the right to exclude a paper from distribution after
the conference (e.g., removal from IEEE Xplore) if the paper is not presented at
the conference.


~~~ POST CONFERENCE PUBLICATION

The authors of a set of selected papers will be invited to prepare a
substantially revised and extended version of their papers for publication in a
special journal issue (details will be announced later). In previous years,
selected papers from EDOC have been published in Springer's Information Systems
Frontiers (ISF), Enterprise Information Systems (EIS), and International Journal
of Cooperative Information Systems (IJCIS). Additionally, selected papers will
be considered for publication of an extended version in a volume of Springer
Lecture Notes in Computer Science (LNCS) under the title "Trends in Enterprise
Application Architecture".


~~~ WORKSHOP PROPOSALS

We are inviting proposals for workshops on innovative research and
industry-related topics. Workshops provide organizers and participants an
opportunity to discuss current topics in enterprise computing in a small and
interactive atmosphere. Proposals should include the workshop title, the names
and a brief (200-word) biography for each organizer and a summary of the
workshop contents (approximately 1-2 pages, i.e. 500-1000 words). Further
information about workshop proposal submissions can be found in the call for
workshops at http://edoc2010.inf.ufes.br/callforworkshops


~~~ IMPORTANT DATES

Paper abstract submission:  10 March 2010
Full paper submission due: 17 March 2010
Paper acceptance notification: 28 May 2010
Camera-ready papers due:  16 June 2010

Workshop proposals due:  10 December 2009
Workshop acceptance notification: 17 December 2009


~~~ ORGANIZING COMMITTEE

General Chair:
  João Paulo A. Almeida (Fed. Univ. of Espirito Santo, Brazil)

Program Chairs:
  Giancarlo Guizzardi (Fed. Univ. of Espirito Santo, Brazil)
  Lea Kutvonen (University of Helsinki, Finland)

Workshops Chair:
  Maria-Eugenia Iacob (University of Twente, The Netherlands)

Finance Chair:
  Roberta Lima Gomes (Fed. Univ. of Espirito Santo, Brazil)

Publicity Chairs:
  José Raúl Romero (University of Cordoba, Spain)
  Dragan Gasevic (Athabasca University, Canada)


~~~ STEERING COMMITTEE

Colin Atkinson, Chair (University of Mannheim, Germany)
Barrett Bryant (University of Alabama-Birmingham, USA)
Dirk Draheim (University of Auckland, New Zealand)
Keith Duddy (Queensland University of Technology, Australia)
Patrick C. K. Hung (University of Ontario Institute of Technology, Canada)
Peter F. Linington (University of Kent, UK)
Zoran Milosevic (Deontik, Australia)
Donald W. Sparrow, Jr. (MITRE Corporation, USA)
Marcus Spies (Ludwig-Maximilians University, Germany)
Maarten Steen (Novay, Netherlands)
Marten J. Van Sinderen (University of Twente, Netherlands)
Gerald Weber (University of Auckland, New Zealand)


~~~ PROGRAM COMMITTEE (to be confirmed)

Jan-Oyvind Aagedal (Telenor, Norway)
Witold Abramowicz (Poznan University of Economics, Poland)
Markus Aleksy (ABB Corporate Research, Germany)
Ilkay Altintas (University of California, San Diego, USA)
Joao Paulo A. Almeida (Fed. Univ of Espirito Santo, Brazil)
Jose Enrique Armendariz-Inigo (Universidad Pública de Navarra, Spain)
Colin Atkinson (University of Mannheim, Germany)
Claudio Bartolini (Hewlett-Packard, USA)
James Bailey (University of Melbourne, Australia)
Hubert Baumeister (Technical University of Denmark, Denmark)
Andrew Berry (Deontik, Australia)
Jean Bezivin (University of Nantes, France)
Behzad Bordbar (Birmingham University, UK)
Barrett Bryant (University of Alabama-Birmingham, USA)
Chia-Chu Chiang (University of Arkansas at Little Rock, USA)
Dickson Chiu (Dickson Computer Systems, Hong Kong)
Fred Cummins (EDS, USA)
Judith Cushing (The Evergreen State College, USA)
Ernesto Damiani (University of Milan, Italy)
Oscar Diaz (University of the Basque Country, Spain)
Remco Dijkman (Eindhoven University of Technology, Netherlands)
Boudewijn van Dongen (Eindhoven University of Technology, Netherlands)
Dirk Draheim (Software Competence Center Hagenberg, Austria)
Keith Duddy (Queensland University of Technology, Australia)
Juergen Ebert (Universitaet Koblenz, Germany)
Dieter Fensel (Digital Enterprise Research Institute, Austria)
Gerald Gannod (Arizona State University, USA)
Dragan Gasevic (Athabasca University, Canada)
Aditya Ghose (University of Wollongong, Australia)
Aniruddha Gokhale (Vanderbilt University, USA)
Claude Godart (Universite Henri Poincare, Nancy and INRIA, France)
Martin Gogolla (Universitaet Bremen, Germany)
Guido Governatori (University of Queensland, Australia)
Tyrone Grandison (IBM Research Almaden, USA)
Giancarlo Guizzardi (Fed. Univ of Espirito Santo, Brazil)
Jun Han (Swinburne University of Technology, Australia)
Patrick C. K. Hung (University of Ontario Institute of Technology, Canada)
Raj Jain (Washington University in St. Louis, USA)
Pontus Johnson (Royal Institute of Technology, Sweden)
Eleanna Kafeza (Athens University of Economics and Business, Greece)
Alexander Knapp (University of Augsburg, Germany)
Axel Korthaus (University of Mannheim, Germany)
Evangelos Kotsovinos (Morgan Stanley, UK)
Thomas Kuehne (Victoria University, Wellington)
Josef Kueng (Johannes Kepler Universitaet, Linz)
Ashish Kundu (Purdue University, USA)
Lea Kutvonen (University of Helsinki, Finland)
Marc Lankhorst (Novay, Netherlands)
Fion Lee (Hong Kong Baptist University, Hong Kong)
Gunther Lenz (Microsoft, USA)
Ho-fung Leung (Chinese University of Hong Kong, Hong Kong)
Grace Lewis  (Carnegie Mellon University, USA)
Frank Leymann (Stuttgart University, Germany)
Giuseppe A. Di Lucca (University of Sannio, Italy)
Christof Lutteroth (University of Auckland, New Zealand)
Peter F. Linington (University of Kent, UK)
Claudia Linnhoff-Popien (Munich University, Germany)
Florian Matthes (TUM, Germany)
Josephine Micallef (Telcordia Technologies Inc., USA)
Roland Mittermeir (Universitaet Klagenfurt, Austria)
Frederic Montagut (SAP Research, Switzerland)
Jan Newmarch (Monash University, Australia)
Francois Pacull (Xerox Research Europe, France)
George Papadopoulos (University of Cyprus, Cyprus)
Dunlu Peng (University of Shanghai for Science and Technology, China)
Luis Ferreira Pires (University of Twente, Netherlands)
Frantisek Plasil (Charles University, Czech Republic)
Thomas Preuss (Fachhochschule Brandenburg, Germany)
Iman Hafiz Poernomo (King's College, UK)
Dick Quartel (Novay, Netherlands)
Vijaykumar Rachamadugu (MITRE Corporation, USA)
Rajeev Raje (Indiana University/Purdue University at Indianapolis, USA)
Kerry Raymond (Queensland University of Technology, Australia)
Tom Ritter (Fraunhofer Fokus, Germany)
Jose Raul Romero (University of Cordoba, Spain)
Klaus-Dieter Schewe (Massey University, New Zealand)
Douglas C. Schmidt (Vanderbilt University, USA)
Dennis Smith (Carnegie Mellon University, USA)
Tony Shan (Wachovia Bank, USA)
Yuqing Sun (Shandong University, China)
Richard Soley (Object Management Group, USA)
Susanne Strahringer (TU Dresden, Germany)
Yazhe Tang (University of Western Ontario, Canada)
Michiaki Tatsubori (IBM Tokyo Research Laboratory, Japan)
Kerry Taylor (CSIRO, Australia)
Bernhard Thalheim (Christian-Albrechts-Universitaet Kiel, Germany)
Vladimir Tosic (NICTA, Australia)
Can Tuerker (ETH Zuerich, Switzerland)
Antonio Vallecillo (University of Malaga, Spain)
Pieter van Gorp (University of Antwerp, Belgium)
Mark van den Brand (Technical University of Eindhoven, Netherlands)
Hans Vangheluwe (McGill University, Canada)
Gerd Wagner (Brandenburg University of Technology, Germany)
Changzhou Wang (Boeing, USA)
Xiaoling Wang (Fudan University, China)
Gerald Weber (University of Auckland, New Zealand)
Edward Willink (Thales Research and Technology, UK)
Martin Wirsing (LMU Munich, Germany)
Andreas Wombacher (University of Twente, Netherlands)
Huaigu Wu (SAP Labs, Canada)
Jian Yang (Macquarie University, Australia)
Benjamin Yen (University of Hong Kong, Hong Kong)
Xiaofeng Yu (Nanjing University, China)
Michael Zapf (University of Kassel, Germany)


~~~ Note:

EDOC program inquiries should be sent to program co-chairs, Giancarlo Guizzardi
(gguizzardi (at) acm.org) and Lea Kutvonen (Lea.Kutvonen (at) cs.Helsinki.FI)

Other inquires should be sent to the general chair, João Paulo A. Almeida
(jpalmeida (at) ieee.org)




--------------------------------------
Dr. José RAÚL ROMERO
URL. http://www.jrromero.net
--------------------------------------

FINAL CALL FOR PAPERS

The Fifteenth IEEE International Conference on Engineering of Complex
Computer Systems (ICECCS 2010)

St Anne's College, University of Oxford, United Kingdom, 24-26 March 2010

http://web.comlab.ox.ac.uk/ICECCS2010/

-----------------------------------------------------------------------
The success of key human activities ranging from research and business to
everyday services relies on the use of ever more sophisticated,
feature-rich
and complex computer systems. These complex computer systems are
regularly required to accomplish more, faster and on a broader scale, to
adapt
dynamically to changing workloads, scenarios and objectives, and to achieve
guaranteed levels of performance and dependability. Satisfying such
demanding
requirements in the presence of the variability, heterogeneity and
non-linear
behaviour that characterise complex computer systems poses numerous
challenges
to both their developers and their users.

The aim of the conference is to bring together researchers,
practitioners and leading
experts from academia and industry, to advance the state of the art in
the specification,
development, validation and verification, and management of complex
computer systems.
-----------------------------------------------------------------------

SCOPE AND TOPICS
-----------------------------------------------------------------------
Authors are invited to submit papers describing original, unpublished
research results,
case studies and tools. Topics of interest include but are not limited
to the following aspects
of complex computer systems:

* Requirement specification and analysis
* Verification and validation
* Model-driven development
* Reverse engineering and refactoring
* Design by contract
* Agile methods
* Safety-critical & fault-tolerant architectures
* Adaptive, self-managing and multi-agent systems
* Real-time, hybrid and embedded systems
* Systems of systems
* Tools and tool integration
* Industrial case studies

Different kinds of contributions are sought, including: research papers,
lessons learned, experience reports, discussion of practical problems
faced by industry and user domains, and posters describing ongoing
research or PhD research. The ultimate goal is to build a
rich and comprehensive conference program that can fit the interests
and needs of different classes of attendees: professionals,
researchers, managers, and students. A program goal is to organize
several sessions that include both academic and industrial papers on a
given topic and culminate panels to discuss relationships between
industrial and academic research.

Full papers are divided into two categories: Technical Papers and
Experience
Reports. The papers submitted to either category will be reviewed by
program committee members, and papers accepted in either category will
be published in the conference proceedings. Technical papers should
describe original research, and experience reports should present practical
projects carried out in industry, and reflect on the lessons learnt from
them.
ICECCS 2010 also hosts a special session on Complex Systems Modelling
and Simulation; see below for further details of requirements for papers in
this session.

Poster paper submissions should specify in their abstract whether they
describe ongoing or PhD research. Both types of poster papers will be
reviewed by program committee members, and accepted poster papers will
be published in the conference proceedings.
-----------------------------------------------------------------------

PAPER SUBMISSION
-----------------------------------------------------------------------
Submitted manuscripts should be in English and formatted in the style
of the IEEE Computer Society Proceedings Format. Full papers should not
exceed 10 pages including figures, references, and appendices and be in
PDF format; Poster papers should be no more than 2 pages in IEEE
Computer Society Proceedings Format. Submissions not adhering to the
specified format and length  may be rejected immediately, without review.

Submissions of papers will be carried out electronically via the web site
of the ICECCS Submission Service at

http://www.easychair.org/conferences/?conf=iceccs2010

Authors of accepted papers will be required to sign a copyright release
form.
IEEE Computer Society Press will publish the proceedings. Final versions of
accepted papers will be limited to 10 pages (2 pages for Poster Papers)
in the
aforementioned IEEE proceedings format.
-----------------------------------------------------------------------

IMPORTANT DATES
-----------------------------------------------------------------------
Abstract submission deadline 23 Oct 2009
Paper submission deadline 30 Oct 2009
Author notification 18 Dec 2009
Final version due: 22 Jan 2010
-----------------------------------------------------------------------

KEYNOTE SPEAKERS
-----------------------------------------------------------------------
Carlo Ghezzi, Politecnico di Milano, Italy
Bill Roscoe, University of Oxford, UK
-----------------------------------------------------------------------

GENERAL CHAIR
-----------------------------------------------------------------------
Marta Kwiatkowska, University of Oxford, UK
-----------------------------------------------------------------------

PROGRAM CHAIRS
-----------------------------------------------------------------------
Radu Calinescu, University of Oxford, UK
Richard Paige, University of York, UK
-----------------------------------------------------------------------

PROGRAM COMMITTEE

   Yamine Ait Ameur, ENSMA, France
   Simone Barbosa, PUC-Rio, Brazil
   Karin Breitman, PUC-Rio, Brazil
   Phil Brooke, University of Teesside, UK
   Michael Butler, University of Southampton, UK
   Jordi Cabot, University of Toronto, Canada
   Antonio Cerone, United Nations University, Macau
   Corina Cirstea, University of Southampton, UK
   Jim Davies, University of Oxford, UK
   Mieso Denko, University of Guelph, Canada
   Juergen Dingel, Queen's University, Canada
   Simon Dobson, University of St Andrews, UK
   Kerstin Eder, University of Bristol, UK
   Nicholas Graham, Queens University, Canada
   Lindsay Groves, Victoria University of Wellington, NZ
   Lars Grunske, Swinburne University, Australia
   Esther Guerra, Universidad Carlos III Madrid, Spain
   Gaetan Hains, University Paris-12, France
   Michael Harrison, Newcastle University, UK
   Shinji Kikuchi, Fujitsu, Japan
   Joe Kiniry, University College Dublin, Ireland
   Michal Konecny, Aston University, UK
   Fabrice Kordon, Universite Pierre & Marie Curie, France
   Philip Laplante, Penn State University, USA
   Kung-Kiu Lau, University of Manchester, UK
   Juan de Lara, Universidad de Madrid, Spain
   Gerald Luettgen, Universitat Bamberg, Germany
   Tom Maibaum, McMaster University, Canada
   Tiziana Margaria, Potsdam University, Germany
   Julie McCann, Imperial College, UK
   John McDermid, University of York, UK
   Paul McKee, BT, UK
   Raffaela Mirandola, Politecnica di Milano, Italy
   Isabelle Perseil, Telecom-Paristech, France
   Omer Rana, Cardiff University, UK
   Awais Rashid, Lancaster University, UK
   Bernhard Rumpe, RWTH-Aachen, Germany
   Doug Schmidt, Vanderbilt University, USA
   Cristina Seceleanu, Malardalen University, Sweden
   Janet Smart, University of Oxford, UK
   Oleg Sokolsky, University of Pennsylvania, USA
   Ian Sommerville, University of St. Andrews, UK
   Jing Sun, University of Auckland, New Zealand
   Steffen Zschaler, University of Lancaster, UK

----------------------------------------------------------------------
ICECCS 2010 Special Session: Complex Systems Modelling and Simulation

March 24-26, 2010
Oxford, UK
iceccs@...

-----------------------------------------------------------------------
This special session of ICECCS 2010
(http://web.comlab.ox.ac.uk/ICECCS2010/) aims to provide a forum for
research examining the modelling and simulation of complex systems.
Complex systems
are characterised by low-level components that communicate and interact
in and with and within an environment, exhibiting high-level (emergent)
behaviours. For example, natural complex systems that inspire
engineering solutions might be swarms (natural, robots, UAVs) or ants
(path finding, optimisation). Complex systems are modelled and simulated
to try to understand behaviours: for instance, stock markets, social
systems, predator-prey systems, spin glasses, simple liquid crystals.
Finally, systems such as cellular automata provide an implementation
platform for some forms of complex system. The special session concerns
the engineering of such complex systems. Engineering covers, amongst
other aspects, abstract modelling in diagrams or mathematics, computer
simulation, verification and validation, and engineering environments.

Engineering complex systems is a challenging and interdisciplinary task.
Elements might include choice of modelling tools and techniques,
simulation infrastructures, concurrency and distribution, the process of
moving from models to simulations, arguing validity of simulations, and
the identification of reusable engineering techniques such as patterns.

The Special Session is supported by the EPSRC CoSMoS project
<http://www.cosmos-research.org/>, a four-year initiative, based at the
Universities of York and Kent, to develop a framework and infrastructure
for the construction of of generic complex systems simulations. Accepted
papers will appear in the ICECCS proceedings.

-----------------------------------------------------------------------
AREAS OF INTEREST

Areas of interest include, but are not limited to:

* Abstract modelling and simulation of complex systems to support
   scientific enquiry or engineering
* Modelling approaches that accommodate treatment of emergent behaviours
* Aspects of complex-system simulation environments, including
   languages, concurrency, distribution and scalability
* Engineering techniques and tools to support complex-system
   simulation environments, languages, concurrency and distribution
   and scalability, in areas such as model-to-code, testing, proof of
   properties, use of patterns and refactorings
* Techniques for demonstrating the validity, or fitness-for-purpose,
   of models and simulations

Posters papers on these topics are invited from /current PhD students/. To
contribute a poster, submit a poster paper (below) through the ICECCS
conference
submission (http://web.comlab.ox.ac.uk/ICECCS2010/cfp.html); accepted
poster papers will be published in the IEEE proceedings, and posters
displayed at the conference.

-----------------------------------------------------------------------
SUBMISSIONS

Submitted manuscripts should be in English and formatted in the style of
the IEEE Computer Society Proceedings Format. *Full papers* should not
exceed
10 pages including figures, references, and appendices and be in PDF
format. *Poster papers* should not exceed 2 pages including figures,
references, and appendices and be in PDF format. Submissions not
adhering to the specified format and length may be rejected immediately,
without review.

Submissions of papers and poster papers will be carried out
electronically via the web site of the ICECCS Submission Service at

http://www.easychair.org/conferences/?conf=iceccs2010

Please indicate during the submission process that your paper is for
consideration
to the ICECCS special session on Complex Systems Modelling and Simulation.

Authors of accepted papers and posters will be required to sign a
copyright release form. IEEE Computer Society Press will publish the
proceedings. Final versions of accepted full papers will be limited to 10
pages (2 pages for poster papers) in the aforementioned IEEE proceedings
format.

-----------------------------------------------------------------------
IMPORTANT DATES

*Abstract Submission:* 23 October 2009

*Paper Submission:* 30 October 2009

*Notification of acceptance:* 18 December 2009

*Camera ready copies:* 22 January 2010

*ICECCS 2010 Conference:* 22-26 March 2010

-----------------------------------------------------------------------
SPECIAL SESSION CHAIRS

Fiona Polack
Paul Andrews
Adam Sampson

9th International Conference on
             Aspect-Oriented Software Development (AOSD 2010)

   New modularity concepts, methods and techniques for software systems

                           http://aosd.net/2010


             March 15th - 19th, 2010, Rennes/St. Malo, France


               Supported by ACM SIGSOFT & SIGPLAN (pending)



Call for Demonstrations

Important Dates
Demonstration Submission : Friday, December 18, 2009, 23:59 (Samoan)
Acceptance notification : Monday, January 18, 2010


Demonstrations serve to disseminate advances embodied in research-oriented
tools and systems that use or support AOSD. Attendees learn about emerging
technologies and have opportunities to interact with their developers.
Presenters gain excellent opportunities to increase the visibility and
impact of their work. AOSD.10 solicits high quality proposals for its
demonstration track. Demonstrations can range across commercial, academic,
and corporate research systems.

Demonstrations will be selected on the basis of technical merit, novelty,
relevance to the AOSD community, and feasibility of presentation. The
presentation should be focused on technical content and given by the
technical members of the team.

There are two types of demonstrations: Forum demos and Tabletop demos. The
intent is to split demos into those that can be shown without a formal
presentation and those that require one.

In Tabletop demos, the presenter is seated at a table, and is surrounded by
a number of chairs for attendants. There is no conceptual introduction,
instead the demonstration starts with showing the tool itself. This form of
demonstration is especially suited for extensions to tools which are well
known, as no introduction is needed, or for demos where more interaction
with the audience is expected, as the setting is more intimate. Tabletop
demos are allocated 30 minutes, with 20 minutes for the demonstration and
10 minutes for questions and discussion. Authors of regular research papers
are also welcome to submit accompanying demonstrations.

Forum demos start with a conceptual introduction of about 10 minutes before
the tool itself is demonstrated. This form of demos is suited for tools
which are not well-known or new, or have been significantly extended in
recent times. A Forum demo is allocated 45 minutes, with 10 minutes for a
presentation, 25 minutes for the demonstration and 10 minutes for questions
and discussion.

Every demonstration will be scheduled twice for presentation. Also,
demonstration presenters will have the opportunity to give a 1-minute
overview of their demonstration during a conference plenary session.

There will also be space set aside where any conference attendee can give
an informal demonstration. Demonstrations included in the program are also
allowed and encouraged to be presented informally.

Topics of interest include (though are not limited to):
      * support for application of the aspect-oriented paradigm throughout
the development life-cycle
      * new technologies for aspect weaving/compilation
      * reverse engineering of aspects from existing software artifacts
      * reusable library aspects
      * interesting applications of AOSD

Other Information :
* Abstracts of all accepted demonstrations will be included as part of the
formal proceedings.
* Submission Guidelines are described in the Call for demonstrations on the
website of the Conference.
* How to Submit: Proposals should be submitted by email to the
Demonstration Chair (Philippe Lahire) at demonstrations at aosd.net

CALL FOR PAPERS

The Fifteenth IEEE International Conference on Engineering of Complex
Computer Systems (ICECCS 2010)

St Anne's College, University of Oxford, United Kingdom, 24-26 March 2010

http://web.comlab.ox.ac.uk/ICECCS2010/

-----------------------------------------------------------------------
The success of key human activities ranging from research and business to
everyday services relies on the use of ever more sophisticated,
feature-rich
and complex computer systems. These complex computer systems are
regularly required to accomplish more, faster and on a broader scale, to
adapt
dynamically to changing workloads, scenarios and objectives, and to achieve
guaranteed levels of performance and dependability. Satisfying such
demanding
requirements in the presence of the variability, heterogeneity and
non-linear
behaviour that characterise complex computer systems poses numerous
challenges
to both their developers and their users.

The aim of the conference is to bring together researchers,
practitioners and leading
experts from academia and industry, to advance the state of the art in
the specification,
development, validation and verification, and management of complex
computer systems.
-----------------------------------------------------------------------

SCOPE AND TOPICS
-----------------------------------------------------------------------
Authors are invited to submit papers describing original, unpublished
research results,
case studies and tools. Topics of interest include but are not limited
to the following aspects
of complex computer systems:

* Requirement specification and analysis
* Verification and validation
* Model-driven development
* Reverse engineering and refactoring
* Design by contract
* Agile methods
* Safety-critical & fault-tolerant architectures
* Adaptive, self-managing and multi-agent systems
* Real-time, hybrid and embedded systems
* Systems of systems
* Tools and tool integration
* Industrial case studies

Different kinds of contributions are sought, including: research papers,
lessons learned, experience reports, discussion of practical problems
faced by industry and user domains, and posters describing ongoing
research or PhD research. The ultimate goal is to build a
rich and comprehensive conference program that can fit the interests
and needs of different classes of attendees: professionals,
researchers, managers, and students. A program goal is to organize
several sessions that include both academic and industrial papers on a
given topic and culminate panels to discuss relationships between
industrial and academic research.

Full papers are divided into two categories: Technical Papers and
Experience
Reports. The papers submitted to either category will be reviewed by
program committee members, and papers accepted in either category will
be published in the conference proceedings. Technical papers should
describe original research, and experience reports should present practical
projects carried out in industry, and reflect on the lessons learnt from
them.
ICECCS 2010 also hosts a special session on Complex Systems Modelling
and Simulation; see below for further details of requirements for papers in
this session.

Poster paper submissions should specify in their abstract whether they
describe ongoing or PhD research. Both types of poster papers will be
reviewed by program committee members, and accepted poster papers will
be published in the conference proceedings.
-----------------------------------------------------------------------

PAPER SUBMISSION
-----------------------------------------------------------------------
Submitted manuscripts should be in English and formatted in the style
of the IEEE Computer Society Proceedings Format. Full papers should not
exceed 10 pages including figures, references, and appendices and be in
PDF format; Poster papers should be no more than 2 pages in IEEE
Computer Society Proceedings Format. Submissions not adhering to the
specified format and length  may be rejected immediately, without review.

Submissions of papers will be carried out electronically via the web site
of the ICECCS Submission Service at

http://www.easychair.org/conferences/?conf=iceccs2010

Authors of accepted papers will be required to sign a copyright release
form.
IEEE Computer Society Press will publish the proceedings. Final versions of
accepted papers will be limited to 10 pages (2 pages for Poster Papers)
in the
aforementioned IEEE proceedings format.
-----------------------------------------------------------------------

IMPORTANT DATES
-----------------------------------------------------------------------
Abstract submission deadline 23 Oct 2009
Paper submission deadline 30 Oct 2009
Author notification 18 Dec 2009
Final version due: 22 Jan 2010
-----------------------------------------------------------------------

KEYNOTE SPEAKERS
-----------------------------------------------------------------------
Carlo Ghezzi, Politecnico di Milano, Italy
Bill Roscoe, University of Oxford, UK
-----------------------------------------------------------------------

GENERAL CHAIR
-----------------------------------------------------------------------
Marta Kwiatkowska, University of Oxford, UK
-----------------------------------------------------------------------

PROGRAM CHAIRS
-----------------------------------------------------------------------
Radu Calinescu, University of Oxford, UK
Richard Paige, University of York, UK
-----------------------------------------------------------------------

PROGRAM COMMITTEE

   Yamine Ait Ameur, ENSMA, France
   Simone Barbosa, PUC-Rio, Brazil
   Karin Breitman, PUC-Rio, Brazil
   Phil Brooke, University of Teesside, UK
   Michael Butler, University of Southampton, UK
   Jordi Cabot, University of Toronto, Canada
   Antonio Cerone, United Nations University, Macau
   Corina Cirstea, University of Southampton, UK
   Jim Davies, University of Oxford, UK
   Mieso Denko, University of Guelph, Canada
   Juergen Dingel, Queen's University, Canada
   Simon Dobson, University of St Andrews, UK
   Kerstin Eder, University of Bristol, UK
   Nicholas Graham, Queens University, Canada
   Lindsay Groves, Victoria University of Wellington, NZ
   Lars Grunske, Swinburne University, Australia
   Esther Guerra, Universidad Carlos III Madrid, Spain
   Gaetan Hains, University Paris-12, France
   Michael Harrison, Newcastle University, UK
   Shinji Kikuchi, Fujitsu, Japan
   Joe Kiniry, University College Dublin, Ireland
   Michal Konecny, Aston University, UK
   Fabrice Kordon, Universite Pierre & Marie Curie, France
   Philip Laplante, Penn State University, USA
   Kung-Kiu Lau, University of Manchester, UK
   Juan de Lara, Universidad de Madrid, Spain
   Gerald Luettgen, Universitat Bamberg, Germany
   Tom Maibaum, McMaster University, Canada
   Tiziana Margaria, Potsdam University, Germany
   Julie McCann, Imperial College, UK
   John McDermid, University of York, UK
   Paul McKee, BT, UK
   Raffaela Mirandola, Politecnica di Milano, Italy
   Isabelle Perseil, Telecom-Paristech, France
   Omer Rana, Cardiff University, UK
   Awais Rashid, Lancaster University, UK
   Bernhard Rumpe, RWTH-Aachen, Germany
   Doug Schmidt, Vanderbilt University, USA
   Cristina Seceleanu, Malardalen University, Sweden
   Janet Smart, University of Oxford, UK
   Oleg Sokolsky, University of Pennsylvania, USA
   Ian Sommerville, University of St. Andrews, UK
   Jing Sun, University of Auckland, New Zealand
   Steffen Zschaler, University of Lancaster, UK

----------------------------------------------------------------------
ICECCS 2010 Special Session: Complex Systems Modelling and Simulation

March 24-26, 2010
Oxford, UK
iceccs@...

-----------------------------------------------------------------------
This special session of ICECCS 2010
(http://web.comlab.ox.ac.uk/ICECCS2010/) aims to provide a forum for
research examining the modelling and simulation of complex systems.
Complex systems
are characterised by low-level components that communicate and interact
in and with and within an environment, exhibiting high-level (emergent)
behaviours. For example, natural complex systems that inspire
engineering solutions might be swarms (natural, robots, UAVs) or ants
(path finding, optimisation). Complex systems are modelled and simulated
to try to understand behaviours: for instance, stock markets, social
systems, predator-prey systems, spin glasses, simple liquid crystals.
Finally, systems such as cellular automata provide an implementation
platform for some forms of complex system. The special session concerns
the engineering of such complex systems. Engineering covers, amongst
other aspects, abstract modelling in diagrams or mathematics, computer
simulation, verification and validation, and engineering environments.

Engineering complex systems is a challenging and interdisciplinary task.
Elements might include choice of modelling tools and techniques,
simulation infrastructures, concurrency and distribution, the process of
moving from models to simulations, arguing validity of simulations, and
the identification of reusable engineering techniques such as patterns.

The Special Session is supported by the EPSRC CoSMoS project
<http://www.cosmos-research.org/>, a four-year initiative, based at the
Universities of York and Kent, to develop a framework and infrastructure
for the construction of of generic complex systems simulations. Accepted
papers will appear in the ICECCS proceedings.

-----------------------------------------------------------------------
AREAS OF INTEREST

Areas of interest include, but are not limited to:

* Abstract modelling and simulation of complex systems to support
   scientific enquiry or engineering
* Modelling approaches that accommodate treatment of emergent behaviours
* Aspects of complex-system simulation environments, including
   languages, concurrency, distribution and scalability
* Engineering techniques and tools to support complex-system
   simulation environments, languages, concurrency and distribution
   and scalability, in areas such as model-to-code, testing, proof of
   properties, use of patterns and refactorings
* Techniques for demonstrating the validity, or fitness-for-purpose,
   of models and simulations

Posters papers on these topics are invited from /current PhD students/. To
contribute a poster, submit a poster paper (below) through the ICECCS
conference
submission (http://web.comlab.ox.ac.uk/ICECCS2010/cfp.html); accepted
poster papers will be published in the IEEE proceedings, and posters
displayed at the conference.

-----------------------------------------------------------------------
SUBMISSIONS

Submitted manuscripts should be in English and formatted in the style of
the IEEE Computer Society Proceedings Format. *Full papers* should not
exceed
10 pages including figures, references, and appendices and be in PDF
format. *Poster papers* should not exceed 2 pages including figures,
references, and appendices and be in PDF format. Submissions not
adhering to the specified format and length may be rejected immediately,
without review.

Submissions of papers and poster papers will be carried out
electronically via the web site of the ICECCS Submission Service at

http://www.easychair.org/conferences/?conf=iceccs2010

Please indicate during the submission process that your paper is for
consideration
to the ICECCS special session on Complex Systems Modelling and Simulation.

Authors of accepted papers and posters will be required to sign a
copyright release form. IEEE Computer Society Press will publish the
proceedings. Final versions of accepted full papers will be limited to 10
pages (2 pages for poster papers) in the aforementioned IEEE proceedings
format.

-----------------------------------------------------------------------
IMPORTANT DATES

*Abstract Submission:* 23 October 2009

*Paper Submission:* 30 October 2009

*Notification of acceptance:* 18 December 2009

*Camera ready copies:* 22 January 2010

*ICECCS 2010 Conference:* 22-26 March 2010

-----------------------------------------------------------------------
SPECIAL SESSION CHAIRS

Fiona Polack
Paul Andrews
Adam Sampson

___________________________________________________________

                   Call for Participation - SLE 2009

  2nd International Conference on Software Language Engineering

                      http://planet-sl.org/sle2009
                  Denver, Colorado, October 5-6, 2009



____________________________________________________________

            Co-located with 12th International Conference on
     Model-Driven Engineering Languages and Systems (MODELS 2009)
                 and 8th International Conference on
      Generative Programming and Component Engineering (GPCE 2009)


Highlights:
- Research Program:   15 research papers, 6 short papers and 2 tool demos
                       (program listed below)
- Keynote Speakers:   Jean Bezivin and James Cordy
- Early Registration: Open until Sept 14, 2008


Conference
----------

The 2nd International Conference on Software Language Engineering (SLE)
is devoted to topics related to artificial languages in software
engineering. SLE's foremost mission is to encourage and organize
communication between communities that have traditionally looked
at software languages from different, more specialized, and yet
complementary perspectives. SLE emphasizes the fundamental notion
of languages as opposed to any realization in specific "technical
spaces". SLE 2009 will be co-located with the 12th IEEE/ACM
International Conference on Model-Driven Engineering Languages and
Systems (MODELS 2009) and  8th International Conference on
Generative Programming and Component Engineering (GPCE 2009).



Scope
-----

The term 'software language' comprises all sorts of artificial
languages used in software development, including general-purpose
programming languages, domain-specific languages, modeling and
meta-modeling languages, data models, and ontologies. Used in its
broadest sense, examples include modeling languages such as
UML-based and domain-specific modeling languages, business process
modeling languages, and web application modeling languages.  The
term 'software language' also comprises APIs and collections of
design patterns that are implicitly defined languages.

Software language engineering is the application of a systematic,
disciplined, quantifiable approach to the development, use, and
maintenance of these languages. Thus, the SLE conference is
concerned with all phases of the life cycle of software languages;
these include the design, implementation, documentation, testing,
deployment, evolution, recovery, and retirement of languages. Of
special interest are tools, techniques, methods and formalisms that
support these activities. In particular, tools are often based on
or even automatically generated from a formal description of the
language. Hence, of special interest is the treatment of language
descriptions as software artifacts, akin to programs - while paying
attention to the special status of language descriptions, subject
to tailored engineering principles and methods for modularization,
refactoring, refinement, composition, versioning, co-evolution,
and analysis.


Accepted Papers
---------------

Research Papers
     * August Schwerdfeger and Eric Van Wyk. Verifiable Parse
        Table Composition for Deterministic Parsing
     * Frédéric Mallet, Francois Lagarde, Charles André, Sebastien
        Gerard and Francois Terrier. An Automated Process for
        implementing Multi-level domain models
     * Krzysztof Czarnecki, Thiago Tonelli Bartolomei, Ralf Laemmel
        and Tijs van der Storm. Transcript of an API migration for
        two XML APIs
     * Lukas Renggli, Marcus Denker and Oscar Nierstrasz.
        Language Boxes: Bending the Host Language with Modular
        Language Changes
     * Maartje de Jonge, Emma Nilsson-Nyman, Lennart C. L. Kats
        and Eelco Visser. Natural and Flexible Error Recovery for
        Generated Parsers
     * Markus Herrmannsdoerfer, Daniel Ratiu and Guido Wachsmuth.
        Language Evolution in Practice: The History of GMF
     * Mathieu Acher, Philippe Collet, Philippe Lahire and
        Robert France.  Composing Feature Models
     * Mauricio Alferez, João Santos, Ana Moreira, Alessandro
        Garcia, Uirá Kulesza, João Araújo and Vasco Amaral.
        Multi-View Composition Language for Software Product
        Line Requirements
     * Nils Thieme, Christian Wende and Steffen Zschaler.
        A Role-based Approach Towards Modular Language
        Engineering
     * Steffen Zschaler, Dimitrios Kolovos, Nicholas Drivalos,
        Richard Paige and Awais Rashid. Domain-Specific
        Metamodelling Languages for Software Language Engineering
     * Steffen Zschaler, Pablo Sanchez, Joao Santos, Mauricio
        Alferez, Awais Rashid, Lidia Fuentes, Ana Moreira, Joao
        Araujo and Uira Kulesza. VML* -- A Family of Languages
        for Variability Management in Software Product Lines
     * Tihamer Levendovszky, Anantha Narayanan, Daniel
        Balasubramanian and Gabor Karsai. A Novel Approach to
        Semi-Automated Evolution of DSML Model Transformation
     * Tim Bauer and Martin Erwig.  Declarative Scripting in
        Haskell
     * Uwe Jugel. Generating Smart Wrapper Libraries for Arbitrary
        APIs
     * Zef Hemel and Eelco Visser. PIL: A Platform Independent
        Language for Retargetable DSLs

Short papers

     * Anya Helene Bagge. Yet Another Language Extension Scheme
     * Daniel Spiewak and Tian Zhao.  ScalaQL: Language-Integrated
        Database Queries for Scala
     * Danny M. Groenewegen and Eelco Visser. Integration of Data
        Validation and User Interface Concerns in a DSL for Web
        Applications
     * Ivan Kurtev and Alfons Laarman. Ontological Metamodeling with
        Explicit Instantiation
     * Jerónimo Irazábal and Claudia Pons. Model transformation
        languages relying on models as ADTs
     * Paul Laird and Stephen Barrett. Towards the Dynamic
        Evolution of Domain Specific Languages

Tools

     * Elina Kalnina, Audris Kalnins, Edgars Celms and Agris
        Sostaks. Graphical template language for transformation
        synthesis
     * Florian Heidenreich, Jendrik Johannes, Mirko Seifert and
        Christian Wende. Closing the Gap between Modelling and Java


Registration
------------
Registration is open now. Early bird registration is open until Sept 14.
Regitration is available at:

      https://register.cce.umn.edu/Course.pl?sect_key=183427


Keynote Speakers
----------------

   * James Cordy, Queens University, Canada
   * Jean Bezivin, INRIA & Ecole des Mines de Nantes, France

Organization
------------
Steering Committee
   * Mark van den Brand, TU Eindhoven, The Netherlands
   * James Cordy, Queen's University, Canada
   * Jean-Marie Favre, University of Grenoble, France
   * Dragan Gasevic, Athabasca University, Canada
   * Gorel Hedin, Lund University, Sweden
   * Ralf Laemmel, Universitat Koblenz-Landau, Germany
   * Eric Van Wyk, University of Minnesota, USA
   * Andreas Winter, Johannes Gutenberg-Universitat Mainz, Germany

General Chair
  * Dragan Gasevic, Athabasca University, Canada

Program Committee Co-Chairs
  * Mark van den Brand, TU Eindhoven, The Netherlands
  * Jeff Gray, University of Alabama at Birmingham, USA

Program Committee
  * Colin Atkinson, Universität Mannheim, Germany
  * Don Batory, University of Texas at Austin, USA
  * Paulo Borba, Universidade Federal de Pernambuco, Brazil
  * John Boyland, University of Wisconsin, Milwaukee, USA
  * Marco Brambilla, Politecnico di Milano, Italy
  * Shigeru Chiba, Tokyo Institute of Technology, Japan
  * Charles Consel, LaBRI / INRIA, France
  * Gregor Engels, Universität Paderborn, Germany
  * Stephen A. Edwards, Columbia University, USA
  * Robert Fuhrer, IBM T.J. Watson Research, USA
  * Martin Gogolla, University of Bremen, Germany
  * Giancarlo Guizzardi, Federal University of Espírito Santo, Brazil
  * Reiko Heckel, University of Leicester, UK
  * Frédéric Jouault, INRIA & Ecole des Mines de Nantes, France
  * Nicholas Kraft, University of Alabama, USA
  * Thomas Kühne, Victoria University of Wellington, New Zealand
  * Julia Lawall, University of Copenhagen, Denmark
  * Timothy Lethbridge, University Ottawa, Canada
  * Brian Malloy, Clemson University, USA
  * Kim Mens, Université catholique de Louvain, Belgium
  * Marjan Mernik, University of Maribor, Slovenia
  * Todd Millstein, University of California, Los Angeles, USA
  * Pierre-Etienne Moreau, INRIA Nancy - Grand Est, France
  * Pierre-Alain Muller, University of Haute-Alsace, France
  * Daniel Oberle, SAP Research, Germany
  * Richard Paige, University of York, UK
  * James Power, National University of Ireland, Ireland
  * João Saraiva, Universidade do Minho, Portugal
  * Mary Lou Soffa, University of Virginia, USA
  * Juha-Pekka Tolvanen, MetaCase, Finland
  * Alexander Serebrenik, Eindhoven University of Technology, Netherlands
  * Tony Sloane, Macquarie University, Australia
  * Steffen Staab, Universität Koblenz-Landau, Germany
  * Jun Suzuki, University of Massachusetts, Boston, USA
  * Walid Taha, Rice University, USA
  * Eli Tilevich, Virginia Tech, USA
  * Jurgen Vinju, CWI, Netherlands
  * Eelco Visser, Delft University of Technology, Netherlands
  * René Witte, Concordia University, Canada

Organization Committee
  * Bardia Mohabbati, Simon Fraser University, Canada (Web Chair)
  * James Hill, Vanderbilt University, USA (Publicity co-Chair)
  * Alexander Serebrenik, TU Eindhoven, The Netherlands (Publicity co-Chair)
  * Eric Van Wyk, University of Minnesota (Finance Chair)

---------------------------------------------------------------------
    Model-Driven Software Development with Ontologies

      Tutorial at MoDELS 2009, Denver, Colorado

   www.uni-koblenz.de/confsec/tutorials/2009/mdsd_owl.htm
---------------------------------------------------------------------

Fernando Silva Parreiras^1 , Christian Wende^3 , Jeff Z. Pan^2 , and Uwe
Assmann^3

^1 ISWeb — Information Systems and Semantic Web, Institute for Computer
Science, University of Koblenz-Landau Universitaetsstrasse 1, Koblenz
56070, Germany
parreiras@...

^2 Department of Computing Science, The University of Aberdeen Aberdeen
AB24 3UE
jpan@...

^3 Institute for Software-and Multimedia-Technology, TU Dresden D-01062
Dresden, Germany
christian.wende@..., uwe.assmann@...


        Objectives
-----------------------

The tutorial aims at enabling attendees to fully appreciate the
application of ontologies in MDSD. More specifically, the objectives of
the tutorial are:

      * to demystify OWL subjects like open world assumption, close world
        assumption, complexity and performance issues;
      * to enlighten the role of OWL in Model-Driven Engineering,
        positioning it among other languages like UML, MOF and OCL.
      * to provide application scenarios of ontology technologies.

To illustrate these application scenarios, we list some applications of
OWL ontologies and automated reasoning as follows:

      /Improving General Purpose Software Design Patterns/. We have
      explored how to improve the Strategy Pattern and Abstract Factory
      with ontologies in [5] and we are able to provide improvements to
      the Visitor Pattern and to the Bridge Pattern as well.

      /Metamodeling/. OWL facilitates the way of defining expressions that
      are not expressible in OCL when property transitivity is required,
      e.g., in specifying constructs like Activity, State, StateMachine
      and Transition.

      /Ontology-based domain-specific languages/. Domain specific
      languages (DSL) may apply dynamic classification to recommend domain
      concepts to novice DSL users (who may not be aware of suitable
      domain classes). DSL users may execute queries that, based on OWL
      classes, dynamically classify content
      <http://isweb.uni-koblenz.de/Research/ontoDSL>.

	 /Using ontologies with variability management at runtime/. In software
	 product line engineering, ontologies describe variants and variant
	 constraints and tools like the featureMapper
	 <http://www.featuremapper.org> use owl reasoners to check the validity
	 of variants. We currently investigate this and other application
	 scenarios under the EU project MOST <http://www.most-project.eu>.


      Tutorial Outline
-----------------------

In the following, we present the extended outline for the tutorial:

        What are ontologies and what can they do for MDSD?

      * OWL as class description language. With OWL, one can describe
        classes in different ways: class identifier, exhaustive
        enumeration of individuals, property restrictions, intersection of
        class descriptions, union of class descriptions, complement of a
        class description.
      * UML vs. OWL. While UML allows for describing static and dynamic
        aspects of software, OWL is a logical class definition language
        that is more expressive than UML class-based modeling, allowing
        for dynamic specification of specialization and generalization of
        classes and relationships.
      * Areas of application. We give an overview of OWL applications in
        MDSD areas like metamodeling, software design patterns, domain
        specific languages and variability management. We detail these
        applications by the end of the tutorial when we present use cases
        (item 5).

        Demystifying OWL.

      * Contextualizing OWL in MDSD. OWL complements existing standards
        like UML, OCL and can be used with these standards in an
        integrated way.
      * The role of world assumption. Semantic Web applications usually
        adopt open world assumption while UML modeling adopt closed world
        assumption. However, OWL can be used with open world assumption,
        closed domain assumption or even closed world assumption. We
        analyze when world assumption plays a role, how and when different
        “world assumptions” can coexist and how to shift.
      * Performance. OWL comprises a family of description logic
        languages, called OWL profiles, with increasing expressiveness and
        complexity. High performance reasoning techniques like TrOWL
        <http://trowl.eu/> allows for reducing the complexity of a given
        domain model, increasing performance.
      * Expressiveness. OWL presents complementary constructs to UML and
        OCL, allowing, for example, property transitivity, which is very
        useful for querying large and complex models.

        Reasoning with OWL in Models.

      * Reasoning Services. OWL ontologies can be operated on by reasoners
        providing services like consistency checking, concept
        satisfiability, instance classification and concept
        classification. The reasoner performs model checking such that
        entailments of the Tarski-style model theory of OWL are fulfilled.
      * OCL like query language. We present existing query languages for
        OWL like SPARQL, and show how to extend and use OCL for writing
        query operations and constraints that use reasoning services.

        Integrating OWL in Model-Driven Software Development.

Developers have many languages for modeling OWL ontologies, like textual
notations [6, 7] or visual notations [8, 9]. Additionally, we present an
UML-based approach to model OWL ontologies together with UML Class
Diagrams, since integrating OWL and UML implies a need for integrated
notations.

        Case Studies.

We present case studies being developed under EU STReP MOST that use the
techniques introduced before. More specifically, we present two case
studies in the areas of domain-specific languages and variability
management respectively.



        Presenters
-----------------------

      MSc. Fernando Silva Parreiras, University of Koblenz-Landau, pursues
      his PhD since the beginning of 2006 under the supervision of Prof.
      Dr. Steffen Staab at ISWeb Group at the University of
      Koblenz-Landau, Germany, and has been investigating the integration
      of MDA and Ontology in the scope of the project TwoUse
      <http://isweb.uni-koblenz.de/Projects/twouse> (Transforming and
      Weaving Ontologies and UML in Software Engineering) ever since. His
      related publications include papers in ESEC/FSE’2007,
      Modellierung’2008, ER’2008. He has been served as program committee
      member of workshops like WOMSDE, ONTOSE and SWESE, as organizer of
      the TWOMDE <http://isweb.uni-koblenz.de/events/TWOMDE2008/>workshop
      and as assistant researcher for the EU project MOST.

      Dipl.-Inf. Christian Wende is PhD. student of Prof. Uwe Amann at the
      Software Technology Group at Dresden University of Technology,
      Germany. From 2007 till the beginning of 2009 he was involved in the
      German national project feasiPLe, investigating the application of
      domain-specific languages and model-driven techniques within
      product-line engineering. Christians research focuses the
      combination of techniques from product-line engineering, role-based
      modeling and software composition for the modular design and
      implementation of languages and language tooling. In the beginning
      of 2009 he joined the MOST project where he is investigting the
      integration of ontologies with software and language engineering.
      His related publications include papers and tool demonstrations in
      AOPLE’2007, VISPLE’2008, ICSE’2008, and ECMDA-FA’2009.

      Prof. Dr. Jeff Z. Pan, University of Aberdeen, received the PhD
      degree in computer science from The University of Manchester in
      2004. He has been a Lecturer of Computing Science at the University
      of Aberdeen, UK, since 2005. His current research focuses primarily
      on the design of logics and ontology languages, automated reasoning,
      ontology reuse and usability, as well as the applications (such as
      in the Semantic Web, multimedia and software engineering) of all the
      above. Dr. Pan is an Associate Editor of the Journal of Advances in
      Artificial Intelligence and serves as a guest editor of special
      issues of international journals, such as the Journal of Logic and
      Computation and the Journal of Data Semantics. Dr. Pan has published
      widely in leading journals and conferences related to ontology and
      the Semantic Web and is co-coordinator of both the Software
      Engineering Task Force and the Multimedia Annotation on the Semantic
      Web Task Force in the W3C Semantic Web Best Practices and Deployment
      Working Group.

      Prof. Dr. Uwe Assmann, Dresden University of Technology, received
      his PhD from Universit¨at Karlsruhe in 1995. Since 2004, Uwe Assmann
      holds the chair of Software Engineering at Technische Universit¨at
      Dresden. One focus of the group in Dresden is model-driven software
      development (MDSD), in particular in combination with Semantic Web
      technology. In June 2004, Uwe Assmann organized one of the first
      European workshops on MDA, Foundations and Applications (MDAFA
      2004). In 2005, this workshop joined forces with others to the
      “European Conference on MDA -Foundations and
      Applications”(ECMDA-FA). Assmann has served as project manager for
      several EU projects (COMPARE, EASYCOMP, JOSES, HIDOORS, REWERSE,
      MODELPLEX, MOST), several Swedish (SwebProd, RISE) and German
      projects (SuReal, FeasiPLe). He frequently serves on program
      committees (ECMDA-FA, TOOLS, AOSD, ECOOP, ICWE) and is a member of
      the steering committee of Symposium on Software Composition (SC).


      References
-----------------------

     1. Gruber, T.R.: A translation approach to portable ontology
        specifications. Knowledge Acquisition 5(2) (1993) 199–220
     2. Staab, S., Studer, R., eds.: Handbook on Ontologies. International
        Handbooks on Information Systems. Springer (2004)
     3. W3C OWL Working Group: OWL 2 Web Ontology Language Document
        Overview. W3C Working Draft 27 March 2009 Available at
        http://www.w3.org/TR/2009/ WD-owl2-overview-20090327//.
     4. McGuinness, D.L.: Configuration. In: The Description Logic
        Handbook. Cambridge University Press (2003) 397–414
     5. Silva Parreiras, F., Staab, S., Winter, A.: Improving design
        patterns by description logics: A use case with abstract factory
        and strategy. In: Modellierung 2008. Volume P-127 of LNI., GI
        (2008) 89–104
     6. Horridge, M., Drummond, N., Goodwin, J., Rector, A., Stevens, R.,
        Wang., H.: The Manchester OWL Syntax. In: OWL: Experiences and
        Directions (OWLED) 2006, Athens, Georgia, USA (November 2006)
     7. Motik, B., Patel-Schneider, P.F., Parsia, B.: OWL 2 Web Ontology
        Language: Structural Specification and Functional-Style Syntax.
        W3C Working Draft 02 December 2008
     8. Brockmans, S., Haase, P., Hitzler, P., Studer, R.: A metamodel and
        UML profile for rule-extended OWL DL ontologies. In: Proc. of ESWC
        2006. Volume 4011 of LNCS., Springer (2006) 303–316
     9. OMG: Ontology Definition Metamodel. Object Modeling Group.
        (September 2008)

The submission deadline for the KISS workshops at OOPSLA
(http://www.industrialized-software.org/kiss-oopsla-2009) and ASE
(http://www.industrialized-software.org/kiss-ase-2009) has been extended to 31
Aug.

If you are working on a submission for the SoSyM issue (see below), consider
sending in a draft to the OOPSLA or ASE workshop.

-- Jorn

--- In mda-discussion@yahoogroups.com, "jorn_bettin" <jorn.bettin@...> wrote:
>
> Model Based Interoperability
>
> Software and Systems Modeling (http://www.sosym.org)
> Theme Issue (http://www.sosym.org/theme_issues/cfp-MBI.pdf)
>
> Guest Editors:
> Tony Clark (tony.clark@...)
> Jorn Bettin (jbe@...)
>
> There is increasing interest in software tool chains and distributed
> systems that are based on modeling technology. Tool chains can be
> constructed by combining general purpose tools with domain specific
> tools. The challenge lies in identifying the ingredients needed to
> create highly automated software supply chains and systems that minimize
> the effort to integrate new suppliers of model based software artifacts.
> Meeting this challenge requires a significant increase in the use of
> formal (yet highly compact) specifications and advanced tooling for
> creating, managing, and exploiting shared formal models.
>
> In recent years there has been a great deal of work addressing point
> solutions to model driven software engineering. In addition, techniques
> such as model based transformation, ontologies, and meta-modeling have
> matured to the point where they can be deployed on industrial-scale
> applications. Application of these techniques to the development of
> tool chains through model-based interoperability has not been addressed.
>
> The aim of this theme issue is to provide a resource that describes
> the state-of-the-art in model based interoperability and to outline
> a roadmap that addresses the key challenges in this area.
>
> The Journal of Software and Systems Modeling (SoSyM) invites original,
> high-quality submissions for its theme issue on "Model-Based
> Interoperability" to appear in Q2 2010, focusing on topics related to
> MBI, including:
>
> o Requirements for interoperability: challenges and road-map; tool
>   meta-models; architectures; requirements for modeling languages.
>
> o Modularization of model-based artifacts: aspect-oriented models;
>   best practices and challenges regarding granularity of models,
>   model-based product lines, and versioning; distributed model supply
>   chains; change impact analysis in large model-based systems.
>
> o Technologies: use of existing technologies for interoperability;
>   comparison of technologies; design of new technologies; analysis
>   of current standards; proposals for extensions to standards.
>
> o Experience reports: project organization; methodologies and
>   guidelines for interoperability.
>
> Important Dates:
>
> Intent to submit     01 Sep 09
> Paper submission     01 Nov 09
> Notification         18 Dec 09
> Camera-ready version 10 Feb 10
>
> Making a Submission:
>
> (1) Communicate your intent to submit a paper by emailing the theme
>     issue editors the following information before the Intent to
>     Submit deadline: Title, Authors, and an Abstract.
>
> (2) Prepare your submission with either Word or LaTeX using Word and
>     LaTeX templates:
>
> http://mc.manuscriptcentral.com/societyimage/sosy/SoSyM_templ.zip.
>
> Possible submission formats are:
> o Word (.doc, without macros)
> o Rich Text Format (.rtf)
> o PostScript (.ps, special fonts must be embedded)
> o PDF (saved as readable in version 5.0 or later)
>
> (3) Submit your work using the online submission system manuscript central:
>
> o In step 1, select "Special Section Paper" as the manuscript type
>   and select "Dr. Bernhard Rumpe" as the "Editor-in-Chief" (EIC).
>
> o In step 4, add "Tony Clark" (+ tony.clark@...) or
>   "Jorn Bettin" (+ jbe@...) as an editor and choose
>   "Designate as Preferred Editor".
>
> o In step 5, make sure field "Cover Letter" includes the line:
>   "Submission for Theme Issue on MBI".
>

The University of Luxembourg is looking for a:

PhD student (M/F)
3 years of full funding

Location: University of Luxembourg (http://www.uni.lu)

-----------------------------
Title: Security Specification and Testing of Resilient Systems

Context:

----------------------------

The Laboratory of Advanced Software Systems (LASSY) of the university is
dedicated to investigating various aspects of software engineering. In
particular, the successful candidate will work with a team of
specialists in Model Driven Development, Testing, Resilient and
Self-Adaptive systems in the frame of the SETER project.

Salary: approx. 2100 Euros net (taxes included)


Overview of the SETER Project:

-------------------------------
Duration: 3 years


The SETER project is funded by the Luxembourgish National Research
Found. The project is entitled Security Testing of Resilient Systems.
The main objective of the project is to propose new security testing
approaches for resilient systems (i.e. systems able to continue
operating in the presence of unexpected events) the earliest possible in
the software development life-cycle to assist engineers to develop more
secure and more reliable systems.

SETER Web Page: http://mindtouch.uni.lu/Projects/SETER


Keywords:
---------
Model-Driven Engineering, Testing, Requirements Engineering, Fault
Tolerance, Security, Resilient and Self-Adaptive/Self-* Systems,
Modularity, Reuse.



Background:
---------------------------

Resilient systems can be viewed as open distributed systems that have
capabilities to
dynamically adapt, in a predictable way, to unexpected and harmful
events, including such as hardware failures or malicious security
attacks. Hence, these systems can be built to handle critical situations
(crisis management, health-care). This dynamic adaptation requires that
these systems are able to reason about themselves in order to make the
best adaptation choice at the right time. Hence, engineering such
systems implies that the variability of adaptation is fully understood,
monitored and controlled which is intrinsically a difficult task due to
the complexity induced by resilient systems' adaptation capabilities.
Furthermore, as every software system, engineering a resilient system
should also take into account constraints on costs, quality, performance
etc.


Given the expected role of resilient systems and their complexity of
engineering, verification is of utmost importance. In particular we
propose to employ testing to provide trust in these systems. Testing is
an activity that aims at both demonstrating discrepancies between a
systems actual and intended behaviours and increasing the confidence
that there is no such discrepancy. One of the main features of a system
to test is the security of the system, especially for those which are
safety or business critical. The security of a system classically
relates to the confidentiality and integrity of data as well as its
availability. In the context of resilient systems, the challenge of
testing security is aggravated by the fact that the system is able of
self-adaptation which can either increase or decrease the security level
of the system.


Subject and Contributions:

---------------------------------


The goal of this PhD in the context of the SETER project is to define a
new testing approach that will ease the verification of resilient
programs that implement security properties. This approach must be aware
that confidentiality and integrity can be compromised in many different
ways (and
consequently the resilient system can evolve in many different ways too)
and must be able to cover the variability intrinsic to resilient systems
in order to provide a high degree of confidence in the adaptation of the
system. As variability guiding the adaptation is involved at various
stages of the development of a resilient system (from requirement
elicitation to runtime) the proposed approach should provide models an
techniques relevant with respect to these levels. In particular the
following contributions are expected:

1. Definition of a language at the requirement elicitation and
analysis (early and late requirements) levels supporting the
definition of security and resilience properties. This implies
the precise specification of these properties concerning
“expected” events but also innovative ways (rule-based, goal-driven, etc.)
to specify such properties so that the system can verify them
in the presence of unexpected events.

2. On the basis of this language, a testing method have to be
provided to generate tests for these properties. In particular,
the proposed method should take advantage of the commonalties
(corresponding to “expected behavior”) and variabilities induced
by adaption to unexpected events to minimize the number of tests.
Results from the (dynamic) Software Product Line, Self-* as well
as Self-Adaptive and/or Software Reconfiguration (reflective
middleware, reconfiguration languages) communities can be used to this end.


Moreover, since current trends advocate the idea that supporting
resilience should be done with current software engineering techniques,
the testing approach should be based on proven testing techniques and
extend them if necessary. This will minimize the learning of curve of
the method and allow the usage of already existing tool-sets. Finally,
the testing solution is expected to use model-driven engineering
techniques in order to specify, translate tests amongst all phases of
the the resilient system's life-cycle, run them and store meaningful
results that can be then exploited by the engineers to drive future
fixes/evolutions of the system.


Profile and Application:

-----------------------------


Candidates must hold a master in software engineering (or equivalent)
preferably with a research orientation. A good knowledge of English
(spoken and written) is mandatory, French and Luxembourgish would be a
plus. The university of Luxembourg is an equal opportunity employer.

Candidates must send the following information to Prof. Nicolas Guelfi
(nicolas.guelfi@...) and Dr. Gilles Perrouin (gilles.perrouin@...) no
later than *September 8th 2009*:

* Introduction Letter,

* Detailed resume comprising lectures followed as well as
participation in projects and/or professional experience and
publications if any,

* Copy of master thesis or equivalent (if possible).


Contact Information:

-----------------------------

For further information, please address yourself to Prof. Nicolas Guelfi
(nicolas.guelfi@...) and Dr. Gilles Perrouin (gilles.perrouin@...)

--
---------------------------------------------------------------
Dr. Gilles Perrouin, Scientific Collaborator, LASSY
FSTC / University of Luxembourg, Campus Kirchberg
6 rue Richard Coudenhove-Kalergi, L-1359 Luxembourg Kirchberg,
Luxembourg

======================================================================

                            Second Workshop on
             Transforming and Weaving OWL Ontologies in MDE/MDA

                                TWOMDE2009

                             CALL FOR PAPERS

            at the ACM/IEEE 12th International Conference on Model
            Driven Engineering Languages and Systems (MoDELS 2009)

              http://www.uni-koblenz.de/confsec/twomde2009/

     IMPORTANT DATES
     -----------------------------
     * July   25, 2009:  Papers submission
     * August 30, 2009:  Author notification
     * September 15, 2009:  Submission of camera-ready papers

     ======================================================================


AIMS AND SCOPE
-----------------------------

The interest in integrating Ontologies and Software Engineering has gained more
attention with
commercial and scientific initiatives. The Semantic Web Best Practice and
Deployment Working Group
(SWBPD) in W3C included a Software Engineering Task Force (SETF) to explore how
Semantic Web and
Software Engineering can cooperate. The Object Management Group (OMG) has an
Ontology Platform
Special Interest Group (PSIG) aiming at formalizing semantics in software by
knowledge
representation and related technologies. The concrete results of such
initiatives are the
specification of the OMG Ontology Definition Metamodel, the OWL2 Metamodel, the
introduction to
Ontology Driven Architectures and a Semantic Web Primer for Object-Oriented
Software Developers.

Nevertheless, as MDE spreads, disciplines like model transformation, domain
specific languages
(DSLs) and traceability become essential in order to support different kinds of
models in an model
driven environment. Understanding the role of ontology technologies like
knowledge representation,
automated reasoning, dynamic classification and consistence checking in these
fields is crucial to
leverage the development of such disciplines. Thus, we highlight the following
open questions: How
can the scientific and technical results around ontologies, ontology languages
and their
corresponding reasoning technologies be used fruitfully in MDE? What is the role
of ontologies in
supporting model transformation or traceability? How can ontologies improve
designing DSLs? Are
current query languages able to query both kinds of models?

Discussions about these and related questions will be supported by this
workshop. TWOMDE2009 aims at
providing a forum for discussing the application of different aspects of
ontologies to enhance Model
Driven Engineering.

The intended audience embraces members of the modeling community with experience
or interest in
Model Driven Engineering and in Knowledge Representation. Specifically, but not
only, the
participation of experts in technologies related with UML, MOF, ATL, QVT, RDF or
OWL is highly welcome.


TOPICS OF INTEREST
-----------------------------

TWOMDE2009 is the exclusive forum at a MDE conference to address the application
of ontologies in
model driven development. The potential of this field has just started being
explored.

Although we had papers covering different aspects of MDE, the employment of
automated reasoning
services to make use of formal descriptions provided by ontology languages has
practically not been
explored. Moreover, prominent topics in MDE like model transformation,
traceability and query
languages were not pondered by the papers of the first edition.

For this edition, we expect more use cases in a wider range of topics. We would
like to see
successful industry use cases and quality models to evaluate the role of
ontologies in MDE.

Topics of interest are but not exclusive:

    * RDF metamodel repository: interfaces and models to store, retrieve, query
and manage MOF/Ecore
metadata in RDF stores.

    * Metamodeling support of semantic structures: improvements on metamodeling
facilities for
representing richer real-world semantics, like OWL or OWL2.

    * Reasoning over MOF-based models using ontologies: verification and
validation of models using
ontologies; application of Description Logics reasoning in UML diagrams or
MOF/Ecore models, in
order to enhance and to support models and metamodels at design time as well as
at runtime.

    * Application of ontologies in model transformation: usage of ontologies and
reasoning to
automatically generate model transformations; validation of model
transformations; use of reasoning
in model transformation rules.

    * Reasoning and query languages for integrated models: development or
integration of query
languages able to retrieve objects of MOF-based models and OWL-based models;
reasoning approaches or
algorithms regarding both semantics of Description Logics semantics of and
MOF-based models.

    * Integration of modeling standards and metamodeling of ontology
technologies: integration
approaches like aspect-oriented programming to weave modeling standards like
MOF, Ecore, UML, OCL,
ODM, and SWRL; development, improvement or integration of metamodels for
ontology technologies, for
example OWL, SWRL, F-Logic.

    * Ontology driven software development: ontology support to web service
orchestration; software
architectures and methodologies for developing semantic web services and agents;
reuse of web
service ontologies or application of reasoning in specifying execution logics of
orchestration.

    * MDE tools using ontologies: implementations of MDE tools relying on
ontologies or on reasoning
services.

    * Semantic support to Domain Specific Languages: integration of metamodeling
and ontologies in
order to provide abstract syntax and formal semantics for DSL.

    * Ontology engineering with MDA/MDE techniques: application of MDA/MDE
techniques in order to
support ontology engineering activities like ontology pruning, ontology
refactoring, or ontology
measurement.

    * Ontology connectors to system models: methods and techniques for
integrating ontology
constructs like classes and properties with MOF-based constructs like classes,
properties or operations.

    * Application of Ontologies in traceability and provenance: usage of model
annotations,
ontologies and reasoning in order to improve traceability between MOF-based
models.


SUBMISSION
-----------------------------

    * Full Papers: describe concrete contributions validated by appropriate
evaluation. Full paper
submissions must not exceed 15 pages.

    * Short Papers: comprehend research-in-progress, industrial experience and
position papers. Short
paper submissions does not exceed 6 pages.

    * Posters and Demos: authors are invited to submit a three-page paper
describing tools involving
ontologies in MDE.

All papers must be submitted online using the submission website
(http://www.easychair.org/conferences/?conf=twomde2009). Submissions must be in
PDF, formatted in
the style of the Springer Publications format for Lecture Notes in Computer
Science (LNCS).


PROCEEDINGS
-----------------------------

Final versions of accepted papers will be published electronically in the CEUR
Workshop Proceedings
Series. Revised selected papers will be submitted to the LNCS MoDELS Satellite
Proceedings. Select
papers will be invited to submit an extended version to the special issue of the
Journal on Software
& System Modeling (under negotiation).


ORGANIZATION
-----------------------------

    * Fernando Silva Parreiras (DE), University of Koblenz-Landau
    * Jeff Z. Pan (GB), University of Aberdeen
    * Uwe Assmann (DE), Dresden University of Technology


TENTATIVE PROGRAM COMMITTEE
-----------------------------

    * Alexander Paar (DE), University of Karlsruhe (TH)
    * Andreas Winter (DE), University of Mainz
    * Bernhard Rumpe (DE), Braunschweig University of Technology
    * Christian Kop (AT), Alpen-Adria-Universität Klagenfurt
    * Colin Atkinson (DE), University of Mannheim
    * Daniel Oberle (DE), SAP Research
    * Dragan Gasevic (CA), Simon Fraser University Surrey
    * Elisa F. Kendall (US), Sandpiper Software, Inc.
    * Gerd Wagner (DE), Brandenburg University of Technology at Cottbus
    * Gerti Kappel (AT), Vienna University of Technology
    * Giancarlo Guizzardi (IT), ISTC-CNR
    * Harald Kuehn (AT), BOC Information Systems GmbH
    * Holger Knublauch (US), TopQuadrant
    * Ken Baclawski (US), Northeastern University
    * Ladjel Bellatreche (FR), LISI ENSMA
    * Luis Ferreira Pires (NL), University of Twente
    * Peter Haase (DE), University of Karlsruhe (TH)
    * Phil Tetlow (GB), IBM Business Consulting Services
    * Saartje Brockmans (DE), Ontoprise
    * Steffen Staab (DE), University of Koblenz-Landau


CONTACT
-----------------------------

Please do not hesitate to contact us, if you have any question regarding this
event.

Fernando Silva Parreiras, parreiras@...


SPONSORS
-----------------------------

EU STReP MOST, http://www.most-project.eu/

Model Based Interoperability

Software and Systems Modeling (http://www.sosym.org)
Theme Issue (http://www.sosym.org/theme_issues/cfp-MBI.pdf)

Guest Editors:
Tony Clark (tony.clark@...)
Jorn Bettin (jbe@...)

There is increasing interest in software tool chains and distributed
systems that are based on modeling technology. Tool chains can be
constructed by combining general purpose tools with domain specific
tools. The challenge lies in identifying the ingredients needed to
create highly automated software supply chains and systems that minimize
the effort to integrate new suppliers of model based software artifacts.
Meeting this challenge requires a significant increase in the use of
formal (yet highly compact) specifications and advanced tooling for
creating, managing, and exploiting shared formal models.

In recent years there has been a great deal of work addressing point
solutions to model driven software engineering. In addition, techniques
such as model based transformation, ontologies, and meta-modeling have
matured to the point where they can be deployed on industrial-scale
applications. Application of these techniques to the development of
tool chains through model-based interoperability has not been addressed.

The aim of this theme issue is to provide a resource that describes
the state-of-the-art in model based interoperability and to outline
a roadmap that addresses the key challenges in this area.

The Journal of Software and Systems Modeling (SoSyM) invites original,
high-quality submissions for its theme issue on "Model-Based
Interoperability" to appear in Q2 2010, focusing on topics related to
MBI, including:

o Requirements for interoperability: challenges and road-map; tool
   meta-models; architectures; requirements for modeling languages.

o Modularization of model-based artifacts: aspect-oriented models;
   best practices and challenges regarding granularity of models,
   model-based product lines, and versioning; distributed model supply
   chains; change impact analysis in large model-based systems.

o Technologies: use of existing technologies for interoperability;
   comparison of technologies; design of new technologies; analysis
   of current standards; proposals for extensions to standards.

o Experience reports: project organization; methodologies and
   guidelines for interoperability.

Important Dates:

Intent to submit     01 Sep 09
Paper submission     01 Nov 09
Notification         18 Dec 09
Camera-ready version 10 Feb 10

Making a Submission:

(1) Communicate your intent to submit a paper by emailing the theme
     issue editors the following information before the Intent to
     Submit deadline: Title, Authors, and an Abstract.

(2) Prepare your submission with either Word or LaTeX using Word and
     LaTeX templates:

http://mc.manuscriptcentral.com/societyimage/sosy/SoSyM_templ.zip.

Possible submission formats are:
o Word (.doc, without macros)
o Rich Text Format (.rtf)
o PostScript (.ps, special fonts must be embedded)
o PDF (saved as readable in version 5.0 or later)

(3) Submit your work using the online submission system manuscript central:

o In step 1, select "Special Section Paper" as the manuscript type
   and select "Dr. Bernhard Rumpe" as the "Editor-in-Chief" (EIC).

o In step 4, add "Tony Clark" (+ tony.clark@...) or
   "Jorn Bettin" (+ jbe@...) as an editor and choose
   "Designate as Preferred Editor".

o In step 5, make sure field "Cover Letter" includes the line:
   "Submission for Theme Issue on MBI".

Published on Architects Zone (http://architects.dzone.com)
UML failed so here we have AML (Arbitrary Modeling Language)
By nealford
Created 2009/06/11 - 8:30am

UML is a failure. It failed for several reasons. Mainly, it failed
because it falls into the cracks between technical people (developers,
architects) and non-technical people (business analysts, project
managers, etc). UML is too technical for non-technical people, and not
technical enough for technical people. By this, I mean that it isn't
really technical enough to do serious work on design by techies. At the
same time, it's obscure enough to be mostly incomprehensible to
non-techies.


This wasn't the Three Amigos fault. They did
quite impressive work on the meta-model aspect of UML. It was defeated
by two forces. First, the fundamental problem lies with the amorphous
nature of software itself. Coming up with a really expressive graphical
notation is hard. Most developers know enough to draw boxes for classes
and open-arrowheads for inheritance, but don't get much further into
the UML specification because it gets quite convoluted (especially if
you start looking at the later generations of UML, with Object
Constraint Language and its ilk).

The second failure reason is
the implicit assumption that you need (nay, must) design all the
classes and interactions before you start writing code. Big Design Up
Front is a failed technique in almost all software development. The
only exceptions are systems that are truly life and death. One of the
reasons for the outdatedness of the software on the space shuttle lies
with the fact that they have very long iterations. In other words, they
are willing to say "once this date passes, we will make no changes to
the design of this system. Period." While most business software could
make this statement, it ill serves the business. Business processes
change like the weather, and you need software that can change just as
readily. I don't come to this discussion as a dilettante: for a while,
I worked for a company that was a Rational partner. We did the
training, and we built software based on the Rational Unified Process.
We even had some successes. But it didn't take long for us to realize
that the upfront design didn't serve our clients because it hampered
the kinds of changes required by their business.

Most developers
I know use AML: Arbitrary Markup Language, usually consisting of boxes,
circles, and lines. When a given developer writes on a whiteboard, they
write in their own version of a diagramming language. It's a shame that
we don't have an industry wide diagramming language that everyone feels
compelled to use, but that's the reality in most places I've been for
the last 5 years. But, having said that, I'm a fan of AML, because it
cuts down on irrational artifact attachment:
you have nothing except the last 5 minutes invested in the diagram,
making it as transient as possible. Transient artifacts are good
because you're willing to throw them away, preventing them from
becoming a part of the documentation for your project once the actual
code has migrated away from that initial stab at design. Out of date
documentation is worse than none at all because it actively misleads.




[Non-text portions of this message have been removed]

------------------------------------------------------------------
CALL FOR SHORT PAPERS
------------------------------------------------------------------

1st International Workshop on Model Transformation with ATL

July 8-9, 2009
Nantes, France

No registration fee, but mandatory registration
http://www.emn.fr/x-info/atlanmod/index.php/MtATL2009

Co-located with the 10th Libre Software Meeting
http://2009.rmll.info/?lang=en


SCOPE

The regular paper program of the 1st International Workshop on Model
Transformation with ATL is available from the workshop page. We are now
looking for short papers (one to five pages) describing model
transformation applications in ATL. The selected papers will be presented
in short paper sessions.


IMPORTANT DATES

Paper submission
	 June 15, 2009
Author notification
	 June 20, 2009
Camera-ready submission
	 June 25, 2009


SUBMISSIONS AND PROCEEDINGS

Submissions should be no longer than 5 pages, and formatted using the
Springer LNCS format.


PROGRAMME CHAIR

Frédéric Jouault, AtlanMod (INRIA & Ecole des Mines de Nantes), France

                            AOM@MODELS'09
        14th International Workshop on Aspect-Oriented Modeling
                 held in conjunction with MoDELS'09
            Denver, Colorado, USA, October 4, 5, or 6, 2009
                  http://dawis2.icb.uni-due.de/aom/
                           Call for Papers


*Workshop Description*
Aspect-orientation is a rapidly advancing technology. New and powerful
aspect-oriented programming techniques are presented at many
international venues every year. However, it is not clear what features
of such techniques are "common aspect-oriented concepts" and what
features are rather language-specific specialties. Research in
aspect-oriented modeling has the potential to help find such common
characteristics from a perspective that is at a more abstract level
(i.e., programming language-independent).

The Aspect-Oriented Modeling (AOM) Workshop brings together researchers
and practitioners from two communities, aspect-oriented software
development (AOSD) and model-driven engineering.  This workshop provides
a forum for presenting new ideas and discussing the state of research
and practice in modeling various kinds of crosscutting concerns at
different levels of abstraction. The goals of the workshop are to
identify and discuss the impacts of aspect-oriented technologies on
model engineering to provide aspect-oriented software developers with
general modeling means to express aspects and their crosscutting
relationships onto other software artifacts.

*Workshop Topics*
We are interested in submissions on all topics related to aspects and
model engineering including, but not limited to:

- Aspect-Oriented Modeling
 - defining essential characteristics of a crosscutting concern that
   need to be modeled;
 - verification and validation of aspect-oriented models;
 - composition of aspect-oriented models;
 - modeling of aspects at different stages of software development
   (requirements engineering, architecture, design, implementation);
 - application of AOM to modeling notations that are not tied to UML.
- Aspect-Oriented UML
 - identification of UML elements that can be used to model aspects;
 - identification of UML elements that can NOT be used to model
   aspects;
 - aspect-oriented support in UML;
 - extensions to UML for supporting AOSD.
- AOSD Method and Tool Support
 - aspect-oriented and model-based software development methods;
 - using existing UML tools in AOSD life-cycles;
 - new tools and extensions to existing tools to support AOM;
- Model-Oriented AOP and JPM
 - join point selection at model levels;
 - MOF, UML, MDA, etc. as a support to the JPM;
 - model-based aspect evolution;
 - model weaving: from abstract to low-level;
 - model engineering tools for supporting aspect-oriented techniques;
 - model-based aspect interference and composition management.

*Paper Submission*
Prospective participants are invited to submit 4-6 page position papers
following ACM Format Guidelines. Submission instuctions can be found at

  http://dawis2.icb.uni-due.de/aom/workshop:models2009:submission

All submissions will be reviewed by members of the program committee for
quality and relevance.  Submissions must be original; simultaneous
submissions are not allowed. Submitted papers must be in PDF format.

*Workshop Organizers*
Omar Aldawud                    Lucent Technologies, USA
Walter Cazzola                   University of Milano, Italy
Thomas Cottenier                Hengsoft, USA
Jeff Gray                             University of Alabama at Birmingham, USA
Jörg Kienzle                        McGill University, Canada
Dominik Stein                     University of Duisburg-Essen, Germany

*Program Committee*
Mehmet Aksit                    University of Twente, The Netherlands
Aswin van den Berg            Hengsoft, USA
Frank Fleurey                    SINTEF, Norway
Sudipto Ghosh                   Colorado State University, USA
Stefan Hanenberg               University of Duisburg-Essen, Germany
Philippe Lahire                   University of Nice, France
Gunter Mussbacher            University of Ottawa, Canada
Alfonso Pierantonio             University of Aquila, Italy
Ella Roubtsova                   Open University, The Netherlands
Pablo Sánchez                   University of Malaga, Spain
Bedir Tekinerdogan             University of Bilkent, Turkey
Julie Vachon                      University of Montreal, Canada
Markus Völter                    Consultant for SW Technology, Germany
Jon Whittle                        Lancaster University, United Kingdom
Steffen Zschaler                 Lancaster University, United Kingdom

*Important Dates*
Submission deadline:          July 25, 2009
Notification date:                August 30, 2009
Camera-ready deadline:      September 15, 2009
Workshop date:                 October 4, 5, or 6, 2009

*Contact*
For questions and issues on the workshop drop a message at
aomwsoc@...

*******************************
Apologies for cross-postings.
*******************************

1st Eclipse Acceleo Day
July 10, 2009
Nantes, France

http://www.acceleo.org/wiki/index.php/Eclipse_Acceleo_Day

Co-located with the *10th Libre Software Meeting* (one of the major
events on OpenSource): http://2009.rmll.info/?lang=en

Registration Deadline: July 3rd, 2009

-- CALL FOR PARTICIPATION --

*Call for participation*

The workshop will be an occasion for some of the users and developers of
Acceleo to meet and to exchange ideas. This meeting will also be an
opportunity to present some of the planned extensions to this tool and
discuss MDE related subjects. If you are willing to take this
opportunity to quickly present your work (20-30 min), share your ideas,
and get feed-back from the Acceleo community, please send an abstract of
the presentation proposal by email to Freddy Allilaire
(freddy.allilaire@...).

Please note that you can attend the workshop without sending an
abstract, you just need to confirm by email your participation.

*Scope*

Acceleo (http://www.acceleo.org) is an Eclipse-based toolkit for code
generation, with a model based approach. Code generation is the
technique of using or writing programs that write source code. Code
generators are tools built to serve engineers in the automatic creation
of applications. Acceleo is a free software, its development is totally
open.

*Topics of Interest*

    * New Eclipse Acceleo project
      (http://www.eclipse.org/modeling/m2t/?project=acceleo)
    * MOF-to-Text Language
    * Validation with Acceleo
    * Documentation generation
    * Scripting generation (PHP, Python, Ruby, ...)
    * Link with M2M transformations (ATL and others)
    * Comparison with other generative engines
    * Integration of Acceleo in a industrial tool chain
    * Presentation of existing modules ("ready-to-use" generators)


*Talks*

Most of the talks will be 20-30 minutes long. Participants are welcome
to propose a short talk presenting their project of their experience
with Acceleo. Working languages are english and french. All slides and
documents will be in english. Demos would be greatly appreciated :-)

*Important Dates*

    * Registration: July 3rd, 2009 (Even if attendance is free,
      registration is mandatory for organisation purposes)
    * Workshop Date : July 10th, 2009


[Non-text portions of this message have been removed]

Call for Papers
---------------

Dear all,

The main goal of the KISS workshop at Code Generation 2009 consists of reaching
agreement on a set of fundamental principles for modeling language design, such
that the most costly and time consuming interoperability problems can be
avoided.

In order to promote lively discussion and to solicit constructive feedback, a
set of strawman principles for modeling language design has been proposed at
http://www.industrialized-software.org/fundamental-principles-for-modeling-langu\
age-design.

I'd like to invite you to submit a position paper (2 to 13 pages) and to attend
the upcoming workshop at

1. Code Generation 2009 in Cambridge, United Kingdom
(workshop 16. June, extended submission deadline 15. June!)
http://www.industrialized-software.org/kiss-cg-2009

and additionally to consider presenting updates of your work at one of the
subsequent KISS workshops at

2. Object Oriented Programming, Systems, Languages, and Applications in Orlando,
Florida
(25. or 26. October 2009)
http://www.industrialized-software.org/kiss-oopsla-2009

3. Automated Software Engineering in Auckland, New Zealand
(16. or 17. November, submission deadline 31. July)
http://www.industrialized-software.org/kiss-ase-2009.

4. Further venues to be confirmed
(Q1/Q2 2010)
http://www.industrialized-software.org/kiss-initiative

In contrast to yearly events, the KISS workshops are intended as working
sessions that are used to iteratively present work in progress, and to
incorporate the feedback received in practical implementations that conform to
KISS values and fundamental principles.

Lastly, please don't forget disseminating information about the planned KISS
workshops to your colleagues. A formal CfP for dissemination within your
organization is attached below.

Best regards,

-- Jorn

Jorn Bettin
www.sofismo.ch - Software is Models!
Saegestrasse 50, 5600 Lenzburg, Switzerland

---------------
Call for Papers
---------------

KISS Workshop on Fundamental Aspects of DSL Interoperability

Cambridge, United Kingdom, 16 June 2009 @ Code Generation 2009
http://www.industrialized-software.org/kiss-cg-2009

Orlando, Florida, 25. or 26. October 2009 @ OOPSLA 2009
http://www.industrialized-software.org/kiss-oopsla-2009

Auckland, New Zealand, 16 or 17 November 2009 @ ASE 2009
http://www.industrialized-software.org/kiss-ase-2009


Background and Aims
-------------------

The main motivation for the use of a DSL is the desire to express
problems in a compact form that reflects the natural terminology
of human domain experts, and that is easily accessible to software
tools. In short, DSLs are raising the level of abstraction of
software specifications and of knowledge representation in general.
When DSLs are used to formalize the results of domain analysis,
the result is a clean separation of concerns in the problem space.
The value of a DSL increases with the intuitiveness of the concrete
syntax. Visual and graphical elements may be needed to increase
usability, and often such languages are referred to as domain
specific modelling languages (DSML).

The level of interoperability between current DSL tools is
comparable to the level of interoperability between CASE tools
in the 90s. To increase the popularity of DSL based approaches,
this needs to change. With the extensive use of outsourcing and
with the increasing investment in open-source software, software
development has become highly decentralized, and an assumption
that all parties in a global software supply chain will use
identical tooling is simply not realistic. As a result today's
software supply chains are much less automated than supply chains
in other, more mature industries.

In order to increase awareness about the role that domain specific
modeling languages can play in capturing, preserving, and exploiting
knowledge in virtually all industries, it is necessary to establish
a strong consensus on the fundamental values and principles that
underpin the use of domain specific modeling languages.

KISS aims to provide guidelines to support the use of domain specific
methods and technologies in industry. In particular, KISS will
support the construction of tool-chains that are built by third
parties using components consisting of a mixture of commercial and
open-source DSL tools.

The KISS series of conference workshops and related events is used
to incrementally create a consensus that can be expressed in a form
similar to the agile manifesto and the fundamental agile principles.

Objectives
----------

1. To achieve a strong consensus on fundamental values and principles
for designing and using Domain Specific Languages.

2. To progress towards interoperability between DSL tools through the
use of open-source technologies.

Topics of Interest
------------------

* Fundamental values and principles for designing and using domain
specific modeling languages (DSMLs).

* Classification of the different kinds of DSML tool components, and
the artefacts created and exchanged between DSML tool components.

* Descriptions of existing or planned industrial projects that
illustrate the need for improved DSML tool interoperability.

* Evaluations of existing meta-meta model implementations, comparisons
of meta-meta model implementations, and proposals of new meta-meta
models that are conducive for improving DSML tool interoperability.

* Proposals for useful levels of DSML tool interoperability.

* Case studies of attempts (successful or not) to increase
interoperability between two or more DSML tools.

* Concrete tool interoperability requirements from organizations that
use DSMLs.

* Building an open community that owns interoperability standards for
DSML tools.

* Approaches that can be used for practical certification of tools
with respect to interoperability levels.

Important Dates
---------------

See schedules published on the workshop web pages
http://www.industrialized-software.org/kiss-cg-2009
http://www.industrialized-software.org/kiss-oopsla-2009
http://www.industrialized-software.org/kiss-ase-2009
http://www.industrialized-software.org/kiss-initiative

Submission Guidelines
---------------

The workshop accepts two types of submissions within the aims and
scope of KISS: reflective and proposals. A reflective submission
describes research or experience within the topics of interest
of the workshop. A proposal submission describes an approach or a
framework that the authors claim will contribute to the overall
objectives of KISS.

* For both types of papers, the length of the paper should be at
least 2 pages and should not exceed 13 pages using the correct
style (including references and appendices).

* The first page should begin with the title of the paper, author
names (contact author underlined), affiliations, and e-mail
addresses, followed by an abstract of no more than 150 words.

* In order to be considered for publication authors should use the
Springer format: follow the instructions at
http://www.springer.de/comp/lncs/authors.html ).

* Position papers may be submitted after the deadline and will be
circulated as input to the workshop. Papers submitted after the
deadline cannot be considered for publication in the workshop
proceedings.

Please mail your submission to Jorn Bettin (jbe at sofismo dot ch).

Publication
-----------

Accepted papers in the correct format will be published in the
workshop proceedings which will be distributed on registration.
The organizers are investigating the publication of the best papers
in a special issue of a suitable journal.

Workshop Organizers
-------------------

See the list of organizers for specific events on the KISS web site
http://www.industrialized-software.org/kiss-cg-2009
http://www.industrialized-software.org/kiss-oopsla-2009
http://www.industrialized-software.org/kiss-ase-2009
http://www.industrialized-software.org/kiss-initiative

International Programme Committee (Provisional)
------------------------------

* Jorn Bettin, Sofismo, Switzerland.
* Tony Clark, Thames Valley University, UK.
* Craig Cleaveland, Whitebirch Software, United States.
* William Cook, University of Texas Austin, United States.
* Mark Dalgarno, Software Acumen, United Kingdom.
* Keith Duddy, Smart Services CRC, Australia.
* Jack Greenfield, Microsoft, United States.
* John Hosking, University of Auckland, New Zealand.
* Pavel Hruby, CSC , Denmark.
* Steven Kelly, MetaCase, Finland.
* Anneke Kleppe, Capgemini, The Netherlands
* Richard Paige, University of York, UK.
* Derek Roos, Mendex, The Netherlands.
* Bran Selic, Malina Software, Canada.
* Shane Sendall, Snowie Group, Switzerland.
* Peer Törngren, IBM, Sweden.
* Laurence Tratt, Bournemouth University, UK.
* Jim van Dam, HiPeS, The Netherlands.
* Markus Völter, independent consultant, Germany.
* Jos Warmer, Ordina, The Netherlands.
* James Willans, Independent Consultant, UK.

*******************************
Apologies for cross-postings.
*******************************

1st Eclipse Acceleo Day
July 10, 2009
Nantes, France

http://www.acceleo.org/wiki/index.php/Eclipse_Acceleo_Day

Co-located with the *10th Libre Software Meeting* (one of the major
events on OpenSource): http://2009.rmll.info/?lang=en

Registration Deadline: July 3rd, 2009

-- CALL FOR PARTICIPATION --

*Call for participation*

The workshop will be an occasion for some of the users and developers of
Acceleo to meet and to exchange ideas. This meeting will also be an
opportunity to present some of the planned extensions to this tool and
discuss MDE related subjects. If you are willing to take this
opportunity to quickly present your work (20-30 min), share your ideas,
and get feed-back from the Acceleo community, please send an abstract of
the presentation proposal by email to Freddy Allilaire
(freddy.allilaire@...).

Please note that you can attend the workshop without sending an
abstract, you just need to confirm by email your participation.

*Scope*

Acceleo (http://www.acceleo.org) is an Eclipse-based toolkit for code
generation, with a model based approach. Code generation is the
technique of using or writing programs that write source code. Code
generators are tools built to serve engineers in the automatic creation
of applications. Acceleo is a free software, its development is totally
open.

*Topics of Interest*

    * New Eclipse Acceleo project
      (http://www.eclipse.org/modeling/m2t/?project=acceleo)
    * MOF-to-Text Language
    * Validation with Acceleo
    * Documentation generation
    * Scripting generation (PHP, Python, Ruby, ...)
    * Link with M2M transformations (ATL and others)
    * Comparison with other generative engines
    * Integration of Acceleo in a industrial tool chain
    * Presentation of existing modules ("ready-to-use" generators)


*Talks*

Most of the talks will be 20-30 minutes long. Participants are welcome
to propose a short talk presenting their project of their experience
with Acceleo. Working languages are english and french. All slides and
documents will be in english. Demos would be greatly appreciated :-)

*Important Dates*

    * Registration: July 3rd, 2009 (Even if attendance is free,
      registration is mandatory for organisation purposes)
    * Workshop Date : July 10th, 2009


[Non-text portions of this message have been removed]

Apologies for cross-postings.

     ======================================================================

                   Second International Workshop on
      Transforming and Weaving Ontologies in MDE/MDA

                                TWOMDE2009

                             CALL FOR PAPERS

            at the ACM/IEEE 12th International Conference on Model
            Driven Engineering Languages and Systems (MoDELS 2009)

              http://www.uni-koblenz.de/confsec/twomde2009/

     IMPORTANT DATES
     -----------------------------
     * July   25, 2009:  Papers submission
     * August 30, 2009:  Author notification
     * September 15, 2009:  Submission of camera-ready papers
     * October 4-6, 2009: Workshop Date

     ======================================================================


AIMS AND SCOPE
-----------------------------

The interest in integrating Ontologies and Software Engineering has gained more
attention with
commercial and scientific initiatives. The Semantic Web Best Practice and
Deployment Working Group
(SWBPD) in W3C included a Software Engineering Task Force (SETF) to explore how
Semantic Web and
Software Engineering can cooperate. The Object Management Group (OMG) has an
Ontology Platform
Special Interest Group (PSIG) aiming at formalizing semantics in software by
knowledge
representation and related technologies. The concrete results of such
initiatives are the
specification of the OMG Ontology Definition Metamodel, the OWL2 Metamodel, the
introduction to
Ontology Driven Architectures and a Semantic Web Primer for Object-Oriented
Software Developers.

Nevertheless, as MDE spreads, disciplines like model transformation, domain
specific languages
(DSLs) and traceability become essential in order to support different kinds of
models in an model
driven environment. Understanding the role of ontology technologies like
knowledge representation,
automated reasoning, dynamic classification and consistence checking in these
fields is crucial to
leverage the development of such disciplines. Thus, we highlight the following
open questions: How
can the scientific and technical results around ontologies, ontology languages
and their
corresponding reasoning technologies be used fruitfully in MDE? What is the role
of ontologies in
supporting model transformation or traceability? How can ontologies improve
designing DSLs? Are
current query languages able to query both kinds of models?

Discussions about these and related questions will be supported by this
workshop. TWOMDE2009 aims at
providing a forum for discussing the application of different aspects of
ontologies to enhance Model
Driven Engineering.

The intended audience embraces members of the modeling community with experience
or interest in
Model Driven Engineering and in Knowledge Representation. Specifically, but not
only, the
participation of experts in technologies related with UML, MOF, ATL, QVT, RDF or
OWL is highly welcome.


TOPICS OF INTEREST
-----------------------------

TWOMDE2009 is the exclusive forum at a MDE conference to address the application
of ontologies in
model driven development. The potential of this field has just started being
explored.

Although we had papers covering different aspects of MDE, the employment of
automated reasoning
services to make use of formal descriptions provided by ontology languages has
practically not been
explored. Moreover, prominent topics in MDE like model transformation,
traceability and query
languages were not pondered by the papers of the first edition.

For this edition, we expect more use cases in a wider range of topics. We would
like to see
successful industry use cases and quality models to evaluate the role of
ontologies in MDE.

Topics of interest are but not exclusive:

    * RDF metamodel repository: interfaces and models to store, retrieve, query
and manage MOF/Ecore
metadata in RDF stores.

    * Metamodeling support of semantic structures: improvements on metamodeling
facilities for
representing richer real-world semantics, like OWL or OWL2.

    * Reasoning over MOF-based models using ontologies: verification and
validation of models using
ontologies; application of Description Logics reasoning in UML diagrams or
MOF/Ecore models, in
order to enhance and to support models and metamodels at design time as well as
at runtime.

    * Application of ontologies in model transformation: usage of ontologies and
reasoning to
automatically generate model transformations; validation of model
transformations; use of reasoning
in model transformation rules.

    * Reasoning and query languages for integrated models: development or
integration of query
languages able to retrieve objects of MOF-based models and OWL-based models;
reasoning approaches or
algorithms regarding both semantics of Description Logics semantics of and
MOF-based models.

    * Integration of modeling standards and metamodeling of ontology
technologies: integration
approaches like aspect-oriented programming to weave modeling standards like
MOF, Ecore, UML, OCL,
ODM, and SWRL; development, improvement or integration of metamodels for
ontology technologies, for
example OWL, SWRL, F-Logic.

    * Ontology driven software development: ontology support to web service
orchestration; software
architectures and methodologies for developing semantic web services and agents;
reuse of web
service ontologies or application of reasoning in specifying execution logics of
orchestration.

    * MDE tools using ontologies: implementations of MDE tools relying on
ontologies or on reasoning
services.

    * Semantic support to Domain Specific Languages: integration of metamodeling
and ontologies in
order to provide abstract syntax and formal semantics for DSL.

    * Ontology engineering with MDA/MDE techniques: application of MDA/MDE
techniques in order to
support ontology engineering activities like ontology pruning, ontology
refactoring, or ontology
measurement.

    * Ontology connectors to system models: methods and techniques for
integrating ontology
constructs like classes and properties with MOF-based constructs like classes,
properties or operations.

    * Application of Ontologies in traceability and provenance: usage of model
annotations,
ontologies and reasoning in order to improve traceability between MOF-based
models.


SUBMISSION
-----------------------------

    * Full Papers: describe concrete contributions validated by appropriate
evaluation. Full paper
submissions must not exceed 15 pages.

    * Short Papers: comprehend research-in-progress, industrial experience and
position papers. Short
paper submissions does not exceed 6 pages.

    * Posters and Demos: authors are invited to submit a three-page paper
describing tools involving
ontologies in MDE.

All papers must be submitted online using the submission website
(http://www.easychair.org/conferences/?conf=twomde2009). Submissions must be in
PDF, formatted in
the style of the Springer Publications format for Lecture Notes in Computer
Science (LNCS).


PROCEEDINGS
-----------------------------

Final versions of accepted papers will be published electronically in the CEUR
Workshop Proceedings
Series. Revised selected papers will be submitted to the LNCS MoDELS Satellite
Proceedings. Select
papers will be invited to submit an extended version to the special issue of the
Journal on Software
& System Modeling (under negotiation).


ORGANIZATION
-----------------------------

    * Fernando Silva Parreiras (DE), University of Koblenz-Landau
    * Jeff Z. Pan (GB), University of Aberdeen
    * Uwe Assmann (DE), Dresden University of Technology


TENTATIVE PROGRAM COMMITTEE
-----------------------------

    * Alexander Paar (DE), University of Karlsruhe (TH)
    * Andreas Winter (DE), University of Mainz
    * Bernhard Rumpe (DE), Braunschweig University of Technology
    * Colin Atkinson (DE), University of Mannheim
    * Daniel Oberle (DE), SAP Research
    * Dragan Gasevic (CA), Simon Fraser University Surrey
    * Elisa F. Kendall (US), Sandpiper Software, Inc.
    * Gerd Wagner (DE), Brandenburg University of Technology at Cottbus
    * Gerti Kappel (AT), Vienna University of Technology
    * Giancarlo Guizzardi (IT), ISTC-CNR
    * Harald Kuehn (AT), BOC Information Systems GmbH
    * Holger Knublauch (US), TopQuadrant
    * Ken Baclawski (US), Northeastern University
    * Luis Ferreira Pires (NL), University of Twente
    * Peter Haase (DE), University of Karlsruhe (TH)
    * Phil Tetlow (GB), IBM Business Consulting Services
    * Saartje Brockmans (DE), Ontoprise
    * Steffen Staab (DE), University of Koblenz-Landau


CONTACT
-----------------------------

Please do not hesitate to contact us, if you have any question regarding this
event.

Fernando Silva Parreiras, parreiras@...


SPONSORS
-----------------------------

EU STReP MOST, http://www.most-project.eu/

C A L L   F O R   P A P E R S
                        =============================
              The 9th OOPSLA Workshop on Domain-Specific Modeling

                              October 25-26, 2009
                             Orlando, Florida, USA
                    http://www.dsmforum.org/events/DSM09

--------------------------------------------------------------------
Call for Papers:

An upward shift in abstraction leads to a corresponding increase in
productivity. In the past this has occurred when programming
languages have evolved towards a higher level of abstraction. Today,
domain-specific languages provide a viable solution for continuing
to raise the level of abstraction beyond coding, making development
faster and easier.

In Domain-Specific Modeling (DSM), the models are constructed using
concepts that represent things in the application domain, not
concepts of a given programming language. The modeling language
follows the domain abstractions and semantics, allowing developers to
perceive themselves as working directly with domain concepts.
Together with frameworks and platforms, DSM can automate a large
portion of software production.

The goals of this year's workshop are to focus on sharing experiences
and demonstrating the DSM solutions that have been developed by both
researchers and practitioners. Some of the issues that we would like
to see addressed in this workshop are:
- Industry/academic experience reports describing success/failure in
   implementing and using domain-specific languages/tools
- Approaches to identify constructs for domain-specific languages
- Tools for supporting domain-specific modeling
- Approaches to implement metamodel-based modeling languages
- Novel approaches for code generation from domain-specific models
- Issues of support/maintenance for systems built with DSMs
- Evolution of languages in accordance with domain
- Metamodeling frameworks and languages
- Demonstrations of working DSM solutions (languages, generators,
   frameworks, tools)
- Specific domains where this technology can be most productive in
   the future (e.g., DSMs to describe aspects of embedded systems,
   product families, systems with multiple implementation platforms)
- Separation of concerns and the application of new modularity
   technologies (e.g., aspect-oriented) to domain-specific languages

---------------------------------------------------------------------
Important Dates:

Initial submission:   August 10
Author Notification:  1 week prior to Early Registration deadline
Final version:        October 5
Workshop:             October 25-26

---------------------------------------------------------------------
Submission Information

The workshop welcomes four types of submissions:

1) Full papers describing ideas on either a practical or theoretical
level. Full papers should emphasize what is new and significant
about the chosen approach and compare it to other research work in
the field.

2) Experience reports on applying DSM. Papers should describe case
studies and experience reports on the application, successes or
shortcomings of DSM. The experiences can be related for example on
language creation or use, tooling or organizational issues.

3) Position papers describing work in progress or an author's
position regarding current DSM practice.

4) DSM demonstrations describing a particular language, generator,
or tool for a particular domain. During the workshop, the DSM
solution presented in the paper can be demonstrated to the
participants.

Papers should be submitted by August 10, 2009. Please see the
submission details at the workshop webpage at:
http://www.dsmforum.org/events/DSM09. The accepted papers will be
published in the printed proceedings and posted on the workshop web
site.

--------------------------------------------------------------------
Additional Information:

Additional information about the workshop (including contact
information, past workshop papers, presentations, group work results)
is available at the workshop web site:
http://www.dsmforum.org/events/DSM09

--------------------------------------------------------------------
Program committee

Pierre America, Philips
Robert Baillargeon, Panasonic Automotive Systems, USA
Krishnakumar Balasubramanian, Mathworks
Peter Bell, SystemsForge
Jorn Bettin, Sofismo
Philip T. Cox, Dalhousie University
Krzysztof Czarnecki, University of Waterloo
Brandon Eames, Utah State University
Robert France, Colorado State University
Ethan Jackson, Microsoft
Frederic Jouault, University of Nantes
Jürgen Jung, Deutsche Post
Steven Kelly, MetaCase
Guenther Lenz, Microsoft
Shih-Hsi Liu, California State University, Fresno
Kalle Lyytinen, Case Western Reserve University
Juha Pärssinen, VTT
Arturo Sanchez, University of North Florida
Jun Suzuki, University of Massachusetts, Boston
Markus Völter, independent consultant
Jos Warmer, Ordina
Jing Zhang, Motorola Research

---------------------------------------------------------------------
Organizing committee

Juha-Pekka Tolvanen, MetaCase
Jeff Gray, University of Alabama at Birmingham
Matti Rossi, Helsinki School of Economics
Jonathan Sprinkle, University of Arizona

============================================================================
                               TOOLS EUROPE 2009
                          47th International Conference
                      Objects, Models, Components, Patterns

                                 co-located with
             *** International Conference on Model Transformation 2009 ***
	      *** International conference on Tests and Proofs 2009 ***
                   *** Software Engineering Approaches for Offshore
                       and Outsourced Development 2009 ***
         	       *** Software composition 2009 ***

                   ETH Zurich, Switzerland 29 June - 3 July 2009

                              http://tools.ethz.ch/
============================================================================


     Call for Participation


TOOLS EUROPE 2009 invites future participants to register. The event
will be devoted to the combination of technologies that have emerged
as a result of object technology becoming "mainstream". Like its
predecessors, TOOLS EUROPE 2009 combines an emphasis on quality with a
strong practical focus.

Started in 1989, TOOLS conferences, held in Europe, the USA, Australia,
China and Eastern Europe, have played a major role in the development of
object technology field; many of the seminal concepts were first presented
at TOOLS. After twenty years of existence, TOOLS is a yearly event that
gathers the research community to discuss practical topics in OO
technologies and Software Engineering.

Contributions focus on all aspects of object technology and
neighboring fields, in particular model-based development, component-
based development, and patterns (design, analysis and other applications).
For a preview of the program, please refer to the webpage of the conference.

All contributions were subject to a rigorous selection process -
acceptance rate of 25% - by the international Program Committee,
with a stress on originality, practicality and overall quality. The
proceedings should be published in Springer LNBIP.

The conference will also host keynotes from internationally recognized
scientist including Gerti Kappel, Benjamin Pierce, JanVitek, Stéphane
Ducasse, Paul Klint, Carlo Ghezzi, Narayanasamy Ramasubbu.


     Important Dates

Conference: June 29 - July 3, 2009
Tutorials/Workshop proposals: February-March 2009

     Registration

Early bird registration: 31 May 2009 or before
Advance registration: 24 June 2009 or before

After the advance registration date, registration will be on site only. The
registration form can be found on the TOOLS website.


    Accommodation

A list of suggested hotels can be found on the TOOLS website at the
following URL http://tools.ethz.ch/venue.html


     Chairpersons

Conference chair : Bertrand Meyer, Zurich
Program chair: Manuel Oriol, York
Workshop Chair: Alexandre Bergel, Lille and Johan Fabry, Santiago
Publicity Chair: Philippe Lahire, Nice and Marcus Denker, Santiago


     Program committee

Patrick Albert, Balbir S. Barn, Mike Barnett, Claude R. Baudoi,
Bernhard Beckert, Alexandre Bergel, Judith Bishop, Phil Brooke, Cristiano
Calcagno, Ana Cavalcanti, Dave Clarke, Bernard Coulette, Jing Dong,
Stephane Ducasse, Gregor Engels, Patrick Eugster, Manuel Fahndrich, Jose
Luiz Fiadeiro, Michael Franz, Judit Nyekyne Gaizler, Benoit Garbinato,
Carlo Ghezzi, Tudor Girba, Martin Glinz, Martin Gogolla, Jeff Gray, Pedro
Guerreiro, Joseph Kiniry, Ralf Laemmel, Philippe Lahire, Mingshu Li, Dragos
Manolescu, Erik Meijer, Peter Mueller, Jonathan Ostroff, Richard Paige,
Marc Pantel, Alfonso Pierantonio, Alexander Pretschner, Bran Selic,
Anatoly Shalyto, Perdita Stevens, Eric Tanter, Dave Thomas, Laurence Tratt,
Antonio Vallecillo, Roel Wuyts, Amiram Yehudai, Andreas Zeller

The OpenEmbeDD project has released the 1.0.0 stable version of its
platform (codename: TITAN).

The OpenEmbeDD platform is a Model Driven Engineering platform based
upon Eclipse with open source tools to create, transform and simulate
metamodels and models:

http://openembedd.org/MDE

Its main assets are:

     * easy to install
           o see http://openembedd.org/Download page

     * powerful and versatile MDE tools' chain
           o *ATL* model transformation language
           o *Kermeta* metamodeling language
           o *Topcased* UML modeler + DSL modelers generator
           o *Papyrus* UML Profiles modeler

     * full conformance with industrial standards

     * can easily become your DSL platform


As the OpenEmbeDD goal is Real-Time & Embedded software engineering, the
platform also offers more specialized MDE tools:

http://openembedd.org/RTE/


--
Cordialement

Vincent MAHÉ

Ingénieur Plate-forme OpenEmbeDD - http://openembedd.org
IRISA-INRIA, Campus de Beaulieu, 35042 Rennes cedex, France
Tél: +33 (0) 2 99 84 71 00, Fax: +33 (0) 2 99 84 71 71




[Non-text portions of this message have been removed]

Call for Papers
---------------

Dear all,

The first KISS workshop on "fundamental principles for designing DSLs and
interoperability between DSL tools" was held last month at ASWEC on the Gold
Coast in Australia.

With 10 attendees the workshop had the flavour of an intimate working session,
and there was ample opportunity to talk about specific practical issues that
affect those trying to achieve interoperability within tool chains in model
driven software environments. The best way to obtain an overview of the topics
of discussion is to take a look at the working documents that are now published
on the KISS web site (http://www.industrialized-software.org/kiss-initiative).

I particularly liked the presentation by James Steel and Robin Drogemuller on
Building Information Modelling and the IFC standard. If you ever have the need
to refer to a practical example of non-UML-based modelling languages that are
widely used across an entire industry, the IFC standard is worthwhile refering
to. Of course it also provides further evidence of the typical problems
encountered when attempting to develop industry standards, and evidence of the
timeliness for reaching agreement on a set of fundamental principles for
modelling language design
(http://www.industrialized-software.org/fundamental-principles-for-modeling-lang\
uage-design), such that the most costly and time consuming interoperability
problems can be avoided.

Please note that there will be further KISS workshops and related events every
few months, and that the results presented to date will be updated based on the
results of further discussion and practical work. For example, Sofismo is
currently implementing the open source Gmodel meta modelling language that I
proposed at ASWEC, and the related specification on the KISS web site is being
updated in tandem with the implementation. Practical demonstrations of Gmodel
and related interoperability tooling are planned for further KISS workshops.

I'd like to invite you to submit a position paper (2 to 13 pages) and to attend
the upcoming workshops at

1. Code Generation 2009 in Cambridge
(workshop 16. June, submission deadline 30. May)
http://www.industrialized-software.org/kiss-cg-2009

2. Automated Software Engineering in Auckland
(16. or 17. November, submission deadline 31. July)
http://www.industrialized-software.org/kiss-ase-2009.

3. Further venues to be confirmed
(Q4 2009 and Q1/Q2 2010)
http://www.industrialized-software.org/kiss-initiative

In contrast to yearly events, the KISS workshops are intended as working
sessions that are used to iteratively present work in progress, and to
incorporate the feedback received in practical implementations that conform to
KISS values and fundamental principles.

Lastly, please don't forget disseminating information about the planned KISS
workshops to your colleagues. A formal CfP for dissemination within your
organization is attached below.

Best regards,

-- Jorn

Jorn Bettin
www.sofismo.ch - Software is Models!
Saegestrasse 50, 5600 Lenzburg, Switzerland

---------------
Call for Papers
---------------

KISS Workshop on Fundamental Aspects of DSL Interoperability

Cambridge, United Kingdom, 16 June 2009 @ Code Generation 2009
http://www.industrialized-software.org/kiss-cg-2009

Auckland, New Zealand, 16 or 17 November 2009 @ ASE 2009
http://www.industrialized-software.org/kiss-ase-2009


Background and Aims
-------------------

The main motivation for the use of a DSL is the desire to express
problems in a compact form that reflects the natural terminology
of human domain experts, and that is easily accessible to software
tools. In short, DSLs are raising the level of abstraction of
software specifications and of knowledge representation in general.
When DSLs are used to formalize the results of domain analysis,
the result is a clean separation of concerns in the problem space.
The value of a DSL increases with the intuitiveness of the concrete
syntax. Visual and graphical elements may be needed to increase
usability, and often such languages are referred to as domain
specific modelling languages (DSML).

The level of interoperability between current DSL tools is
comparable to the level of interoperability between CASE tools
in the 90s. To increase the popularity of DSL based approaches,
this needs to change. With the extensive use of outsourcing and
with the increasing investment in open-source software, software
development has become highly decentralized, and an assumption
that all parties in a global software supply chain will use
identical tooling is simply not realistic. As a result today's
software supply chains are much less automated than supply chains
in other, more mature industries.

In order to increase awareness about the role that domain specific
modeling languages can play in capturing, preserving, and exploiting
knowledge in virtually all industries, it is necessary to establish
a strong consensus on the fundamental values and principles that
underpin the use of domain specific modeling languages.

KISS aims to provide guidelines to support the use of domain specific
methods and technologies in industry. In particular, KISS will
support the construction of tool-chains that are built by third
parties using components consisting of a mixture of commercial and
open-source DSL tools.

The KISS series of conference workshops and related events is used
to incrementally create a consensus that can be expressed in a form
similar to the agile manifesto and the fundamental agile principles.

Objectives
----------

1. To achieve a strong consensus on fundamental values and principles
for designing and using Domain Specific Languages.

2. To progress towards interoperability between DSL tools through the
use of open-source technologies.

Topics of Interest
------------------

* Fundamental values and principles for designing and using domain
specific modeling languages (DSMLs).

* Classification of the different kinds of DSML tool components, and
the artefacts created and exchanged between DSML tool components.

* Descriptions of existing or planned industrial projects that
illustrate the need for improved DSML tool interoperability.

* Evaluations of existing meta-meta model implementations, comparisons
of meta-meta model implementations, and proposals of new meta-meta
models that are conducive for improving DSML tool interoperability.

* Proposals for useful levels of DSML tool interoperability.

* Case studies of attempts (successful or not) to increase
interoperability between two or more DSML tools.

* Concrete tool interoperability requirements from organizations that
use DSMLs.

* Building an open community that owns interoperability standards for
DSML tools.

* Approaches that can be used for practical certification of tools
with respect to interoperability levels.

Important Dates
---------------

See schedules published on the workshop web pages
http://www.industrialized-software.org/kiss-cg-2009
http://www.industrialized-software.org/kiss-ase-2009
http://www.industrialized-software.org/kiss-initiative

Submission Guidelines
---------------

The workshop accepts two types of submissions within the aims and
scope of KISS: reflective and proposals. A reflective submission
describes research or experience within the topics of interest
of the workshop. A proposal submission describes an approach or a
framework that the authors claim will contribute to the overall
objectives of KISS.

* For both types of papers, the length of the paper should be at
least 2 pages and should not exceed 13 pages using the correct
style (including references and appendices).

* The first page should begin with the title of the paper, author
names (contact author underlined), affiliations, and e-mail
addresses, followed by an abstract of no more than 150 words.

* In order to be considered for publication authors should use the
Springer format: follow the instructions at
http://www.springer.de/comp/lncs/authors.html ).

* Position papers may be submitted after the deadline and will be
circulated as input to the workshop. Papers submitted after the
deadline cannot be considered for publication in the workshop
proceedings.

Please mail your submission to Jorn Bettin (jbe at sofismo dot ch).

Publication
-----------

Accepted papers in the correct format will be published in the
workshop proceedings which will be distributed on registration.
The organizers are investigating the publication of the best papers
in a special issue of a suitable journal.

Workshop Organizers
-------------------

See the list of organizers for specific events on the KISS web site
http://www.industrialized-software.org/kiss-cg-2009
http://www.industrialized-software.org/kiss-ase-2009
http://www.industrialized-software.org/kiss-initiative

International Programme Committee (Provisional)
------------------------------

* Jorn Bettin, Sofismo, Switzerland.
* Tony Clark, Thames Valley University, UK.
* Craig Cleaveland, Whitebirch Software, United States.
* William Cook, University of Texas Austin, United States.
* Mark Dalgarno, Software Acumen, United Kingdom.
* Keith Duddy, Smart Services CRC, Australia.
* Jack Greenfield, Microsoft, United States.
* John Hosking, University of Auckland, New Zealand.
* Pavel Hruby, CSC , Denmark.
* Steven Kelly, MetaCase, Finland.
* Anneke Kleppe, Capgemini, The Netherlands
* Richard Paige, University of York, UK.
* Derek Roos, Mendex, The Netherlands.
* Bran Selic, Malina Software, Canada.
* Shane Sendall, Snowie Group, Switzerland.
* Peer Törngren, IBM, Sweden.
* Laurence Tratt, Bournemouth University, UK.
* Jim van Dam, HiPeS, The Netherlands.
* Markus Völter, independent consultant, Germany.
* Jos Warmer, Ordina, The Netherlands.
* James Willans, Independent Consultant, UK.

__________________________________________________________________
                        Call for Papers - SLE 2009

     2nd International Conference on Software Language Engineering

                      http://planet-sl.org/sle2009

                  Denver, Colorado, October 5-6, 2009

___________________________________________________________________

            Co-located with 12th International Conference on
     Model-Driven Engineering Languages and Systems (MODELS 2009)
                 and 8th International Conference on
      Generative Programming and Component Engineering (GPCE 2009)

Proceedings will be published in the LNCS series (subject to
Springer's approval).

The 2nd International Conference on Software Language Engineering (SLE)
is devoted to topics related to artificial languages in software
engineering. SLE's foremost mission is to encourage and organize
communication between communities that have traditionally looked
at software languages from different, more specialized, and yet
complementary perspectives. SLE emphasizes the fundamental notion
of languages as opposed to any realization in specific "technical
spaces". SLE 2009 will be co-located with the 12th IEEE/ACM
International Conference on Model-Driven Engineering Languages and
Systems (MODELS 2009).


Scope
-----

The term 'software language' comprises all sorts of artificial
languages used in software development including general-purpose
programming languages, domain-specific languages, modeling and
meta-modeling languages, data models, and ontologies. Used in its
broadest sense, examples include modeling languages such as
UML-based and domain-specific modeling languages, business process
modeling languages, and web application modeling languages.  The
term 'software language' also comprises APIs and collections of
design patterns that are implicitly defined languages.

Software language engineering is the application of a systematic,
disciplined, quantifiable approach to the development, use, and
maintenance of these languages. Thus, the SLE conference is
concerned with all phases of the life cycle of software languages;
these include the design, implementation, documentation, testing,
deployment, evolution, recovery, and retirement of languages. Of
special interest are tools, techniques, methods and formalisms that
support these activities. In particular, tools are often based on
or even automatically generated from a formal description of the
language. Hence, of special interest is the treatment of language
descriptions as software artifacts, akin to programs - while paying
attention to the special status of language descriptions, subject
to tailored engineering principles and methods for modularization,
refactoring, refinement, composition, versioning, co-evolution,
and analysis.


Topics of interest
------------------

We solicit high-quality contributions in the area of SLE ranging
from theoretical and conceptual contributions to tools, techniques
and frameworks that support the aforementioned life cycle activities.
Some examples of tools, techniques, applications, and problems are
listed below in order to clarify the types of contributions sought
by SLE.

* Formalisms used in designing and specifying languages and tools
   that analyze such language descriptions.

* Language implementation techniques, grammar-based and
   metamodel-based.


* Program and model transformation tools.

* Composition, integration, and mapping tools for managing different
   aspects of software languages or different manifestations of a
   given language.

* Language evolution.

* Approaches to the elicitation, specification, and verification of
   requirements for software languages.

* Language development frameworks, methodologies, techniques, best
   practices, and tools for the broader language life cycle covering
   phases such as analysis, testing, and documentation.

* Design challenges in SLE.

* Applications of languages including innovative domain-specific
   languages or "little" languages

Do note that this list is not exclusive and many examples of tools,
techniques, approaches have not been listed. Please visit the
conference web site to see a more elaborate description of the
topics of interests. The program committee chairs encourage potential
contributors to contact them with questions about the scope and
topics of interest of SLE.


Paper Submission
----------------

We solicit the following types of papers:

  * Research papers. These should report a substantial research
    contribution to SLE and/or successful application of SLE
    techniques. Full paper submissions must not exceed 20 pages.

  * Short papers. These may describe interesting or thought-provoking
    concepts that are not yet fully developed or evaluated, make an
    initial contribution to challenging research issues in SLE, or
    discuss and analyze controversial issues in the field. These papers
    must not exceed 10 pages.

  * Tool demonstration papers. Because of SLE's ample interest in
    tools, we seek papers that present software tools related to the
    field of SLE. These papers will accompany a tool demonstration to
    be given at the conference. These papers must not exceed 10
    pages. The selection criteria include the originality of the tool,
    its innovative aspects, the relevance of the tool to SLE, and the
    maturity of the tool. Submissions may also include an appendix
    (that will not be published) containing additional screen-shots and
    discussion of the proposed demonstration.

  * Mini-tutorial papers. SLE is composed of various research areas,
    such as grammarware, modelware, language schemas, and semantic
    technologies. The cross product of attendees at SLE creates a
    situation where the contribution from one session may be difficult
    to understand by those not initiated to the area. To help unite the
    various communitues of SLE 2009, mini-tutorials are solicited
    that provide discussion points for mapping common ideas between the
    area and differentiating among variations. A mini-tutorial submisson
    should be between 15 and 20 pages.

Submitted articles must not have been previously published or currently
be submitted for publication elsewhere. All submitted papers will be
closely reviewed by at least three members of the program committee. All
accepted papers will be made available at the conference in the
pre-proceedings and published in the post-proceedings of the conference,
which will appear in Springer's Lecture Notes in Computer Science series.
Authors will have the opportunity to revise their accepted paper for the
pre- and post-proceedings.

All papers must be formatted by following Springer's LNCS style and
must be submitted using EasyChair (open early June):

      http://www.easychair.org/conferences/?conf=sle09

Further details regarding submission can be found on the SLE web page:

      http://planet-sl.org/sle2009


Invited Speakers
----------------
James Cordy, Queens University, Canada
Jean Bezivin, University of Nantes, France


Important Dates
---------------
  * Initial abstract submission (required)              July  3, 2009
  * Paper submission:                                   July 10, 2009
  * Author notification:                                August 21, 2009
  * Paper submission for pre-proceedings:               September 14, 2009
  * Conference:                                         October 5-6, 2009
  * Camera-ready paper submission for post-proceedings: December 7, 2009
  * LNCS post-proceedings mailed to authors (approx.):  February 2010


Organization
------------

General Chair
  * Dragan Gasevic, Athabasca University, Canada

Program Committee Co-Chairs
  * Mark van den Brand, TU Eindhoven, The Netherlands
  * Jeff Gray, University of Alabama at Birmingham, USA

Program Committee
  * Colin Atkinson, Universität Mannheim, Germany
  * Don Batory, University of Texas at Austin, USA
  * Paulo Borba, Universidade Federal de Pernambuco, Brazil
  * John Boyland, University of Wisconsin, Milwaukee, USA
  * Marco Brambilla, Politecnico di Milano, Italy
  * Shigeru Chiba, Tokyo Institute of Technology, Japan
  * Charles Consel, LaBRI / INRIA, France
  * Gregor Engels, Universität Paderborn, Germany
  * Stephen A. Edwards, Columbia University, USA
  * Robert Fuhrer, IBM T.J. Watson Research, USA
  * Martin Gogolla, University of Bremen, Germany
  * Giancarlo Guizzardi, Federal University of Espírito Santo, Brazil
  * Reiko Heckel, University of Leicester, UK
  * Frédéric Jouault, INRIA & Ecole des Mines de Nantes, France
  * Nicholas Kraft, University of Alabama, USA
  * Thomas Kühne, Victoria University of Wellington, New Zealand
  * Julia Lawall, University of Copenhagen, Denmark
  * Timothy Lethbridge, University Ottawa, Canada
  * Brian Malloy, Clemson University, USA
  * Kim Mens, Université catholique de Louvain, Belgium
  * Marjan Mernik, University of Maribor, Slovenia
  * Todd Millstein, University of California, Los Angeles, USA
  * Pierre-Etienne Moreau, INRIA Nancy - Grand Est, France
  * Pierre-Alain Muller, University of Haute-Alsace, France
  * Daniel Oberle, SAP Research, Germany
  * Richard Paige, University of York, UK
  * James Power, National University of Ireland, Ireland
  * João Saraiva, Universidade do Minho, Portugal
  * Mary Lou Soffa, University of Virginia, USA
  * Juha-Pekka Tolvanen, MetaCase, Finland
  * Alexander Serebrenik, Eindhoven University of Technology, Netherlands
  * Tony Sloane, Macquarie University, Australia
  * Steffen Staab, Universität Koblenz-Landau, Germany
  * Jun Suzuki, University of Massachusetts, Boston, USA
  * Walid Taha, Rice University, USA
  * Eli Tilevich, Virginia Tech, USA
  * Jurgen Vinju, CWI, Netherlands
  * Eelco Visser, Delft University of Technology, Netherlands
  * René Witte, Concordia University, Canada

Organization Committee
  * Bardia Mohabbati, Simon Fraser University, Canada (Web Chair)
  * Alexander Serebrenik, TU Eindhoven, The Netherlands (Publicity co-Chair)
  * James Hill, Vanderbilt University, USA (Publicity co-Chair)

[Apologies for multiple copies of this announcement]

                       M O D E L S    2 0 0 9

             ACM/IEEE 12th International Conference on
                    Model Driven Engineering
                    Languages and Systems

            Denver, Colorado, USA   October 4-9, 2009

                  http://www.modelsconference.org/



The MODELS Conference Series
----------------------------

… is devoted to model-based development for software and systems
engineering, covering all categories of modeling languages, methods,
tools, and their applications.  Engineering models have long been used
in the development of complex systems and the approach is also becoming
more prevalent in the design of modern software systems.  Methodologies
and tools are emerging and applied successfully in practice.  They
create and manipulate such models starting with the earliest phases of
development through to implementation and testing.

The MODELS series of conferences (http://www.modelsconference.org/) is
the premier venue for the exchange of innovative technical ideas and
experiences relating to model-based approaches in the development of
complex systems.  To provide a broader forum for reporting on scientific
progress as well as experiences and issues stemming from practical
application of model-based methods, the 2009 conference has two distinct
tracks:

                 * A scientific track
                 * An empirical results track

Papers in each track will be evaluated by separate program committees
based on criteria appropriate to that track.


Call for Papers – The Scientific Track
--------------------------------------

Over the years, model-based development has gained rapidly increasing
popularity across various engineering disciplines.  Numerous efforts
resulted in the invention of concepts, languages, and tools for the
definition, analysis, transformation, and extension of domain-specific
modeling languages as well as general-purpose modeling language
standards.  Problems in this domain span multiple disciplines and have
to be addressed by collaborative research activities spanning domains
such as industrial automation, business engineering, hardware/software
co-design, real-time system development, Web 2.0 application design, and
so forth.

A primary objective of the scientific track of MODELS is to build a
forum for exchange and discussion of new research results dedicated to
advancing the state-of-the-art of model-based development in general.
Topics of interest include but are not limited to:

  * Development of domain-specific modeling languages
  * Design of general-purpose modeling languages and related standards
  * Definition of the syntax and semantics of modeling languages
  * Tools and meta-tools for modeling languages and model-based
development
  * Definition and usage of model transformation and generation
approaches
  * Development of systems engineering and modeling-in-the-large
concepts
  * Proposals of new model quality assurance techniques
  * Integration of modeling languages and tools (hybrid multi-modeling)
  * Evolution of modeling languages and models
  * New modeling paradigms and formalisms

Submission Process – Scientific Track

Long (15 pages) and short (5 pages) paper submissions must conform to
the Springer LNCS formatting guidelines:

      http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0

All submissions must be original, unpublished, and not submitted
simultaneously for publication elsewhere.  They will undergo a thorough
review process by a track-specific committee comprising leading experts
from academia and industry; however, papers that are too long or violate
the LNCS formatting instructions will be rejected.  Accepted papers will
be published in a conference proceedings by Springer in the LNCS series.


Authors of best papers from the conference will be invited to revise
and submit extended versions of their papers for a special issue of the
Journal on Software and Systems Modeling (Springer Press).

For further details concerning the submission process, consult

      http://www.modelsconference.org/


Call for Papers – The Empirical Results Track
---------------------------------------------

As with any emerging technical discipline, model-based engineering
approaches to software and system development give rise to a unique set
of challenges related to practical application.  These include a very
diverse list of issues such as problems of scaling to multi-domain and
geographically distributed teams, difficulties of integrating new
methods and tools into legacy environments, resistance to culture
change, and coping with immature technologies.  Nevertheless, there are
numerous practical examples of industrial application of model-based
engineering in which such problems have been overcome, resulting in
successful systems that clearly demonstrate the viability and the
advantages of model-based methods.  Unfortunately, there is still
insufficient awareness among many practitioners of such results and the
potential of these methods for delivering major increases in
productivity and product quality.  A primary objective of the MODELS
empirical results track is to provide a realistic and verifiable picture
of the current state-of-the-practice of model-based engineering.

Both long and short papers are sought.  In addition to experience
reports, papers that describe innovative solutions and concepts stemming
from practical application of model-based methods and tools in
industrial settings are deemed highly relevant to this track.  Topics of
interest include but are not limited to:

  * Introducing model-based approaches into organizations
  * Experience stories in general (successful and unsuccessful)
  * How to scale modeling to many users and large models
  * Issues related to current model-based engineering standards
  * Engineering and managing sets of modeling languages
  * Integrating models into a development environment
  * Experience with model-based engineering tools

Please visit the conference website

      http://www.modelsconference.org/

for more information.

Submission Process – Empirical Results Track

Long (15 pages) and short (5 pages) paper submissions must conform to
the Springer LNCS formatting guidelines:

       http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0

All submissions must be original, unpublished, and not submitted
simultaneously for publication elsewhere.  They will undergo a thorough
review process by a track-specific committee comprising leading experts
from academia and industry; however, papers that are too long or violate
the LNCS formatting instructions will be rejected immediately.

Authors of best papers from the conference will be invited to revise
and submit extended versions of their papers for a special issue of the
Journal on Software and Systems Modeling (Springer Press).  For further
details concerning the submission process, consult

      http://www.modelsconference.org/


About Denver and the Conference Center
--------------------------------------

Denver is one of America's most beautiful cities.  It is located at the
base of the Rocky Mountains and has 300 days of sunshine.  Denver has a
great love of the outdoors.  It is close to the Rocky Mountain National
Park and several 14-ers, mountain peaks that are 14,000 ft or higher.
It is also a cultural and sophisticated city.  According to the official
website of the Denver Metro Convention and Visitors Bureau
(http://www.denver.org/), "The city has more than 40 museums and
historic attractions, from Buffalo Bill's Grave & Museum to Daniel
Libeskind's amazing new Denver Art Museum.  The Denver Zoo is the fourth
most popular in the nation."

The conference will be held in the Hyatt Regency, Denver Tech Center.
It is in the heart of the Tech Center business conclave, and minutes
from both downtown and airport.


Important Dates
---------------

   Scientific and Empirical Paper Submissions:
       Abstract:        April 26, 2009, 23:59 (MDT*)
       Full Paper:      May   10, 2009, 23:59 (MDT*)
   Workshop Proposals:  March 15, 2009
   Tutorial Proposals:  April 19, 2009

(*) MDT = Mountain Daylight Time Zone (Denver local time)


Organization Committee
----------------------


Conference Chairs:
   Robert Pettit       The Aerospace Corporation, USA
   Sudipto Ghosh       Colorado State University, USA

Scientific Track Program Chair:
   Andy Schürr        Technische Universität Darmstadt, Germany

Empirical Results Track Chair:
   Bran Selic          Malina Software, Canada

Workshop Chair:
   James Bieman        Colorado State University, USA

Tutorial Chair:
   Thomas Weigert      Missouri University of Science and Technology,
USA

Doctoral Symposium Chair:
   Jürgen Dingel       Queen's University, Canada

Educator Symposium Chairs:
   Robert France       Colorado State UniversityUSA
   Martin Gogolla      University of Bremen, Germany

Panel Chair:
   Øystein Haugen      University of Oslo, Norway

Steering Committee Chair:
   Heinrich Hussmann   Universität München, Germany

Publicity Chairs:
   Arnor Solberg       SINTEF, Norway
   Emanuel Grant       University of North Dakota, USA


Scientific Track Program Committee
----------------------------------

   Aditya Agrawal         The Mathworks Inc., USA
   Hernan Astudilo        Universidad Tecnica Federico Santa Maria,
Chile
   Don Batory             University of Texas, USA
   Benoit Baudry          INRIA, France
   Jean Bézivin           Université de Nantes, France
   Xavier Blanc           LIP6, France
   Ruth Breu              University of Innsbruck, Austria
   Lionel Briand          Simula Research Lab and University of Oslo,
Norway
   Jean-Michel Bruel      Université de Toulouse, France
   Krzysztof Czarnecki    University of Waterloo, Canada
   Juan de Lara           Universidad Autónoma de Madrid, Spain
   Jens Dietrich          Massey University, New Zealand
   Juergen Dingel         Queen's University, Canada
   Alexander Egyed        Johannes Kepler University, Austria
   Gregor Engels          University of Paderborn, Germany
   Jean-Marie Favre       University of Grenoble, France
   Robert B. France       Colorado State University, USA
   Harald Gall            University of Zurich, Switzerland
   Dragan Gasevic         Athabasca University, Canada
   Geri Georg             Colorado State University, USA
   Sébastien Gérard       CEA LIST, France
   Holger Giese           Hasso Plattner Institute, Germany
   Martin Gogolla         University of Bremen, Germany
   Susanne Graf           VERIMAG, France
   Emanuel Grant          University of North-Dakota, USA
   Jeff Gray              University of Alabama at Birmingham, USA
   John Grundy            University of Auckland, New Zealand
   Jun Han                Swinburne University of Technology, Australia
   Øystein Haugen         SINTEF, Norway
   Zhenjiang Hu           National Institute of Informatics, Japan
   Heinrich Hussmann      Universität München, Germany
   Jan Jurjens            Open University and MSRC, UK
   Gerti Kappel           Vienna University of Technology, Austria
   Gabor Karsai           Vanderbilt University, USA
   Ingolf Krüger          UC San Diego, USA
   Jochen Kuester         IBM Research, Switzerland
   Thomas Kühne           Victoria University of Wellington, New
Zealand
   Ralf Laemmel           University of Koblenz-Landau, Germany
   Michele Lanza          University of Lugano, Switzerland
   Michaël Lawley         The Australian e-Health Research Centre,
Australia
   Timothy C. Lethbridge           University of Ottawa, Canada
   Birger Møller-Pedersen University of Oslo, Norway
   Ana Moreira            Universidade Nova de Lisboa, Portugal
   Pierre-Alain Muller    Université de Haute-Alsace, France
   Ileana Ober            IRIT, France
   Richard Paige          University of York, UK
   Dorina C. Petriu       Carleton University, Canada
   Alfonso Pierantonio    Università degli Studi dell´ Aquila, Italy
   Claudia Pons           University of La Plata, Argentinia
   Ivan Porres            Ã…bo Akademi University, Finland
   Alexander Pretschner   Fraunhofer IESE and TU Kaiserslautern,
Switzerland
   Gianna Reggio          Università di Genova, Italy
   Arend Rensink          University of Twente, The Netherlands
   Bernhard Rumpe         TU Braunschweig, Germany
   Andy Schürr            Technische Universität Darmstadt, Germany
   Bran Selic             Malina Software, Canada
   Michal Smialek         Warsaw University of Technology, Poland
   Perdita Stevens        University of Edinburgh, UK
   Juha-Pekka Tolvanen    MetaCase, Finland
   Laurence Tratt         Bournemouth University, UK
   Axel Uhl               SAP Research Center, Germany
   Pieter Van Gorp        Technical University of Eindhoven, The
Netherlands
   Dániel Varró           Budapest University of Technology and
Economics, Hungary
   Eelco Visser           Technical University of Delft, The
Netherlands
   Andrzej Wasowski       IT University of Copenhagen, Denmark
   Jon Whittle            Lancaster University, UK
   Andreas Winter         Universiy of Koblenz-Landau, Germany


Empirical Results Track Program Committee
-----------------------------------------

   Robert Baillargeon    Panasonic Automotive Systems, USA
   Francis Bordeleau     Zeudora, Canada
   Murray Cantor         IBM Rational, USA
   Tony Clark            Thames valley University, UK
   Diarmuid Corcoran     Ericsson AB, Sweden
   Andy Evans            Xactium
   Geri Georg            Colorado State University
   Øystein Haugen        SINTEF, Norway
   Steven Kelly          MetaCase, Finland
   Jana Koehler          IBM Zurich Research, Switzerland
   Vinay Kulkarni        Tata Consulatancy Services, India
   Nikolai Mansourov     KDM Analytics, Canada
   Stephen Mellor          UK
   Ed Merks              itemis AG, Canada
   Dragan Milicev        University of Belgrade, Serbia
   Juan Carlos Molina    CARE Technologies SA, Spain
   Pierre-Alain Muller   Universite de Haute-Alsace, France
   Nicolas Rouquette     Jet Propulsion Lab - Caltech, USA
   Schieferdecker, Ina   Fraunhofer FOKUS, Germany
   Richard Soley         Object Management Group, USA
   Ingo Stürmer          Model Engineering Solutions GmbH, Germany
   Francois Terrier      CEA-LIST, France
   Laurence Tratt        Bournemouth University, UK
   Markus Voelter        Voelter, Germany
   Michael von der Beeck BMW Group, Germany
   Ben Watson            Lockheed Martin Corporation, USA
   Thomas Weigert        Missouri U. of Science and Technology, USA
   Frank Weihl           Hengsoft, USA
   Jon Whittle           Lancaster University, UK



[Non-text portions of this message have been removed]

***Deadline extension: April 13th (was April 3rd)***

Call for Papers
5th ECMDA Traceability Workshop (ECMDA-TW 2009)
co-located with ECMDA-FA 2009
University of Twente, The Netherlands
23-26 June 2009

Traceability is an important theoretical and practical challenge in
model driven development. Traceability mechanisms are needed in
processes involving automatic model to model transformations, in
text/code generation, and in manual modelling activities, as well as
end-to-end traceability. We are facing challenges of keeping models
consistently synchronised, models and text/code in consistent states,
and mixing manual updates with automatic processes.

The two first ECMDA Traceability workshops focused mainly on solving
theoretical and technical aspects of traceability, and concluded that
many of the theoretical and technical challenges of traceability are
well understood. As a result, the workshop focus was shifted more
towards applications of traceability in industrial settings.

There are still unsolved theoretical and technical issues of
traceability. However, most important is the limited availability of
tools to support full traceability and proofs of real usage of
traceability in model driven development.

Therefore, we especially invite papers presenting practical solutions
that address traceability issues, as well as papers that present
traceability tool solutions. We also seek papers that address how and
when traceability information should be added, how it should be kept
up-to-date, and how, when and for what purposes it can be used. Another
important topic is the semantics of trace links. These, and other issues
of traceability in MDD that have a strong practical focus are all good
topics for papers submitted to the workshop.

- Tools supporting traceability of model and code artifacts
- Practical applications and experience with traceability
- How it should be kept up-to-date
- How, when and for what purposes traceability information should/can be
added
- Novel theoretical and technical approaches to handle model-based
traceabilty

Other topics on traceability in model-based development are also welcomed.

* SUBMISSION
We ask for papers from 5-10 pages following the Springer LNCS format.
Please read the Information for LNCS authors on the Springer web site.

Each paper will be reviewed by three members of the programme committee.

Please send a PDF-version of your paper to goran.k.olsen |at| sintef.no

* PUBLICATION
Proceedings will be published in the CTIT Proceedings Series with
assigned ISBN/ISSN.

* IMPORTANT DATES
   Submission of papers: April 13th 2009 (was April 3rd 2009)
   Notification of authors: May 10th 2009 (was May 1st 2009)
   Camera-ready copies of accepted papers: May 25th 2009 (was May 15th 2009)
   Workshop date: June 23rd 2009

* ORGANISING COMMITTEE
   Tor Neple, SINTEF, Norway
   Jon Oldevik, SINTEF, Norway
   Goran Olsen, SINTEF, Norway
   Dimitrios Kolovos, Univ. of York, UK

* PROGRAMME COMMITTEE (to be completed)
   Stefan Van Baelen, K.U.Leuven, Belgium
   Klaas van den Berg, Univ. of Twente, The Netherlands
   Miguel de Miguel, Universidad Politecnica de Madrid, Spain
   Bjorn Nordmoen, WesternGeco, Norway
   Richard Paige, Univ. of York, UK
   Tom Ritter, Fraunhofer FOKUS, Germany
   Andreas Rummler, SAP Research, Germany
   Mirko Seifert, Univ. of Dresden, Germany

* WWW: http://modelbased.net/ecmda-traceability

---
Dr. Dimitrios Kolovos
Research Associate
Department of Computer Science
University of York

[Apologies for multiple copies of this announcement]

                       M O D E L S    2 0 0 9

             ACM/IEEE 12th International Conference on
                    Model Driven Engineering
                    Languages and Systems

            Denver, Colorado, USA   October 4-9, 2009

                  http://www.modelsconference.org/




The MODELS Conference Series
----------------------------

… is devoted to model-based development for software and systems
engineering, covering all categories of modeling languages, methods,
tools, and their applications.  Engineering models have long been used
in the development of complex systems and the approach is also becoming
more prevalent in the design of modern software systems.  Methodologies
and tools are emerging and applied successfully in practice.  They
create and manipulate such models starting with the earliest phases of
development through to implementation and testing.

The MODELS series of conferences (http://www.modelsconference.org/) is
the premier venue for the exchange of innovative technical ideas and
experiences relating to model-based approaches in the development of
complex systems.  To provide a broader forum for reporting on scientific
progress as well as experiences and issues stemming from practical
application of model-based methods, the 2009 conference has two distinct
tracks:

                 * A scientific track
                 * An empirical results track

Papers in each track will be evaluated by separate program committees
based on criteria appropriate to that track.


Call for Papers – The Scientific Track
--------------------------------------

Over the years, model-based development has gained rapidly increasing
popularity across various engineering disciplines.  Numerous efforts
resulted in the invention of concepts, languages, and tools for the
definition, analysis, transformation, and extension of domain-specific
modeling languages as well as general-purpose modeling language
standards.  Problems in this domain span multiple disciplines and have
to be addressed by collaborative research activities spanning domains
such as industrial automation, business engineering, hardware/software
co-design, real-time system development, Web 2.0 application design, and
so forth.

A primary objective of the scientific track of MODELS is to build a
forum for exchange and discussion of new research results dedicated to
advancing the state-of-the-art of model-based development in general.
Topics of interest include but are not limited to:

  * Development of domain-specific modeling languages
  * Design of general-purpose modeling languages and related standards
  * Definition of the syntax and semantics of modeling languages
  * Tools and meta-tools for modeling languages and model-based
development
  * Definition and usage of model transformation and generation
approaches
  * Development of systems engineering and modeling-in-the-large
concepts
  * Proposals of new model quality assurance techniques
  * Integration of modeling languages and tools (hybrid multi-modeling)
  * Evolution of modeling languages and models
  * New modeling paradigms and formalisms

Submission Process – Scientific Track

Long (15 pages) and short (5 pages) paper submissions must conform to
the Springer LNCS formatting guidelines:

      http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0

All submissions must be original, unpublished, and not submitted
simultaneously for publication elsewhere.  They will undergo a thorough
review process by a track-specific committee comprising leading experts
from academia and industry; however, papers that are too long or violate
the LNCS formatting instructions will be rejected.  Accepted papers will
be published in a conference proceedings by Springer in the LNCS series.


Authors of best papers from the conference will be invited to revise
and submit extended versions of their papers for a special issue of the
Journal on Software and Systems Modeling (Springer Press).

For further details concerning the submission process, consult

      http://www.modelsconference.org/



Call for Papers – The Empirical Results Track
---------------------------------------------

As with any emerging technical discipline, model-based engineering
approaches to software and system development give rise to a unique set
of challenges related to practical application.  These include a very
diverse list of issues such as problems of scaling to multi-domain and
geographically distributed teams, difficulties of integrating new
methods and tools into legacy environments, resistance to culture
change, and coping with immature technologies.  Nevertheless, there are
numerous practical examples of industrial application of model-based
engineering in which such problems have been overcome, resulting in
successful systems that clearly demonstrate the viability and the
advantages of model-based methods.  Unfortunately, there is still
insufficient awareness among many practitioners of such results and the
potential of these methods for delivering major increases in
productivity and product quality.  A primary objective of the MODELS
empirical results track is to provide a realistic and verifiable picture
of the current state-of-the-practice of model-based engineering.

Both long and short papers are sought.  In addition to experience
reports, papers that describe innovative solutions and concepts stemming
from practical application of model-based methods and tools in
industrial settings are deemed highly relevant to this track.  Topics of
interest include but are not limited to:

  * Introducing model-based approaches into organizations
  * Experience stories in general (successful and unsuccessful)
  * How to scale modeling to many users and large models
  * Issues related to current model-based engineering standards
  * Engineering and managing sets of modeling languages
  * Integrating models into a development environment
  * Experience with model-based engineering tools

Please visit the conference website

      http://www.modelsconference.org/

for more information.


Submission Process – Empirical Results Track

Long (15 pages) and short (5 pages) paper submissions must conform to
the Springer LNCS formatting guidelines:

       http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0

All submissions must be original, unpublished, and not submitted
simultaneously for publication elsewhere.  They will undergo a thorough
review process by a track-specific committee comprising leading experts
from academia and industry; however, papers that are too long or violate
the LNCS formatting instructions will be rejected immediately.

Authors of best papers from the conference will be invited to revise
and submit extended versions of their papers for a special issue of the
Journal on Software and Systems Modeling (Springer Press).  For further
details concerning the submission process, consult

      http://www.modelsconference.org/


About Denver and the Conference Center
--------------------------------------

Denver is one of America's most beautiful cities.  It is located at the
base of the Rocky Mountains and has 300 days of sunshine.  Denver has a
great love of the outdoors.  It is close to the Rocky Mountain National
Park and several 14-ers, mountain peaks that are 14,000 ft or higher.
It is also a cultural and sophisticated city.  According to the official
website of the Denver Metro Convention and Visitors Bureau
(http://www.denver.org/), "The city has more than 40 museums and
historic attractions, from Buffalo Bill's Grave & Museum to Daniel
Libeskind's amazing new Denver Art Museum.  The Denver Zoo is the fourth
most popular in the nation."

The conference will be held in the Hyatt Regency, Denver Tech Center.
It is in the heart of the Tech Center business conclave, and minutes
from both downtown and airport.


Important Dates
---------------

   Scientific and Empirical Paper Submissions:
       Abstract:        April 26, 2009, 23:59 (MDT*)
       Full Paper:      May   10, 2009, 23:59 (MDT*)
   Workshop Proposals:  March 15, 2009
   Tutorial Proposals:  April 19, 2009

(*) MDT = Mountain Daylight Time Zone (Denver local time)


Organization Committee
----------------------


Conference Chairs:
   Robert Pettit       The Aerospace Corporation, USA
   Sudipto Ghosh       Colorado State University, USA

Scientific Track Program Chair:
   Andy Schürr        Technische Universität Darmstadt, Germany

Empirical Results Track Chair:
   Bran Selic          Malina Software, Canada

Workshop Chair:
   James Bieman        Colorado State University, USA

Tutorial Chair:
   Thomas Weigert      Missouri University of Science and Technology,
USA

Doctoral Symposium Chair:
   Jürgen Dingel       Queen's University, Canada

Educator Symposium Chairs:
   Robert France       Colorado State UniversityUSA
   Martin Gogolla      University of Bremen, Germany

Panel Chair:
   Øystein Haugen      University of Oslo, Norway

Steering Committee Chair:
   Heinrich Hussmann   Universität München, Germany

Publicity Chairs:
   Arnor Solberg       SINTEF, Norway
   Emanuel Grant       University of North Dakota, USA


Scientific Track Program Committee
----------------------------------

   Aditya Agrawal         The Mathworks Inc., USA
   Hernan Astudilo        Universidad Tecnica Federico Santa Maria,
Chile
   Don Batory             University of Texas, USA
   Benoit Baudry          INRIA, France
   Jean Bézivin           Université de Nantes, France
   Xavier Blanc           LIP6, France
   Ruth Breu              University of Innsbruck, Austria
   Lionel Briand          Simula Research Lab and University of Oslo,
Norway
   Jean-Michel Bruel      Université de Toulouse, France
   Krzysztof Czarnecki    University of Waterloo, Canada
   Juan de Lara           Universidad Autónoma de Madrid, Spain
   Jens Dietrich          Massey University, New Zealand
   Juergen Dingel         Queen's University, Canada
   Alexander Egyed        Johannes Kepler University, Austria
   Gregor Engels          University of Paderborn, Germany
   Jean-Marie Favre       University of Grenoble, France
   Robert B. France       Colorado State University, USA
   Harald Gall            University of Zurich, Switzerland
   Dragan Gasevic         Athabasca University, Canada
   Geri Georg             Colorado State University, USA
   Sébastien Gérard       CEA LIST, France
   Holger Giese           Hasso Plattner Institute, Germany
   Martin Gogolla         University of Bremen, Germany
   Susanne Graf           VERIMAG, France
   Emanuel Grant          University of North-Dakota, USA
   Jeff Gray              University of Alabama at Birmingham, USA
   John Grundy            University of Auckland, New Zealand
   Jun Han                Swinburne University of Technology, Australia
   Øystein Haugen         SINTEF, Norway
   Zhenjiang Hu           National Institute of Informatics, Japan
   Heinrich Hussmann      Universität München, Germany
   Jan Jurjens            Open University and MSRC, UK
   Gerti Kappel           Vienna University of Technology, Austria
   Gabor Karsai           Vanderbilt University, USA
   Ingolf Krüger          UC San Diego, USA
   Jochen Kuester         IBM Research, Switzerland
   Thomas Kühne           Victoria University of Wellington, New
Zealand
   Ralf Laemmel           University of Koblenz-Landau, Germany
   Michele Lanza          University of Lugano, Switzerland
   Michaël Lawley         The Australian e-Health Research Centre,
Australia
   Timothy C. Lethbridge           University of Ottawa, Canada
   Birger Møller-Pedersen University of Oslo, Norway
   Ana Moreira            Universidade Nova de Lisboa, Portugal
   Pierre-Alain Muller    Université de Haute-Alsace, France
   Ileana Ober            IRIT, France
   Richard Paige          University of York, UK
   Dorina C. Petriu       Carleton University, Canada
   Alfonso Pierantonio    Università degli Studi dell´ Aquila, Italy
   Claudia Pons           University of La Plata, Argentinia
   Ivan Porres            Ã…bo Akademi University, Finland
   Alexander Pretschner   Fraunhofer IESE and TU Kaiserslautern,
Switzerland
   Gianna Reggio          Università di Genova, Italy
   Arend Rensink          University of Twente, The Netherlands
   Bernhard Rumpe         TU Braunschweig, Germany
   Andy Schürr            Technische Universität Darmstadt, Germany
   Bran Selic             Malina Software, Canada
   Michal Smialek         Warsaw University of Technology, Poland
   Perdita Stevens        University of Edinburgh, UK
   Juha-Pekka Tolvanen    MetaCase, Finland
   Laurence Tratt         Bournemouth University, UK
   Axel Uhl               SAP Research Center, Germany
   Pieter Van Gorp        Technical University of Eindhoven, The
Netherlands
   Dániel Varró           Budapest University of Technology and
Economics, Hungary
   Eelco Visser           Technical University of Delft, The
Netherlands
   Andrzej Wasowski       IT University of Copenhagen, Denmark
   Jon Whittle            Lancaster University, UK
   Andreas Winter         Universiy of Koblenz-Landau, Germany


Empirical Results Track Program Committee
-----------------------------------------

   Robert Baillargeon    Panasonic Automotive Systems, USA
   Francis Bordeleau     Zeudora, Canada
   Murray Cantor         IBM Rational, USA
   Tony Clark            Thames valley University, UK
   Diarmuid Corcoran     Ericsson AB, Sweden
   Andy Evans            Xactium
   Geri Georg            Colorado State University
   Øystein Haugen        SINTEF, Norway
   Steven Kelly          MetaCase, Finland
   Jana Koehler          IBM Zurich Research, Switzerland
   Vinay Kulkarni        Tata Consulatancy Services, India
   Nikolai Mansourov     KDM Analytics, Canada
   Stephen Mellor          UK
   Ed Merks              itemis AG, Canada
   Dragan Milicev        University of Belgrade, Serbia
   Juan Carlos Molina    CARE Technologies SA, Spain
   Pierre-Alain Muller   Universite de Haute-Alsace, France
   Nicolas Rouquette     Jet Propulsion Lab - Caltech, USA
   Schieferdecker, Ina   Fraunhofer FOKUS, Germany
   Richard Soley         Object Management Group, USA
   Ingo Stürmer          Model Engineering Solutions GmbH, Germany
   Francois Terrier      CEA-LIST, France
   Laurence Tratt        Bournemouth University, UK
   Markus Voelter        Voelter, Germany
   Michael von der Beeck BMW Group, Germany
   Ben Watson            Lockheed Martin Corporation, USA
   Thomas Weigert        Missouri U. of Science and Technology, USA
   Frank Weihl           Hengsoft, USA
   Jon Whittle           Lancaster University, UK



[Non-text portions of this message have been removed]

_________________________________________________________
                          ECMDA-FA'09

              CALL FOR TOOLS AND CONSULTANCY
      European Conference on Model Driven Architecture®
                 Foundations and Applications

      June 23-26, University of Twente, The Netherlands

                http://ecmda2009.utwente.nl/



ECMDA-FA has traditionally had a very strong tools and consultancy
track since this is often the meeting place between academic and
industrial people interested in the practice of MDA. In this track, we
are soliciting demonstrations of academic, open source, and commercial
tools for applying MDA. MDA Consultants are also welcome to
participate in this track and should prepare a portfolio of their
recent MDA consulting engagements. Commercial tool vendors and
consultants will be required to take up a level of sponsorship in
order to participate in the Tools track.

The tool and consultancy track consists of:

- An exhibition area where tool providers and consultants can
demonstrate their tools and services to the conference attendees.
- A poster area where open source and academic tools can present their
tools to the conference attendees.
- A tools and services presentation track, running in parallel to the
main sessions of the conference.

Each exhibitor will get a slot in the tools and services presentation
track, which can used to discuss and demonstrate their tools and
services.  Academic and open source tool providers with posters will
also be scheduled in the tools and services track.

Presentations from this track will be published in the CTIT
Proceedings Series and as a technical report available on the web site
as PDF download.

For your application please provide:

- Your affiliation
- A comprehensive (two to four page) description of the tool or
services to be presented, with emphasis on the aspects that make the
tool or service relevant in the context of MDA®.
- Whether your tool is academic, open source, or commercial
- Whether you want to participate in the tools presentation track.

Your application (in PDF) should be sent to the Tools and Consultancy
chair: Regis Vogel (regis_vogel_at_yahoo.com) by April 6, 2009.

IMPORTANT DATES
===============
- Tools and services proposals due:  April 6, 2009
- Notification of tool and service track acceptance:   April 27, 2009

For further information please consult the ECMDA-FA web site:
http://ecmda2009.utwente.nl/

Call for Papers
5th ECMDA Traceability Workshop (ECMDA-TW 2009)
co-located with ECMDA-FA 2009
University of Twente, The Netherlands
23-26 June 2009

Traceability is an important theoretical and practical challenge in
model driven development. Traceability mechanisms are needed in
processes involving automatic model to model transformations, in
text/code generation, and in manual modelling activities, as well as
end-to-end traceability. We are facing challenges of keeping models
consistently synchronised, models and text/code in consistent states,
and mixing manual updates with automatic processes.

The two first ECMDA Traceability workshops focused mainly on solving
theoretical and technical aspects of traceability, and concluded that
many of the theoretical and technical challenges of traceability are
well understood. As a result, the workshop focus was shifted more
towards applications of traceability in industrial settings.

There are still unsolved theoretical and technical issues of
traceability. However, most important is the limited availability of
tools to support full traceability and proofs of real usage of
traceability in model driven development.

Therefore, we especially invite papers presenting practical solutions
that address traceability issues, as well as papers that present
traceability tool solutions. We also seek papers that address how and
when traceability information should be added, how it should be kept
up-to-date, and how, when and for what purposes it can be used. Another
important topic is the semantics of trace links. These, and other issues
of traceability in MDD that have a strong practical focus are all good
topics for papers submitted to the workshop.

- Tools supporting traceability of model and code artifacts
- Practical applications and experience with traceability
- How it should be kept up-to-date
- How, when and for what purposes traceability information should/can be
added
- Novel theoretical and technical approaches to handle model-based
traceabilty

Other topics on traceability in model-based development are also welcomed.

* SUBMISSION
We ask for papers from 5-10 pages following the Springer LNCS format.
Please read the Information for LNCS authors on the Springer web site.

Each paper will be reviewed by three members of the programme committee.

Please send a PDF-version of your paper to goran.k.olsen |at| sintef.no

* PUBLICATION
Proceedings will be published in the CTIT Proceedings Series with
assigned ISBN/ISSN.

* IMPORTANT DATES
    Submission of papers: April 3rd 2009
    Notification of authors: May 1st 2009
    Camera-ready copies of accepted papers: May 15th 2009
    Workshop date: June 23rd 2009

* ORGANISING COMMITTEE
    Tor Neple, SINTEF, Norway
    Jon Oldevik, SINTEF, Norway
    Goran Olsen, SINTEF, Norway
    Dimitrios Kolovos, Univ. of York, UK

* PROGRAMME COMMITTEE (to be completed)
    Stefan Van Baelen, K.U.Leuven, Belgium
    Klaas van den Berg, Univ. of Twente, The Netherlands
    Miguel de Miguel, Universidad Politecnica de Madrid, Spain
    Bjorn Nordmoen, WesternGeco, Norway
    Richard Paige, Univ. of York, UK
    Tom Ritter, Fraunhofer FOKUS, Germany
    Andreas Rummler, SAP Research, Germany
    Mirko Seifert, Univ. of Dresden, Germany

* WWW: http://modelbased.net/ecmda-traceability

--
Dr. Dimitris Kolovos
Research Associate
Department of Computer Science
University of York
http://www.cs.york.ac.uk/~dkolovos

___________________________________________________________________

                        Call for Papers - SLE 2009

     2nd International Conference on Software Language Engineering

                      http://planet-sl.org/sle2009

                  Denver, Colorado, October 5-6, 2009

___________________________________________________________________

            Co-located with 12th International Conference on
     Model-Driven Engineering Languages and Systems (MODELS 2009)
                 and 8th International Conference on
      Generative Programming and Component Engineering (GPCE 2009)

Proceedings will be published in the LNCS series (subject to
Springer's approval).

The 2nd International Conference on Software Language Engineering (SLE)
is devoted to topics related to artificial languages in software
engineering. SLE's foremost mission is to encourage and organize
communication between communities that have traditionally looked
at software languages from different, more specialized, and yet
complementary perspectives. SLE emphasizes the fundamental notion
of languages as opposed to any realization in specific "technical
spaces". SLE 2009 will be co-located with the 12th IEEE/ACM
International Conference on Model-Driven Engineering Languages and
Systems (MODELS 2009).


Scope
-----

The term 'software language' comprises all sorts of artificial
languages used in software development including general-purpose
programming languages, domain-specific languages, modeling and
meta-modeling languages, data models, and ontologies. Used in its
broadest sense, examples include modeling languages such as
UML-based and domain-specific modeling languages, business process
modeling languages, and web application modeling languages.  The
term 'software language' also comprises APIs and collections of
design patterns that are implicitly defined languages.

Software language engineering is the application of a systematic,
disciplined, quantifiable approach to the development, use, and
maintenance of these languages. Thus, the SLE conference is
concerned with all phases of the life cycle of software languages;
these include the design, implementation, documentation, testing,
deployment, evolution, recovery, and retirement of languages. Of
special interest are tools, techniques, methods and formalisms that
support these activities. In particular, tools are often based on
or even automatically generated from a formal description of the
language. Hence, of special interest is the treatment of language
descriptions as software artifacts, akin to programs - while paying
attention to the special status of language descriptions, subject
to tailored engineering principles and methods for modularization,
refactoring, refinement, composition, versioning, co-evolution,
and analysis.


Topics of interest
------------------

We solicit high-quality contributions in the area of SLE ranging
from theoretical and conceptual contributions to tools, techniques
and frameworks that support the aforementioned life cycle activities.
Some examples of tools, techniques, applications, and problems are
listed below in order to clarify the types of contributions sought
by SLE.

* Formalisms used in designing and specifying languages and tools
   that analyze such language descriptions.

* Language implementation techniques, grammar-based and
   metamodel-based.


* Program and model transformation tools.

* Composition, integration, and mapping tools for managing different
   aspects of software languages or different manifestations of a
   given language.

* Language evolution.

* Approaches to the elicitation, specification, and verification of
   requirements for software languages.

* Language development frameworks, methodologies, techniques, best
   practices, and tools for the broader language life cycle covering
   phases such as analysis, testing, and documentation.

* Design challenges in SLE.

* Applications of languages including innovative domain-specific
   languages or "little" languages

Do note that this list is not exclusive and many examples of tools,
techniques, approaches have not been listed. Please visit the
conference web site to see a more elaborate description of the
topics of interests. The program committee chairs encourage potential
contributors to contact them with questions about the scope and
topics of interest of SLE.


Paper Submission
----------------

We solicit the following types of papers:

  * Research papers. These should report a substantial research
    contribution to SLE and/or successful application of SLE
    techniques. Full paper submissions must not exceed 20 pages.

  * Short papers. These may describe interesting or thought-provoking
    concepts that are not yet fully developed or evaluated, make an
    initial contribution to challenging research issues in SLE, or
    discuss and analyze controversial issues in the field. These papers
    must not exceed 10 pages.

  * Tool demonstration papers. Because of SLE's ample interest in
    tools, we seek papers that present software tools related to the
    field of SLE. These papers will accompany a tool demonstration to
    be given at the conference. These papers must not exceed 10
    pages. The selection criteria include the originality of the tool,
    its innovative aspects, the relevance of the tool to SLE, and the
    maturity of the tool. Submissions may also include an appendix
    (that will not be published) containing additional screen-shots and
    discussion of the proposed demonstration.

  * Mini-tutorial papers. SLE is composed of various research areas,
    such as grammarware, modelware, language schemas, and semantic
    technologies. The cross product of attendees at SLE creates a
    situation where the contribution from one session may be difficult
    to understand by those not initiated to the area. To help unite the
    various communitues of SLE 2009, mini-tutorials are solicited
    that provide discussion points for mapping common ideas between the
    area and differentiating among variations. A mini-tutorial submisson
    should be between 15 and 20 pages.

Submitted articles must not have been previously published or currently
be submitted for publication elsewhere. All submitted papers will be
closely reviewed by at least three members of the program committee. All
accepted papers will be made available at the conference in the
pre-proceedings and published in the post-proceedings of the conference,
which will appear in Springer's Lecture Notes in Computer Science series.
Authors will have the opportunity to revise their accepted paper for the
pre- and post-proceedings.

All papers must be formatted by following Springer's LNCS style and
must be submitted using EasyChair (open early June):

      http://www.easychair.org/conferences/?conf=sle09

Further details regarding submission can be found on the SLE web page:

      http://planet-sl.org/sle2009


Invited Speakers
----------------
James Cordy, Queens University, Canada
Jean Bezivin, University of Nantes, France


Important Dates
---------------
  * Initial abstract submission (required)              July  3, 2009
  * Paper submission:                                   July 10, 2009
  * Author notification:                                August 21, 2009
  * Paper submission for pre-proceedings:               September 14, 2009
  * Conference:                                         October 5-6, 2009
  * Camera-ready paper submission for post-proceedings: December 7, 2009
  * LNCS post-proceedings mailed to authors (approx.):  February 2010


Organization
------------

General Chair
  * Dragan Gasevic, Athabasca University, Canada

Program Committee Co-Chairs
  * Mark van den Brand, TU Eindhoven, The Netherlands
  * Jeff Gray, University of Alabama at Birmingham, USA

Program Committee
  * Colin Atkinson, Universität Mannheim, Germany
  * Don Batory, University of Texas at Austin, USA
  * Paulo Borba, Universidade Federal de Pernambuco, Brazil
  * John Boyland, University of Wisconsin, Milwaukee, USA
  * Marco Brambilla, Politecnico di Milano, Italy
  * Shigeru Chiba, Tokyo Institute of Technology, Japan
  * Charles Consel, LaBRI / INRIA, France
  * Gregor Engels, Universität Paderborn, Germany
  * Stephen A. Edwards, Columbia University, USA
  * Robert Fuhrer, IBM T.J. Watson Research, USA
  * Martin Gogolla, University of Bremen, Germany
  * Giancarlo Guizzardi, Federal University of Espírito Santo, Brazil
  * Reiko Heckel, University of Leicester, UK
  * Frédéric Jouault, INRIA & Ecole des Mines de Nantes, France
  * Nicholas Kraft, University of Alabama, USA
  * Thomas Kühne, Victoria University of Wellington, New Zealand
  * Julia Lawall, University of Copenhagen, Denmark
  * Timothy Lethbridge, University Ottawa, Canada
  * Brian Malloy, Clemson University, USA
  * Kim Mens, Université catholique de Louvain, Belgium
  * Marjan Mernik, University of Maribor, Slovenia
  * Todd Millstein, University of California, Los Angeles, USA
  * Pierre-Etienne Moreau, INRIA Nancy - Grand Est, France
  * Pierre-Alain Muller, University of Haute-Alsace, France
  * Daniel Oberle, SAP Research, Germany
  * Richard Paige, University of York, UK
  * James Power, National University of Ireland, Ireland
  * João Saraiva, Universidade do Minho, Portugal
  * Mary Lou Soffa, University of Virginia, USA
  * Juha-Pekka Tolvanen, MetaCase, Finland
  * Alexander Serebrenik, Eindhoven University of Technology, Netherlands
  * Tony Sloane, Macquarie University, Australia
  * Steffen Staab, Universität Koblenz-Landau, Germany
  * Jun Suzuki, University of Massachusetts, Boston, USA
  * Walid Taha, Rice University, USA
  * Eli Tilevich, Virginia Tech, USA
  * Jurgen Vinju, CWI, Netherlands
  * Eelco Visser, Delft University of Technology, Netherlands
  * René Witte, Concordia University, Canada

Organization Committee
  * Bardia Mohabbati, Simon Fraser University, Canada (Web Chair)
  * Alexander Serebrenik, TU Eindhoven, The Netherlands (Publicity
co-Chair)
  * James Hill, Vanderbilt University, USA (Publicity co-Chair)

Apologies for cross-postings


          !!!  DEADLINE HAS BEEN EXTENDED TO 15 FEBRUARY 2009  !!!


			 Call for papers

                           ECMDA-FA 2009

Fifth European Conference on Model-Driven Architecture Foundations and
Applications

                University of Twente, Enschede, The Netherlands

                          23-26 June 2009

                      http://ecmda2009.utwente.nl



Submission and selection
------------------------

You are asked to submit your contribution through the web site; see
http://ecmda2009.utwente.nl/submit.
Submission occurs in two phases: submission of an abstract and
submission of a full paper. Please submit an abstract and a full
version by February 15, 2009.

For further dates see http://ecmda2009.utwente.nl/dates.


Important Dates
---------------

Deadline for Paper Abstracts (Tracks A & F): February 15, 2009

Deadline for Paper Submission (Tracks A & F): February 15, 2009

Notification to Authors (Tracks A & F): March 16, 2009

Deadline for Final Manuscripts: April 6th, 2009

======================================================================

For more information please visit the conference web site:
http://ecmda2009.utwente.nl
or send an email to the organizers at ecmda2009@...

Call for Papers

*The First Workshop on Behavioural Modelling in Model-Driven
Architecture (BM-MDA) http://www.ou.nl/bm-mda
University of Twente, Enschede, The Netherlands. 23 June 2009*

In collaboration with the Fifth European Conference on Model Driven Architecture
Foundations and Applications http://www.utwente.nl/projecten/ecmda2009/

========================================================
The Model-driven Architecture (MDA) features the use of different kinds
of models during the software development process and automatic
transformations between them. One of the main ideas is the separation
between models that are platform independent (PIMs) and models that are
platform specific (PSM). From these models, some parts of the final code
can be automatically generated. Ultimately, the goal is to generate the
complete software fully automatically from these models.

To date, the fully automatic generation of the code from models is still
a dream and, if it works at all, restricted to specific application
areas. One of the main obstacles is the lack of adequate models for the
behaviour of the software and of mechanisms to integrate behaviour
models with structural models and with other behaviour models. There are
different approaches for modelling behaviour in the UML:

     * Use UML Behavioural State Machines ("Executable UML"), which have
       semantics that borrow largely from work in real-time systems.
     * Use OCL to add behavioural information (such as pre- and
       post-conditions) to other, more structural, types of UML model
     * Not include behaviour in the PIM at all, but instead add it as
       code to structural code skeletons later in the MDA process
     * Strengthen the semantics of other UML notations (in particular,
       Sequence Diagrams) so that these can be used to capture complete
       behavioural information as part of the PIM.
     * Transform Class and Sequence Diagrams into graphs using
       graph-transformation rules in order to create a set of graphs that
       represent the state-space of the bahaviour. Then, model checking
       techniques are applied on this state-space to verify certain
       properties of the UML models.

Although there are many different approaches for modelling behaviour, none of
them enjoys the same universality as the UML class diagrams do for the
structural parts of the software.

Further evidence of confusion about PIM level behavioural modelling is the lack
of agreement on what basic behavioural abstractions are required, and how these
behavioural abstractions should be used:

     * Does the concept of "Component" have meaning at the PIM level, and
       how should it be defined?
     * Does the concept of "Active Objects" (as used in many real-time
       modelling techniques) have meaning at the PIM level? And does it
       only apply to real-time system modelling?
     * What forms of composition should be used between behavioural
       abstractions in the context of MDA?
     * What role should Aspects play in PIM level behavioral modelling?

This workshop brings together people from academia and industry using MDA and
related approaches and, in particular, is concerned with behaviour models and
their integration with MDA. We are interested in submissions on topics relating
to MDA and PIM level behaviour modelling, including:

     * Ontologies of behavioural abstractions and their applicability;
     * Modelling languages that aim to capture PIM level behaviour;
     * Composition and decomposition of behavioural models;
     * Application of process algebraic techniques;
     * Application of formal reasoning to PIM level behaviour models;
     * Translation of PIM level behaviour to PSM and code;
     * Method and Tool Support for building PIM level behavioural models;
     * Case studies that relate to the use of PIM level behavioural
       modelling.

The purpose is to better understand the problem with behavioural models, what is
needed to adequately model behaviour, and what is still lacking for universally
modelling the behaviour of software in such a way that the code can
automatically be generated from them. Based on that, the outcome of the workshop
will be a clearer vision of how modelling notations for behaviour and the
interfaces to structural models should look like.


       Submissions:

We ask for papers of minimum four pages and maximum 8 pages in the ACM format
http://www.acm.org/sigs/publications/proceedings-templates.

Please send the pdf-version of your submissions to ella.roubtsova-AT-ou.nl. Each
paper will be reviewed by three members of the program committee.
The proceedings will be published as a volume of the ACM DL with an ISBN.

Important dates:
Paper Submission: April 5, 2009
Authors Notification:  May 3, 2009
Camera-ready copies of accepted papers:  May 24, 2009
Workshop:  June 23, 2009

Organizing Committee:
Mehmet Aksit. TU Twente, the Netherlands
Ekkart Kindler, Technical University of Denmark,
Ella Roubtsova, Open University of the Netherlands,
Ashley McNeile, Metamaxim Ltd, UK

Program committee:
Mehmet Aksit. TU Twente, the Netherlands
Michael Jackson, Open University, UK
Ekkart Kindler, Technical University of Denmark
Reiko Heckel, University of Leicester, UK
Dominik Stein, University of Essen, Germany
Luis Gomes, Universidade Nova de Lisboa, Portugal
Ashley McNeile, Metamaxim Ltd, UK
Louis Birta, University of Ottawa, Canada
Stewart Robinson, University of Warwick, UK
João M. Fernandes, Universidade do Minho, Portugal
Ella Roubtsova, Open University of the Netherlands
Stefan Hanenberg  University of Duisburg-Essen,Germany