Workshops

Home Calls Committees Program Co-located Events Registration Local Information Publicity / Contact

News

ACM/IEEE 17th International Conference on Model Driven

 Engineering Languages and Systems

The following workshops will be held during the first three days of MODELS 2014 (Sunday: September 28, Monday: September 29, and Tuesday: September 30): WS1 - GEMOC 2014: 2nd Workshop On the Globalization of Modeling Languages Sunday September 28, 2014 (Full Day) Location: Red Cube - Salón de Actos (3rd Floor) Chairs: Benoit Combemale, Julien Deantoni and Robert France URL:  http://gemoc.org/gemoc2014/ Summary: To cope with complexity, modern software-intensive systems are often split in different concerns, which serve diverse stakeholder groups and thus must address a variety of stakeholder concerns. These different concerns are often associated with specialized description languages and technologies, which are based on concern-specific problems and solution concepts. Software developers are thus faced with the challenging task of integrating the different languages and associated technologies used to produce software artifacts in the different concern spaces. Part of the series, GEMOC 2014 is a full-day workshop that will bring together researchers and practitioners to discuss the challenges associated with integrating multiple, heterogeneous modeling languages. The languages of interest range from requirements to runtime languages, and include both general- purpose and domain-specific languages. Challenges related to engineering composable languages, well-formed semantic composition of languages and to reasoning about systems described using heterogeneous languages are of particular interest. GEMOC 2014 will provide an open forum for sharing experiences, problems and solutions on the conjoint use of multiple modeling languages. This workshop will be the place where concrete artifacts, ideas and opinions are exchanged in order to reap constructive feedback. A major objective of this second edition is to continue collaborations and to expand a community that is focused on solving the problems arising from the globalization of modeling languages. Back to overview WS2 - AMINO 2014: TowArds the Model DrIveN Organization Monday September 29, 2014 (Full Day) Location: Red Cube - Sala Debate (4th Floor) Chairs: Tony Clark, Balbir Barn, Vinay Kulkarni, Ulrich Frank, Robert France and Dan Turk URL:  http://www.cs.colostate.edu/remodd/v1/amino2014 Summary: Modern organizations are faced with the very challenging problem of rapidly responding to continual external business pressures in order to sustain their competitiveness or to effectively perform mission-critical services. Difficulties arise because the continual evolution of systems and operational procedures that are performed in response to the external pressures eventually leads to suboptimal configurations of the systems and processes that drive the organization. The management of continuous business change is complicated by the current lack of effective mechanisms for rapidly responding to multiple change drivers. The use of inadequate change management methods and technologies introduces accidental complexities that significantly drive up the cost, risk, and effort of making changes. These problems provide opportunities for developing and applying organization modeling approaches that seek to improve an organization's ability to effectively evolve in response to changes in its business environment. Modeling an organization to better support organizational evolution leads to what we call a Model Driven Organization (MDO), where an MDO is an organization in which models are the primary means for interacting with and evolving the systems that drive an organisation. A Model Driven Organization uses models in the analysis, design, simulation, delivery, operation, and maintenance of systems to address its strategic, tactical and operational needs and its relation to the wider environment. An organization's Enterprise Systems (ES) support a wide-range of business activities including planning, business intelligence, operationalization, and reporting. ES are thus pivotal to a company's competitiveness. Modelling technologies and approaches that address the development, analysis, deployment and maintenance of ES have started to emerge. Such technologies and approaches must support a much broader collection of use-cases than traditional technologies for systems design modeling. Current ES architectures do not adequately address the growing demands for inter- organisational collaboration, flexibility and advanced decision support in organizations. Realizing the MDO vision will require research that cross-cuts many areas, including research on enterprise architectures, business process. and workflow modeling, system requirements and design modeling, metamodeling, and models@runtime. This workshop seeks to bring together researchers and practitioners from a variety of MDD research domains to discuss the need, feasibility challenges and proposed realizations of aspects of the MDO vision. The full-day workshop aims to provide a forum to report and discuss advances and current research questions in applying modelling technologies to organizations in order to substantially improve their flexibility and economics. The aim is to integrate various areas of research such as: models at runtime, (meta-) modelling, modelling tools, enterprise architecture, architecture modelling and business processes. Back to overview WS3 - ACVI 2014: Architecture-Centric Virtual Integration with AADL Monday September 29, 2014 (Full Day) Location: Green Cube - Sala Innova (4th Floor) Chairs: Julien Delange and Peter Feiler URL:  http://www.aadl.info/aadl/avci/  Summary: New real-time systems have increasingly complex architectures because of the intricacy of the multiple interdependent features they have to manage. They must meet new requirements of reusability, interoperability, flexibility and portability. These new dimensions favor the use of an architecture description language that offers a global vision of the system, and which is particularly suitable for handling real-time characteristics. Due to the even more increased complexity of distributed, real-time and embedded systems (DRE), the need for a model-driven approach is more obvious in this domain than in monolithic RT systems. The ACVI workshop is to provide an opportunity to gather researchers and industrial practitioners to survey existing efforts related to model-based analysis of DRE systems. Presented work highlight how model-based methods can be used to discover integration issues and improve DRE system production, either by improving the overall development process (by reducing potential integration issue and avoiding re-engineering costs) or the product itself (by increasing system robustness). The AADL standardization committee will also attend the workshop, making this event a unique possibility to present and exchange with research communities from various domains. Back to overview WS4 - ACESMB 2014: Model Based Architecting and Construction of Embedded Systems Tuesday September 30, 2014 (Full Day) Location: Green Cube - Sala Crea (4th Floor) Chairs: Florian Noyrit, Susanne Graf and Iulia Dragomir URL:  http://www.irit.fr/ACES-MB   Summary: The design of embedded systems with real-time and other critical constraints raises distinctive problems. On the high-level engineering side, model-based system engineering is becoming the norm in the industry. The formalization of system engineering models and approaches is considered to be a major factor for further gains in productivity, quality and time-to-market of such complex systems. Yet, system and architecture modeling is much more an art than a systematic activity so that methodologies and design patterns must be proposed. On the low-level design side, specific architectural choices have to be made as early as possible and non-functional constraints such as real-time deadlines must be handled. Model-based engineering techniques provide means to capture this architectural and non-functional information using domain-specific models and allow to separate functional aspects (platform independent) from architectural and non-functional aspects (platform specific). These aspects are combined later via model transformations, but managing the feature interactions among the functional and non-functional aspects remains a key issue. This full-day workshop is an opportunity to share and discuss advances and current research on model-based techniques that contribute to better architecting and construction of embedded and cyber-physical systems with a focus on approaches yielding efficient and provably correct designs. Back to overview WS5 - OCL 2014: Workshop on OCL and Textual Modeling: Applications and Case Studies Tuesday September 30, 2014 (Full Day) Location: Red Cube - Sala Aprende (4th Floor) Chairs: Achim D. Brucker, Carolina Dania, Geri Georg and Martin Gogolla URL:  http://www.software.imdea.org/OCL2014/   Summary: The goal of the Workshop on OCL and Textual Modeling is to create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages (e.g., textual MOF, Epsilon, or Alloy) can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation. Topics of interest include the mappings between textual modeling languages and other languages, algorithms, evaluation strategies and optimizations in the context of textual modeling languages (e.g., for validation, verification, model-transformations), alternative notations for textual modeling languages, libraries, templates and patterns for textual modeling languages as well as tools for textual modeling. This year, we particularly encourage submissions describing applications and case studies of textual modeling as well as test suites and benchmark collections for evaluating textual modeling tools. Back to overview WS6 - CloudMDE 2014: 2nd International Workshop on Model-Driven Engineering on and for the Cloud  Tuesday September 30, 2014 (Full Day) Location: Red Cube - Salón de Actos (3rd Floor) Chairs: Richard Paige, Louis Rose, Jordi Cabot, Marco Brambilla and James Hill URL:  http://cloudmde.como.polimi.it/2014  Summary: Model Driven Engineering elevates models to primary artefacts in software engineering. Numerous powerful tools exist to support MDE, including for constructing and managing models (e.g., via transformation, code generation, merging), though numerous challenges arise in adopting and deploying these tools. Many of the scenarios in which MDE is applied are traditional IT development (e.g., focusing on code generation), and emphasis on novel or evolving deployment platforms has yet to be seen. Cloud computing is a computational model in which applications, data, and IT resources are provided as services over a network. Cloud computing exploits distributed computers to provide on-demand services that grant scalability, reliability, security, and cost-effectiveness.   Cloud computing is enormously promising in terms of providing scalability and elasticity; MDE is enormously promising in terms of automating parts of systems engineering, including development, maintenance, portability and interoperability. There is growing interest in identifying and exploiting synergies between MDE and cloud computing; this is the focus of the workshop. In particular, we aim to identify opportunities for using MDE to support the development of cloud-based applications (MDE for the cloud), as well as opportunities for using cloud infrastructure to enable MDE in new and novel ways (MDE in the cloud). Back to overview WS7 - ModComp 2014: 1st International Workshop on Model-Driven Engineering for Component-Based Software Systems Monday September 29, 2014  (Full Day) Location: Red Cube - Sala Descubre(4th Floor) Chairs: Federico Ciccozzi, Jan Carlson and Massimo Tivoli URL:  http://www.mrtc.mdh.se/ModComp14/  Summary: Model-Driven Engineering (MDE) and Component-Based Software Engineering (CBSE) have been proven to effectively reduce software development complexity by (i) shiftin g the focus from source code to models and (ii) breaking down the set of desired features and their intricacy into smaller sub-modules, respectively. Moreover, the interplay of MDE and CBSE approaches is gaining recognition as a very promising means to boost the development of software systems by reducing costs and risks and shorten time-to-market. While several attempts to effectively combine MDE and CBSE have been documented, there are still unsolved clashes raising when exploiting interplay of MDE and CBSE, mostly due to mismatches in the related terminology as well as to differences in their basic essence. As satellite event of MoDELS, the goal of ModComp'14 is to gather researchers and practitioners to explore the frontiers of interweaving between MDE and CBSE. In this sense, ModComp’14 will provide an open forum for sharing experiences, problems and solutions and where concrete artifacts, ideas and opinions are exchanged and constructive feedback provided. A major objective is to start building a community that focuses on the problems arising from the interplay of MDE and CBSE. Back to overview WS8 - CMSEBA 2014: Combining Modelling with Search- and Example-Based Approaches Sunday September 28, 2014 (9:30 - 12:30) Location: Red Cube - Sala Aprende (4th Floor) Chairs: Richard Paige, Marouane Kessentini, Philip Langer, James Williams and Manuel Wimmer URL:  www.cs.york.ac.uk/es/cmseba Summary: Models are an abstraction of a problem under scrutiny and have been crucial components in engineering disciplines for millennia. They play a central role in all aspects of software engineering. Search-based software engineering (SBSE) is a software development practice which focuses on couching software engineering problems as optimisation problems and utilising metaheuristic techniques to discover near optimal solutions to those problems. Examples play a key role in the human learning process. There exist numerous theories on learning styles in which examples are used. Like many other domains of software engineering, the modelling community is currently concerned with the use of examples, such as traceability information and different kind of models, to search for solutions that fall within a specified acceptance margin to solve specific problems. We believe that SBSE approaches and example-based approaches to software engineering offer innovate ways in which to better discover, manage, and evaluate models in software engineering. Furthermore, we believe that the example-based and SBSE communities would benefit from state-of- the-art modelling practices in order to evaluate, compare, and improve different example-based and search techniques. The goal of this workshop is to discover opportunities for different ways SBSE and example-based techniques can be combined with modelling, and aims to stimulate research in this area. Additionally, we feel that the time is right for a community-growing workshop such as this, in order to foster relationships between the search, example and modelling communities. Back to overview WS10 - XM 2014: Extreme Modelling 2014 Monday September 29, 2014 (Full Day) Location: Red Cube - Sala Aprende (4th Floor) Chairs: Davide Di Ruscio, Alfonso Pierantonio and Juan De Lara URL:  http://www.di.univaq.it/XM2014/ Summary: Raising the level of abstraction and using concepts closer to the problem and application domain rather than the solution and technical domains, requires models to be written with a certain agility. This is partly in contrast with MDE whose conformance relation is analogous to a very strong and static typing system in current programming languages. For instance EMF does not permit to enter models which are not conforming to a metamodel. On one hand this allows only valid models to be defined, but on the other, it makes the corresponding pragmatics more difficult. Thus there is an increasing need for more disciplined techniques and engineering tools to support flexibility in several forms in a wide range of modeling activities, including metamodel, model, and model transformation definition processes. The workshop aims at better identifying the difficulties in the current practice of MDE related to the lack of flexibility, and soliciting contributions of ideas, concepts, and techniques also from other areas of software development. In addition to the MDE community, the workshop aims at involving the dynamic programming languages community, which could  be useful to revise certain MDE fundamental typing concepts; the visual languages community, so that agile model sketching ideas could be discussed; and the agile software development community. Back to overview WS11 - MULTI 2014: 1st International Workshop on Multi-Level Modeling Sunday September 28, 2014  (Full Day) Location: Yellow Cube - Salón de Actos (3rd Floor) Chairs: Colin Atkinson, Georg Grossmann, Thomas Kühne and Juan de Lara URL:  http://miso.es/multi/2014/ Summary: In recent years there has been growing interest in the use of multi-level modelling approaches to more effectively engineer languages and represent the multiple classification levels frequently found in the real world. However, there is still no clear consensus on what multilevel modelling actually is and what kinds of constructs and concepts provide the best support for it. For example, there are diverging views on whether it is sound to combine instance facets and type facets into so-called clabjects, whether strict meta-modelling is too restrictive, and what principles should be used in establishing meta-level boundaries, etc. Until these difference are resolved and the principles and practices of the approach are placed on a solid foundation, multi-level modelling will remain a niche technology and its user base will remain relatively small. The goal of this workshop is therefore to bring together researchers and practitioners with an interest in multi-level modelling to foster a fruitful cross-pollination of ideas and lay the foundation for a unified discipline. In particular, the workshop will aim to identify a set of criteria for judging the strengths and weaknesses of different multi-level modelling approaches and for defining possible benchmark case studies. Back to overview WS12 - MRT 2014: 9th International Workshop on Models@run.time Tuesday September 30, 2014 Full Day Location: Red Cube - Sala Debate (4th Floor) Chairs: Sebastian Götz, Nelly Bencomo and Robert France URL:  http://st.inf.tu-dresden.de/MRT14 Summary: The Models@run.time workshop series provides a forum for exchange of ideas on the use of run-time models. The main goals of this years workshop are (1) to further promote cross-fertilization between researchers from different communities, including model-driven software engineering, software architectures, computational reflection, adaptive systems, autonomic and self-healing systems, and requirements engineering and (2) to discuss and elicit the most important future research directions. Models@run.time extend the applicability of models and abstractions to the runtime environment. As is the case for software development models, a run-time model is often created to support reasoning. However, in contrast to development models, run-time models are used to reason about the operating environment and runtime behaviour, and thus these models must capture abstractions of runtime phenomena. Different dimensions need to be balanced, including resource-efficiency (time, memory, energy), context-dependency (time, location, platform), as well as personalization (quality-of-service specifications, profiles). The hypothesis is that because models@run.time provide meta-information for these dimensions during execution, run-time decisions can be facilitated and better automated. Thus, it is anticipated that this technology will play an integral role for future software-based systems including self-adaptive and autonomous systems. Back to overview WS13 - OSS4MDE 2014: Open Source Software for Model Driven Engineering Sunday September 28, 2014 (Full Day) Location: Blue Cube - Auditorium (4th Floor) Chairs: Francis Bordeleau, Juergen Dingel, Sebastien Gerard and Sebastian Voss URL:  http://www.cs.queensu.ca/oss4mde/ Summary: A significant number of users of MDE tools in industry and academia have begun to consider the use of open source MDE tools and some have even already committed to it. The recent formation of the PolarSys Eclipse Working Group (http://polarsys.org) with participation from Airbus, Thales, CEA list Ericsson, Astrium, Atos, Obeo, Soyatec, Combitech, and Intecs is evidence of that. This shift away from proprietary, commercial MDE tools towards open source represents a radical departure from past practices and presents both exciting opportunities and substantial challenges for everybody interested in MDE, regardless of whether they use the tools for industrial development, research, or education.  Due to the importance of tooling to the success of MDE, this shift has the potential to provide a much-needed stimulus for major advances in its adoption, development, and dissimination. The ultimate goal of the workshop is to ensure that this potential is realized. Back to overview WS14 - AMT 2014: Analysis of Model Transformations Monday September 29, 2014  (Full Day) Location: Yellow Cube - Salón de Actos (3rd Floor) Chairs: Juan de Lara, Juergen Dingel, Levi Lucio and Hans Vangheluwe URL:  http://msdl.cs.mcgill.ca/conferences/AMT Summary: To facilitate the processing and manipulation of models, a lot of research has gone into developing languages, standards, and tools to support model transformationsa quick search on the internet produces more than 30 different transformation languages that have been proposed in the literature or implemented in open-source or commercial tools. The growing adoption of these languages and the growing size and complexity of the model transformations developed require a better understanding of how all activities in the model transformation lifecycle can be better supported. The AMT workshop aims to address this issue by providing a forum in which the analysis of model transformations to support the development, quality assurance, maintenance, and evolution of model transformations is studied. The adoption of existing analysis techniques and tools developed, e.g., in the context of general-purpose programming languages and source code transformation are of particular interest, but also the identification of analysis challenges and solutions specific to model transformations or certain classes of model transformation languages. Back to overview WS15 - MoDeVVa 2014: Model-Driven Engineering, Verification and Validation Integrating Verification and Validation in MDE Tuesday September 30, 2014 (Full Day) Location: Yellow Cube - Salón de Actos (3rd Floor) Chairs: Frédéric Boulanger, Michalis Famelis and Daniel Ratiu URL:  http://wwwdi.supelec.fr/modevva/ Summary: Models are purposeful abstractions of systems and of their environment. They can be applied at arbitrary abstraction levels for understanding complex systems, validating requirements, simulation or code generation. Thus, the usage of models is of increasing importance for industrial applications. Model-Driven Engineering (MDE) is a development methodology that is based on models, meta- models, and model transformations. The shift from code or technical artifacts to software models is a key feature of MDE which opens promising perspectives for the formalization and the automation of verification and validation tasks, such as testing, consistency or refinement conformance checking. On the other hand, the growing complexity of models and of model transformations requires efficient techniques for V&V in the context of MDE. The 2014 edition of the workshop on model-driven engineering, verification, and validation (MoDeVVa) offers a forum for researchers and practitioners interested in V&V and MDE. The main goals of the workshop are to identify, discuss, and elaborate mutual impacts of MDE and V&V. This year, following the keynote presentation given by Marsha Chechik in the 2013 edition, we would like to put a special focus on modeling and reasoning in the presence of incompleteness, underspecification and the unknown. Back to overview WS16 - MD2P2 2014: Model-Driven Development Processes and Practices Sunday September 28, 2014 (14:00 - 18:00) Location: Red Cube - Sala Aprende (4th Floor) Chairs: Regina Hebig, Reda Bendraou, Markus Völter and Michel Chaudron URL:  http://md2p2.lip6.fr/ Summary: Model-driven engineering emphasizes the use of models for a higher productivity, better quality and lower maintenance cost. However, MDE has to be integrated into a suitable, perhaps previously existing development process; otherwise MDE cannot deliver its goals, and is unlikely to be adopted in the first place. This workshop explores the interactions between MDE and development processes. How can processes (agile, V-Model) be adapted to benefit from MDE? Can stakeholders really be integrated more productively into the development process? Does front-loading actually work, and are errors in later phases reduced? How can models be tested, reviewed or diffed/merged? Can established processes be streamlined by using MDE? How does MDE affect agile practices? How are these aspects different in project vs. product development? Which aspects of tools are important for good process integration? Submissions present case studies, integration approaches, or tools. Case studies review practical, real-world (positive and negative!) experience relative to the topics outlined above. The consequences for the development process must be described clearly. Papers on integration approaches discuss how mutual impacts of MDE and development processes can be taken into account during process adaption. Tool papers must discuss aspects of tools that specifically help with process integration. Back to overview WS17 - MPM 2014: Workshop on Multi-Paradigm Modeling Tuesday September 30, 2014 (Full Day) Location: Red Cube - Sala Descubre (4th Floor) Chairs: Daniel Balasubramanian, Tamás Mészáros, Christophe Jacquet, Pieter Van Gorp and Sahar Kokaly URL:  http://msdl.cs.mcgill.ca/conferences/MPM/ Summary: Multi-Paradigm Modeling (MPM) is a research field focused on solving the challenge of combining, coupling and integrating rigorous models of some reality, at different levels of abstraction and views, using modeling formalisms and semantic domains, with the goal of simulating or realizing systems that may be physical, software or a combination of both. The key challenges are finding adequate Modeling Abstractions, Multi-formalism Models, Model Transformations and applying MPM techniques and tools to Complex Systems. MPM theories/methods/technologies have been successfully applied in the fields of software architectures, control system design, model integrated computing and tool interoperability. The eighth Workshop on Multi-Paradigm Modeling (MPM) aims to further the state-of-the-art and define future directions of this emerging research area by bringing together world experts in the field for an intense one-day workshop. Topics of interest include, but are not limited to: Heterogeneity in models: multi-domain and multi-physics modeling, multiview modeling, multi- abstraction modeling; Heterogeneity in modeling languages: engineering of modeling languages, quality evaluation and usability of modeling languages; Multi-Paradigm Modeling techniques: model transformation, model composition, modeling cross- domain interactions, model-based detection of unanticipated interactions in heterogeneous systems, visualization of multi-paradigm models; Applications of current MPM techniques, in particular industry applications. Back to overview WS18 - ME 2014: International Workshop on Models and Evolution Sunday September 28, 2014 (Full Day) Location: Red Cube - Sala Descubre (4th Floor) Chairs: Alfonso Pierantonio, Dalila Tamzalit and Bernhard Schaetz URL:  http://www.models-and-evolution.com/ Summary: The workshop addresses the general topics of ‘evolution of models’ and ‘evolution with models’. We consider that it is necessary to look at models as core artefacts: by raising the level of abstraction and using concepts closer to the problem and application domain rather than the solution and technical domain, models become core assets and reusable intellectual property, being worth the effort of maintaining and evolving them and also use them as tools for specifying, executing and controlling software evolution. Therefore, increasingly models experience the same issues as traditional software artefacts, i.e., being subject to many kinds of changes. Modifications include changes at all levels, from requirements through architecture and design, to executable models, documentation and test suites. They typically affect various kinds of models including data models, behavioral models, domain models, source code models, goal models, etc.  Coping with and managing the changes that accompany the evolution of software assets is therefore an essential aspect of Software Engineering as a discipline. ME 2014 targets researchers as well practitioners on model-driven engineering to meet, disseminate, discuss and exchange ideas, identify the key issues related to the problem of model evolution and explore possible solutions, future work and potential future collaborations. Back to overview .

