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

 

Workshops

The following workshops will be held during the first three days of MODELS 2013 (Sunday: September 29, Monday: September 30, and Tuesday: October 1). As a post-proceedings, each workshop will be archived with its own CEUR workshop volume with page numbers, and indexed in the DBLP.

 

Workshop Keynotes

Several workshops will have keynote talks. Please find below a summary of the workshop keynotes for MODELS 2013.

ACESMB: Sunday (September 29) at 9:00am - Madrid
Challenges and Strategies for Safety-critical Software-reliant Systems
Peter H Feiler, CMU/SEI

AMINO: Sunday (September 29) at 8:45am - Regency Conference Room
Goals, Domains, and Enterprise Architecture in the Model-Driven Organization
Desmond D'Souza, Kinetium, Inc.

AMT: Sunday (September 29) at 8:30am - Regency Ballroom
Transforming the Automotive Industry
Robert Baillargeon, Sodius

XM: Sunday (September 29) at 8:30am - Balboa
Agile versus MDE - Friend or Foe?
Jon Whittle, Lancaster University

MDEBE: Sunday (September 29) at 8:45am - Miramar North
Tackling Model-Based Software Testing and Verification as a Search Problem
Lionel Briand, University of Luxembourg

NiM-ALP: Sunday (September 29) at 1:30pm - Balboa
Continual Verification of Non-Functional Properties in Cloud-Based Systems
Radu Calinescu, University of York

ME: Monday (September 30) at 8:30am - Miramar North
Learning on the Job: Supporting the Evolution of Designs
Bran Selic, Malina Software

MPM: Monday (September 30) at 8:30am - Valencia East and West
Compositional Multi-Paradigm Models for Software Development
Bernhard Rumpe, RWTH Aachen University

DSLFin: Tuesday (October 1) at 1:30pm - Miramar South
Beyond Valuation: Past, Present and Future of Domain-Specific Languages for Finance Applications
Jean-Marc Eber, LexiFi

EESSMOD: Tuesday (October 1) at 8:30am - Miramar North
Research-Based Innovation in Model-Driven Engineering: Project Experience and Lessons Learned
Lionel Briand, University of Luxembourg

MoDeVVa: Tuesday (October 1) at 8:45am - Regency Ballroom
Partial Behaviour Modelling:  Foundations for Incremental and Iterative Model-Based Software Engineering
Marsha Chechik, University of Toronto

 

Workshop Panel

ACESMB: Sunday (September 29) at 4:00pm - Madrid
Research Challenges in Model Based Architecting and Construction of Embedded Systemss
Panelists: Peter Feiler (SEI), Bran Selic (Malina Software), Markus Völter (independent consultant), Frédéric Boulanger (SUPELEC), 
Julie Fant (SEI - CMU)
Moderators: Iulian Ober (Univ. of Toulouse/IRIT) and Florian Noyrit (CEA)

 

Sunday (September 29)

WS1
Full
AMINO:
TowArds the Model DrIveN Organization

Tony Clark, Balbir Barn, Vinay Kulkarni,
Ulrich Frank, Robert France, and Dan Turk

URL: http://www.cs.colostate.edu/remodd/v1/amino2013
WS2
Full
WS3
AM
XM:
Extreme Modelling

Davide Di Ruscio, Alfonso Pierantonio, and Juan de Lara
URL: http://www.di.univaq.it/XM2013/
WS4
Full
Models@run.time
Nelly Bencomo, Robert France,
Sebastian Goetz, and Bernhard Rumpe

URL: http://st.inf.tu-dresden.de/MRT13/
WS5
Full
MDEBE:
Model-Driven Engineering By Example

Marouane Kessentini, Houari Sahraoui, and Philip Langer
URL: http://www.mdebe.com
WSA6
AM
MDHPCL:
Model-Driven Engineering for
High Performance and CLoud Computing

