Component and Connector Views in Practice: An Experience Report

Vincent Bertram, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael Von Wenckstern

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Component and Connector (C&C) view specifications, with corresponding verification and synthesis techniques, have been recently suggested as a means for formal yet intuitive structural specification of C&C models. In this paper we report on our recent experience in applying C&C views in industrial practice, where we aimed to answer questions such as: could C&C views be practically used in industry, what are challenges of systems engineers that the use of C&C views could address, and what are some of the technical obstacles in bringing C&C views to the hands of systems engineers. We describe our experience in detail and discuss a list of lessons we have learned, including, e.g., a missing abstraction concept in C&C models and C&C views that we have identified and added to the views language and tool, that engineers can create graphical C&C views quite easily, and how verification algorithms scale on real-size industry models. Furthermore, we report on the non-negligible technical effort needed to translate Simulink block diagrams to C&C models. We make all materials mentioned and used in our experience electronically available for inspection and further research.

Original languageEnglish
Title of host publicationProceedings - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages167-177
Number of pages11
ISBN (Electronic)9781538634929
DOIs
StatePublished - 7 Nov 2017
Event20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017 - Austin, United States
Duration: 17 Sep 201722 Sep 2017

Publication series

NameProceedings - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017

Conference

Conference20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017
Country/TerritoryUnited States
CityAustin
Period17/09/1722/09/17

Keywords

  • Component and connector models
  • Industry case study
  • Simulink

Fingerprint

Dive into the research topics of 'Component and Connector Views in Practice: An Experience Report'. Together they form a unique fingerprint.

Cite this