The 9th IEEE Workshop on Model-Based Development for Computer-Based Systems


Colocated with IEEE ECBS

Motivation

The needs for tool support or automation, for a comprehensive quality management and for mastering the complexity of computer-based systems constitute the main driving forces for model-based design approaches. An explicit modelling of design-related information is required to fulfill these needs. While structural and behavioural aspects can already be expressed adequately, the "soft" information for example on the semantics of functionality or on design decisions requires more research effort. The existing approaches and techniques do not yet satisfy all needs of practical application of model-based design. Current approaches on model-based development often focus on the solution-domain of the development and its technicalities, ignoring the issue of also covering the problem-domain aspects including implicit assumptions or rationales. Adequate modelling techniques must

  • support a linkage between models of different views and levels of abstraction,
  • cover all phases of system development and evolution such as goal definition, requirements specification, architectural design and system operation,
  • express the rationale of design decisions and its relation to soft goals,
  • support specific application domains (e.g., automation, business processes, web services),
  • enable to analyse the impact of changes on the model as a whole for evolution support,
  • ensure aspects like understandability, maintainability and evolvability,
  • to provide a practical application of model-based development.

Focus

This workshop focuses on the scientific and practical aspects of model-based development (models, processes, methods, and tools) for supporting the construction of computer based systems. Topics of the workshop include:

  • Representation of domain knowledge in models
  • Modelling design knowledge
  • Model-based validation and verification
  • Model evolution and maintenance
  • Model transformation and re-engineering
  • Models in the system engineering process
  • Quality assurance for models
  • Integration models of different phases of system development and evolution such as goal definition, requirements specification, architectural design and system operation,
  • Tool support for model-based development
  • Case studies and application of model-based development
  • Experiences of using models and relating models with their applications in the real-world development process.

Workshop Format

To enable a maximum of interaction and discussion between the participants, the workshop will be held in two parts. First, selected papers are presented including a short discussion after each presentation. In the second part, short position statements are given, as introduction to a panel discussion by the speakers, to initiate a workshop discussion with all attendees.

Submission Categories

To support the workshop character, three classes of contributions are invited:

  • Full papers as regular technical contributions (6 to max 10 pages, IEEE Computer Society Format) to be reviewed in a peer reviewing process by at least three reviewers
  • Industrial research and experience reports (4 to max 10 pages, IEEE Computer Society Format) to be reviewed in a peer reviewing process by at least three reviewers
  • Position papers as short problem statements, research questions, or experience reports may be 2 to 10 pages in IEEE Computer Society format. These papers may be accepted if they contribute to the goals of the workshop, especially if they inspire the workshop discussions. Accepted position papers will be published on the workshop website.

High quality full papers and industrial research and experience reports may be published in the IEEE Explore Digital Library, pending agreement by the program committee. Paper submitted in these categories which are not accepted by the PC may be encouraged as position papers after review.

Originality of Submissions

All submissions must be the original work of the authors, and may not be concurrently submitted to a conference or journal. The program committee will have access to the database of papers submitted to IEEE ECBS 2012, and authors who submit to this workshop should take into account the concerns of reviewers when considering a submission to the MBD 2012 workshop.

Important Dates (draft: pending approval)

  • 6 February: Abstracts due
  • 10 February: Full papers due
  • 20 February: Author notification
  • 20 March: Revisions due

Note: All dates are 2012, all times are 24:00 in the latest time zone (GMT -11:00).