Ileana Ober, Jean-Michel Bruel, Aniruddha Gokhale, Michael Felderer, David Lugato, James Hill, and Akshay Dabholkar
URL: http://www.irit.fr/MDHPCL2013/
WSP7
Full
AMT:
Analysis of Model Transformation

Benoit Baudry, Juergen Dingel, Levi Lucio, and Hans Vangheluwe
URL: http://msdl.cs.mcgill.ca/conferences/AMT/
WSP8
Full
GeMOC:
Globalization of Modeling Languages

Benoit Combemale, Julien De Antoni, and Robert France
URL: http://gemoc.org/gemoc2013/
WSP9
PM

 

Monday (September 30)

WM10
Full
OCL, Model Constraint and Query Languages
Jordi Cabot, Martin Gogolla, Istvan Rath, and Ed Willink
URL: http://ocl2013.inf.mit.bme.hu
WM11
Full
ME:
Models and Evolution

Alfonso Pierantonio and Bernhard Schätz
URL: http://www.models-and-evolution.com/
WM12
Full
MPM:
Multi-Paradigm Modeling

Daniel Balasubramanian, Christophe Jacquet,
Edward Jones, and Tamas Meszaros

URL: http://msdl.cs.mcgill.ca/conferences/MPM/
WM13
Full
MOTB:
Modeling Outside the Box

Jon Whittle, Nelly Bencomo, and Gunter Mussbacher
URL: http://cserg0.site.uottawa.ca/modelingoutsidethebox2013/

 

Tuesday (October 1)

WT14
Full
EESSMOD:
Experiences and Empirical Studies in Software Modelling

Michel Chaudron, Marcela Genero,
Lars Pareto, and Silvia Abrahão

URL: http://users.dsic.upv.es/workshops/eessmod13/
WT15
Full
WT16
Full
CMA:
Fourth International Workshop on
Comparing Modeling Approaches

Geri Georg, Gunter Mussbacher, Ana Moreira, Robert France, Shaukat Ali, and Jörg Kienzle
URL: http://cserg0.site.uottawa.ca/cma2013models/
WTA17
AM
SIMF:
Semantic Information Modeling for Federation

Cory Casanave, Sjir Nijssen, Peter Mork,
Mike Bennett, and Herman Balsters

URL: http://www.informationfederation.org/
WTP18
PM
DSLFin:
Domain-Specific Languages for Financial Systems

Magnus Christerson, David Frankel, and Todd W. Schiller
URL: http://www.dslfin.org

 

_______________________________________________________
WS1 -AMINO:
TowArds the Model DrIveN Organization

Tony Clark, Balbir Barn, Vinay Kulkarni, Ulrich Frank, Robert France, and Dan Turk

URL: http://www.cs.colostate.edu/remodd/v1/amino2013

Regency Conference Room
Sunday, September 29, 8:30am-5:00pm

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 providing 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 organization.

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.

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 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.

_______________________________________________________
WS2 - ACESMB:
Model Based Architecting and Construction of Embedded Systems

Iulian Ober, Florian Noyrit, Susanne Graf, and Gabor Karsai

URL: http://www.irit.fr/ACES-MB/Welcome.html

Madrid
Sunday, September 29, 8:30am-5:00pm

Summary: The design of embedded systems with real-time and critical constraints raises distinctive problems. On the high-level engineering side, after many actors in the industry, working on complex, distributed, embedded systems, identified the software crisis to be often rooted in a system crisis, 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 for embedded systems. 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 (1) provide means to capture this architectural and non-functional information using domain-specific models, and (2) 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. Model-based approaches yielding efficient and provably correct designs will be emphasized

_______________________________________________________
WS3 - XM:
Extreme Modelling

Davide Di Ruscio, Alfonso Pierantonio, and Juan de Lara

URL: http://www.di.univaq.it/XM2013/

Balboa
Sunday, September 29, 8:30am-12:00pm

