---
_id: '20912'
abstract:
- lang: eng
  text: <jats:p>Mechatronics is the close interaction of mechanics, electronics, control
    engineering and software engineering. The increasing complexity of mechatronic
    systems results in a challenging development process and particularly requires
    a consistent comprehension of the tasks between all the engineers involved. Especially
    during the early design phases, the communication and cooperation between the
    mechanical, electrical, control and software engineers is necessary to establish
    a basis for efficient and effective product development. The approach of Model-Based
    Systems Engineering focuses on this aspect by means of an abstract but superordinate
    system model. It enables a holistic view of the system. The system model can be
    specified using the Systems Modeling Language (SysML). The language allows many
    degrees of freedom to specify a fact, bearing in mind that different system architects
    can specify the same fact in different ways. This leads to system models that
    can be interpreted in many ways. Thus, these models are hard to consistently compare
    and interpret, resulting in communication issues. In order to tackle this problem,
    we present a concept that uses modeling rules supporting model comparability.
    We formalize them by means of checks implemented in the programming language Java
    and the Object Constraint Language (OCL) in order to automatically verify the
    system model’s compliance with these rules.</jats:p>
author:
- first_name: Lydia
  full_name: Kaiser, Lydia
  last_name: Kaiser
- first_name: Roman
  full_name: Dumitrescu, Roman
  last_name: Dumitrescu
- first_name: Jörg
  full_name: Holtmann, Jörg
  id: '3875'
  last_name: Holtmann
  orcid: 0000-0001-6141-4571
- first_name: Matthias
  full_name: Meyer, Matthias
  id: '683'
  last_name: Meyer
citation:
  ama: 'Kaiser L, Dumitrescu R, Holtmann J, Meyer M. Automatic Verification of Modeling
    Rules in Systems Engineering for Mechatronic Systems. In: <i>Volume 2B: 33rd Computers
    and Information in Engineering Conference</i>. ; 2014. doi:<a href="https://doi.org/10.1115/detc2013-12330">10.1115/detc2013-12330</a>'
  apa: 'Kaiser, L., Dumitrescu, R., Holtmann, J., &#38; Meyer, M. (2014). Automatic
    Verification of Modeling Rules in Systems Engineering for Mechatronic Systems.
    In <i>Volume 2B: 33rd Computers and Information in Engineering Conference</i>.
    <a href="https://doi.org/10.1115/detc2013-12330">https://doi.org/10.1115/detc2013-12330</a>'
  bibtex: '@inproceedings{Kaiser_Dumitrescu_Holtmann_Meyer_2014, title={Automatic
    Verification of Modeling Rules in Systems Engineering for Mechatronic Systems},
    DOI={<a href="https://doi.org/10.1115/detc2013-12330">10.1115/detc2013-12330</a>},
    booktitle={Volume 2B: 33rd Computers and Information in Engineering Conference},
    author={Kaiser, Lydia and Dumitrescu, Roman and Holtmann, Jörg and Meyer, Matthias},
    year={2014} }'
  chicago: 'Kaiser, Lydia, Roman Dumitrescu, Jörg Holtmann, and Matthias Meyer. “Automatic
    Verification of Modeling Rules in Systems Engineering for Mechatronic Systems.”
    In <i>Volume 2B: 33rd Computers and Information in Engineering Conference</i>,
    2014. <a href="https://doi.org/10.1115/detc2013-12330">https://doi.org/10.1115/detc2013-12330</a>.'
  ieee: 'L. Kaiser, R. Dumitrescu, J. Holtmann, and M. Meyer, “Automatic Verification
    of Modeling Rules in Systems Engineering for Mechatronic Systems,” in <i>Volume
    2B: 33rd Computers and Information in Engineering Conference</i>, 2014.'
  mla: 'Kaiser, Lydia, et al. “Automatic Verification of Modeling Rules in Systems
    Engineering for Mechatronic Systems.” <i>Volume 2B: 33rd Computers and Information
    in Engineering Conference</i>, 2014, doi:<a href="https://doi.org/10.1115/detc2013-12330">10.1115/detc2013-12330</a>.'
  short: 'L. Kaiser, R. Dumitrescu, J. Holtmann, M. Meyer, in: Volume 2B: 33rd Computers
    and Information in Engineering Conference, 2014.'
date_created: 2021-01-12T14:19:33Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '241'
doi: 10.1115/detc2013-12330
language:
- iso: eng
publication: 'Volume 2B: 33rd Computers and Information in Engineering Conference'
publication_identifier:
  isbn:
  - '9780791855867'
publication_status: published
status: public
title: Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic
  Systems
type: conference
user_id: '15249'
year: '2014'
...