MOCS Track

Model-based Development, Components and Services (MOCS)
Technical Track

Two of the major current trends in software engineering are: the increasing emphasis on model-driven engineering, and the increasingly central role of component-based and service-based paradigms in tackling scale and complexity in the development of ever larger and more complex software systems. It can be argued that these two trends can potentially combine the best of both the process-centric and the product-centric views of software engineering: process efficiency and product quality.

The idea advocated by model-based development is to start with models, and proceed to their implementation via a set of successive model transformations. The advantage of having models at every stage is that they are capable of capturing system and design concepts at different levels of abstraction, so that the transformations can show clearly how each model implements its parent model. Successive transformations thus provide a clear picture of how the final implementation is arrived at, and why it is correct. In addition, they also lend themselves to automation.

Component-based and service-based software engineering are development paradigms that aim to accelerate software development and to reduce costs by assembling systems from prefabricated software units (components and/or services). In these approaches, the development focus shifts from building monolithic systems from scratch, to assembling systems by identifying, selecting, adapting, and composing pre-existing third-party components and services. Furthermore, these paradigms also aim to tackle scale and complexity by using compositional approaches to both system development and system V & V.

In practice, to achieve model-based system development using components and services is a challenging task. Whereas model-based development is essentially top-down, component- and service-based development is essentially bottom-up. To combine these paradigms require new methods and tools.   The main goal of this track is to provide a forum for researchers and practitioners on model-based development, component-based and service-based software engineering, where they can meet, discuss, exchange and disseminate ideas, problems and results, identify key issues and explore possible solutions and future work.

We encourage submissions of a theoretical nature as well as experience reports, from academia and especially from industry.

Suggested areas of interest include, but are not restricted to:

 Model-based development:

  • Model transformation and reengineering.
  • Model-based validation and verification.
  • Models in the system engineering process.
  • Model evolution and maintenance.
  • Quality assurance for models.
  • Tool support for model-based development.

Component-based and Service-based software engineering:

  • Component-based and service-oriented architectures;
  • Compositional reasoning techniques for component-based and service-oriented systems;
  • Quality of components and services;
  • Generation, adaptation and deployment of component-based and service-oriented systems;
  • Specification, verification, testing and checking of component-based and service-oriented systems;
  • Measurement, prediction and monitoring of component-based, distributed and service-oriented systems;
  • Runtime support for components;

Model-, Component- and Service-based development:

  • Integrated tool chains and methods for modeling and building component-based services;
  • Reverse engineering, modelling, and componentization of legacy code;
  • Models, components and services for dependable, real-time and embedded systems;
  • Case studies and experience reports.

SEAA 2015 – MOCS Track – Call for Papers in PDF format (updated).

Submission of Papers:

Track Organizers:

MOCS_kung-kiu Kung-Kiu Lau, The University of Manchester, UK
MOCS_tomas Tomas Bures, Charles University in Prague, Czech Republic

Program Commitee 

  • Eduardo Almeida, CESAR – Recife Center for Advanced Studies and Systems, Brazil
  • Olivier Barais, IRISA / INRIA / Univ Rennes1, France
  • Steffen Becker, TU Chemnitz, Germany
  • Nikola Benes, Masaryk University, Czech Republic
  • Premek Brada, Department of Computer Science and Engineering, University of West Bohemia, Czech Republic
  • Radu Calinescu, University of York, UK
  • Jan Carlson, Malardalen University, Sweden
  • Ivica Crnkovic, Chalmers University of Technology, Sweden
  • Guglielmo De Angelis, ISTI-CNR, Italy
  • Mathias Fritzsche, SAP Research CEC Belfast, Ireland
  • Kiev Gama, UFPE, Brazil
  • Petr Hnetynka, Charles University, Czech Republic
  • Darko Huljenic, Ericsson Nikola Tesla d.d., Croatia
  • Sylvia Ilieva, Sofia University, Bulgaria
  • Panagiotis Katsaros, Aristotle University of Thessaloniki, Greece
  • Anne Koziolek, University of Karlsruhe, Germany
  • Christian Kreiner, Graz University of Technology, Austria
  • Ignac Lovrek, University of Zagreb, Croatia
  • Moreno Marzolla, Università di Bologna, Italy
  • Raffaela Mirandola, Politecnico di Milano, Italy
  • Azlin Nordin, International Islamic University Malaysia, Malaysia
  • Xin Peng, Fudan University, China
  • Jennifer Pérez, Technical University of Madrid, Spain
  • Dorina Petriu, Carleton University, Canada
  • Alfonso Pierantonio, University of L’Aquila, Italy
  • Antonino Sabetta, SAP Research Sophia-Antipolis, France
  • Patrizia Scandurra, DIIMM – University of Bergamo, Italy
  • Lionel Seinturier, Univ. Lille 1 – LIFL & INRIA ADAM, France
  • Bedir Tekinerdogan, Bilkent University, Turkey
  • Martin Törgren Royal Institute of Technology, Sweden
  • Perla Velasco Elizondo, CIMAT, Mexico