Summary: Raising the level of abstraction and using concepts closer to the problem and application domain rather than the solution and technical domain, 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 a current programming language. For instance EMF does not permit to enter models which are not conforming to a metamodel: on one hand it allows only valid models to be defined, on the other hand 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 would aim at better identifying the difficulties in the current practice of MDE related to the lack of flexibility, and soliciting con- tributions of ideas, concepts, and techniques also from other areas of software, such as that of specific language communities (e.g., the Smalltalk and Haskell communities, and the dynamic languages community) which could be useful to revise certain MDE fundamental concepts, such as the conformance relation.

_______________________________________________________
WS4 - Models@run.time
:
Nelly Bencomo, Robert France, Sebastian Goetz, and Bernhard Rumpe

URL: http://st.inf.tu-dresden.de/MRT13/

Valencia East and West
Sunday, September 29, 8:30am-5:00pm

Summary: The Models@run.time workshop series provides a forum for exchange of ideas on the use of run-time models. The main goal is 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. 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.

_______________________________________________________
WS5 - MDEBE:
Model-Driven Engineering By Example

Marouane Kessentini, Houari Sahraoui, and Philip Langer

URL: http://www.mdebe.com

Miramar North
Sunday, September 29, 8:30am-5:00pm

Summary: Examples play a key role in the human learning process. There exist numerous theories on learning styles in which examples are used. Thus, the idea of using examples to derive programs has a long tradition in computer science. Like many other domains of software engineering, the model-driven engineering (MDE) 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 different problems. Much work has been proposed based on learning from examples such as for model transformation, model evolution, model analysis, and model testing. Applying example-based techniques to complex MDE problems necessitates expertise in both, search-based optimization/machine learning algorithms and MDE formalisms and techniques.

The main goal of this community-building workshop is to offer a forum to exchange experiences and ideas related to learning from already-existing data, e.g., models, metamodels, transformations, transformation traces, to automate different MDE activities such as model transformation, model evolution, model refactoring, metamodeling etc. We invite submissions from academia and industry about topics that comprise both, model-driven and “by examples” approaches based on techniques such as machine learning, search-based techniques, and deductive logic.

_______________________________________________________
WSA6 - MDHPCL:
Model-Driven Engineering for High Performance and CLoud Computing

Ileana Ober, Jean-Michel Bruel, Aniruddha Gokhale, Michael Felderer, David Lugato, James Hill, and Akshay Dabholkar

URL: http://www.irit.fr/MDHPCL2013/

Miramar South
Sunday, September 29, 8:30am-12:00pm

Summary: This workshop aims to bring into discussion the potential contributions of model-driven techniques in the development of High-Performance and Cloud Computing. In High Performance Computing, more and more voices are heard claiming for a need to raise the level of abstraction in order to decouple the application development from the underlying hardware architecture. The MDE community has some experience in abstraction raising and could thus propose some solutions interesting to the HPC community. In a similar spirit, cloud computing is often seen as a way to abstract from complex details of system and their management by offering a simple, responsive views accessible to non-specialists. Again, model-driven techniques may be adapted to this domain. The objective of the MDHPCL workshop is to bring together researchers and practitioners interested in the use of model-driven techniques in high-performance and cloud computing and to explore both the frontiers and challenges of architecting and constructing such systems by using MDE.

_______________________________________________________
WSP7 - AMT:
Analysis of Model Transformation

Benoit Baudry, Juergen Dingel, Levi Lucio, and Hans Vangheluwe

URL: http://msdl.cs.mcgill.ca/conferences/AMT/

Regency Ballroom
Sunday, September 29, 8:30am-5:00pm

Summary: To facilitate the processing and manipulation of models, a lot of research has gone into developing languages, standards, and tools to support model transformations. A 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 life cycle can be supported optimally .