Sunday September 28, 2014

WS1 GEMOC 2014 2nd Workshop On the Globalization of Modeling Languages (full day)
WS8 CMSEBA 2014 Combining Modelling with Search- and Example-Based Approaches (morning)
WS11 MULTI 2014 1st International Workshop on Multi-Level Modeling (full day)
WS13 OSS4MDE 2014 Open Source Software for Model Driven Engineering (full day)
WS16 MD2P2 2014 Model-Driven Development Processes and Practices (afternoon)
WS18 ME 2014 International Workshop on Models and Evolution (full day)

Monday September 29, 2014

WS2 AMINO 2014 TowArds the Model DrIveN Organization (full day)
WS3 ACVI 2014 Architecture-Centric Virtual Integration with AADL (full day)
WS7 ModComp 2014 1st International Workshop on Model-Driven Engineering for Component-Based Software Systems (full day)
WS10 XM 2014 Extreme Modelling (full day)
WS14 AMT 2014 Analysis of Model Transformations (full day)

Tuesday September 30, 2014

WS4 ACESMB 2014 Model Based Architecting and Construction of Embedded Systems (full day)
WS5 OCL 2014 Workshop on OCL and Textual Modeling: Applications and Case Studies (full day)
WS6 CloudMDE 2014 2nd International Workshop on Model-Driven Engineering on and for the Cloud (full day)
WS12 MRT 2014 9th International Workshop on Models@run.time (full day)
WS15 MoDeVVa 2014 Model-Driven Engineering, Verification and Validation Integrating Verification and Validation in MDE (full day)
WS17 MPM 2014 Workshop on Multi-Paradigm Modeling (full day)