Properties of an artifact created by a model transformation are intimately linked to the model transformation that produced it. In other words, to be able to guarantee certain properties of the produced artifact, it may be very helpful, or even indispensable, to also have knowledge of the producing transformation. As the use and significance of modeling increase, the importance that the model transformations produce models of sufficient quality and with desirable properties increases as well; similarly, as the number and complexity of model transformations grows, the importance that transformations satisfy certain non-functional requirements and that life cycle activities for model transformations such as development, quality assurance, maintenance, and evolution are well- supported as well.

_______________________________________________________
WSP8 -GeMOC:
Globalization of Modeling Languages

Benoit Combemale, Julien De Antoni, and Robert France

URL: http://gemoc.org/gemoc2013/

Castilian
Sunday, September 29, 8:30am-5:00pm

Summary: Modern software-intensive systems serve diverse stakeholder groups and thus must address a variety of stakeholder concerns. These concern spaces are often associated with specialized description languages and technologies that are based on concern-specific problem 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.

GEMOC 2013 is a half-day workshop that will bring together researchers and practitioners in the modeling languages community 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, semantic composition of languages and to reasoning about systems described using heterogeneous languages are of particular interest.

GEMOC 2013 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 opinion are exchanged and constructive feedback provided. A major objective is to encourage collaborations and to start building a community that is focused on solving the problems arising from such a globalization of modeling languages.

_______________________________________________________
WSP9 - NiM-ALP:
Non-functional System Properties in Modeling – Analysis, Languages, and Processes

Simona Bernardi, Marko Boškovi?, and José Merseguer

URL: http://ios.researchstudio.at/de/5th-international-workshop-non-functional-properties-modeling

Balboa
Sunday, September 29, 1:30pm-5:00pm

Summary: The NIM-ALP workshop series (previously NFPinDSML) brings together researchers and practitioners that explore specification and analysis of Non-functional Requirements (NFR) and estimation, final evaluation, and certification of Non-functional Properties (NFPs) of software systems during the design based on Model Driven Engineering principles. The main objective is to provide synergies of process engineering, software language engineering, requirements engineering, software analysis and simulation, and model transformation to enable the development of systems that optimally and certifiably meet NFRs.

Particularly, this year's topic is NFP Analysis, Languages and Processes for Cloud Computing.

_______________________________________________________
WM10 - OCL, Model Constraint and Query Languages

Jordi Cabot, Martin Gogolla, Istvan Rath, and Ed Willink

URL: http://ocl2013.inf.mit.bme.hu

Regency Ballroom
Monday, September 30, 8:30am-5:00pm

Summary: UML and its precursors exemplify the use of a graphical notation for modeling. Such visual representations enable direct intuitive capturing of reality, but some of their features are difficult to formalize and lack the level of precision required to create complete and unambiguous specifications. Limitations of the graphical notations encouraged the development of text-based modeling languages that either integrate with or replace graphical notations for modeling. Typical examples of such languages are OCL, textual MOF, Epsilon, and Alloy. Textual modeling languages have their roots in formal language paradigms like logic, programming and databases.

The goal of this workshop is create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation.

_______________________________________________________
WM11 - ME:
Models and Evolution

Alfonso Pierantonio and Bernhard Schätz

URL: http://www.models-and-evolution.com/

Miramar North
Monday, September 30, 8:30am-5:00pm

Summary: This workshop addresses the evolution of artefacts of the modelling process, as inspired by analogous evolution required by software artefacts, with input from academic as well as industrial practice. As Model-Based Development grows in popularity, the models used throughout a system's lifecycle are now core artefacts of modern software engineering processes. 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. Thus, it is worth the effort to maintain and evolve these models, which brings to bear many of the same issues related to traditional software artefacts. In other words, these models are subject to many kinds of changes, which range from rapidly evolving platforms to the evolution of the functionality provided by the systems for which they were developed. These 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, behavioural models, domain models, source code models, goal models, etc. Managing the changes that accompany the evolution of models is therefore essential to model-based Software Engineering as a discipline.

_______________________________________________________
WM12 - MPM:
Multi-Paradigm Modeling

Daniel Balasubramanian, Christophe Jacquet, Edward Jones,
and Tamas Meszaros

URL: http://msdl.cs.mcgill.ca/conferences/MPM/

Valencia East and West
Monday, September 30, 8:30am-5:00pm

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 adequate modeling formalisms and semantic domains, with the goal to simulate (for optimization) or realize systems that may be physical, software or a combination of both. The key challenges are finding adequate Model Abstractions, Multi-formalism modeling, Model Transformation and the application of MPM techniques and tools to Complex Systems. MPM theories/methods/technologies have been successfully applied in the field of software architectures, control system design, model integrated computing, and tool interoperability. The seventh Workshop on Multi-Paradigm Modeling (MPM'13) is aimed at furthering the state-of-the-art as well as to define future directions of this emerging research area by bringing together world experts in the field for an intense one-day workshop.

_______________________________________________________
WM13 -MOTB:
Modeling Outside the Box

Jon Whittle, Nelly Bencomo, and Gunter Mussbacher

URL: http://cserg0.site.uottawa.ca/modelingoutsidethebox2013/

Regency Conference Room
Monday, September 30, 8:30am-5:00pm

Summary: The MODELS conference has been running for over fifteen years. Model-driven development, as an idea, is much older. Like any mature community, there is a natural tendency over time for members of the community to think alike and do alike. Research advances become mostly incremental because the community is unable to step beyond accepted boundaries; truly radical ideas are too risky.

Through a series of creativity, lateral thinking, and brainstorming activities, the Modeling Outside the Box (MOTB) workshop will ask participants to think outside the box and imagine different, radical, innovative forms of model-driven engineering (MDE). Participants will be asked to leave behind all their preconceived notions of MDE and to approach the issue of MDE from a different angle. This will be a highly interactive workshop in which facilitators will use tried-and-tested methods for fostering creativity to generate fresh new ideas for MDE.

_______________________________________________________
WT14 - EESSMOD:
Experiences and Empirical Studies in Software Modelling

Michel Chaudron, Marcela Genero, Lars Pareto, and Silvia Abrahão

URL: http://users.dsic.upv.es/workshops/eessmod13/

Miramar North
Tuesday, October 1, 8:30am-5:00pm

Summary: Software development projects apply modelling in different stages of development and to various degrees in order to take advantage of the many and varied benefits of it. The evaluation of modelling techniques, languages and tools is needed in order to assess their advantages and disadvantages, to ensure their applicability to different contexts, their ease of use, and other issues such as skills and costs; either isolated or in comparison with other methods.

This workshop aims to bring together professionals and researchers interested in software modelling to discuss in which way software modelling techniques may be evaluated, share experiences of performing such evaluations and discuss ideas for further research in this area. The workshop accepts both experience reports of applying software modelling in industry and research papers that describe more rigorous empirical studies performed in industry or academia.

Objectives of this workshop include:

  • Encourage empirical studies in software modelling
  • Building a better understanding of the industrial use of modelling techniques, languages and tools
  • Building theories about the effectiveness of modelling approaches
  • Facilitate and encourage joint research and experimentation in software modelling
  • Identify directions for future research

_______________________________________________________
WT15 - MoDeVVA:
Model-Driven Engineering, Verification and Validation Integrating Verification and Validation in MDE

Frédéric Boulanger, Michalis Famelis, and Daniel Ratiu

URL: http://wwwdi.supelec.fr/modevva/

Regency Ballroom
Tuesday, October 1, 8:30am-5:00pm

Summary: Models are purposeful abstractions of systems and of their environment. They can be used for understanding complex systems, validating requirements, for simulation or automatic code generation. The shift from code or technical artifacts to software models is a key feature of MDE which opens perspectives for the formalization and the automation of verification and validation (V&V) tasks, like model-based 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 2013 edition of the workshop on model-driven engineering, verification, and validation (MoDeVVa) offers a forum for researchers and practitioners who are working on 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, we would like to put the emphasis on the usability of V&V tools and techniques in the context of MDE, especially on:

  • leveraging MDE to improve the usability of V&V tools
  • minimizing the "accidental complexity" of V&V tools
  • using models and transformations to increase the adoption of formal V&V in practice.

_______________________________________________________
WT16 - CMA:
Fourth International Workshop on Comparing Modeling Approaches

Geri Georg, Gunter Mussbacher, Ana Moreira, Robert France, Shaukat Ali, and Jörg Kienzle

URL: http://cserg0.site.uottawa.ca/cma2013models/

Regency Conference Room
Tuesday, October 1, 8:30am-5:00pm

Summary: The Fourth International Comparing Modeling Approaches (CMA) workshop continues the work begun at CMA workshops held at previous MODELS conferences, Requirements Engineering (RE) 2013, and previous Bellairs Workshops. The Bellairs workshops produced a focused case study suitable for modeling in its entirety based on a Crisis Management System case study, and a preliminary collection of criteria to compare aspect-oriented modeling (AOM) approaches along with more traditional object-oriented modeling (OOM) approaches. Each CMA workshop has produced a revised set of criteria along with evaluations of additional modeling approaches that have broadened the modeling paradigms beyond the initial scope of AOM and OOM. The 2013 edition of the CMA workshop at MODELS (CMA@MODELS'13) will bring together practitioners of different modeling approaches with the following two aims in mind: to continue applying the comparison criteria to more modeling approaches in the context of the focused case study, and to propose and execute analyses of the existing results, with the end goal of enabling practitioners to propose and evaluate end-to-end methodologies.

_______________________________________________________
WTA17 - SIMF:
Semantic Information Modeling for Federation

Cory Casanave, Sjir Nijssen, Peter Mork, Mike Bennett,
and Herman Balsters

URL: http://www.informationfederation.org/

Miramar South
Tuesday, October 1, 8:30am-12:00pm

Summary: The purpose of Semantic Information Federation is to help federate information across different authorities, vocabularies and formats. Current conceptual and logical information modeling approaches tend to be focused on a particular information modeling problem, using a particular technology. Examples of such technical approaches include object modeling & E/R modeling, Ontologies and exchange schema modeling. This workshop seeks to address the problem of information federation utilizing standards for ontologies, conceptual domain modeling, logical information modeling and model bridging relationships. This workshop is motivated by but not limited to the SIMF {Semantic Information Modeling for Federation} RFP effort current within the Object Management Group.

_______________________________________________________
WTP18 - DSLFin:
Domain-Specific Languages for Financial Systems

Magnus Christerson, David Frankel, and Todd W. Schiller

URL: http://www.dslfin.org

Miramar South
Tuesday, October 1, 1:30pm-5:00pm

Summary: The recent financial crisis has renewed the financial industry’s focus on transparency and risk management. With the accompanying broadened regulatory scope, a new set of stakeholders have arrived at the financial services table, each of which has a different viewpoint, mission, skill set, and terminology. Domain-specific languages (DSLs) tailored to specific problems have proven to be effective in financial systems in the past, drawing on advancements in functional languages, ontology languages, and business process and rule modeling languages. However, with the rapid increase in the complexity of regulatory regimes, ad-hoc languages are becoming less effective; thus the principled design, evolution, and maintenance of financial DSLs are more important than ever before.

The DSLFIN workshop will bring together software architects, engineers, and researchers in the financial services domain who are working with domain-specific languages (DSLs) and with frameworks for creating and managing DSLs. Additionally, we encourage attendance from individuals without financial experience to learn more about the financial domain and opportunities to apply their ideas in the financial domain.

A listing of financial DSLs, papers, and presentations is available on the workshop website at http://www.dslfin.org.

News