--- _id: '21326' author: - first_name: Jörg full_name: Holtmann, Jörg id: '3875' last_name: Holtmann orcid: 0000-0001-6141-4571 - first_name: Jan-Phillipp full_name: Steghöfer, Jan-Phillipp last_name: Steghöfer - first_name: Michael full_name: Rath, Michael last_name: Rath - first_name: David full_name: Schmelter, David id: '40982' last_name: Schmelter orcid: 0000-0001-7787-5380 citation: ama: 'Holtmann J, Steghöfer J-P, Rath M, Schmelter D. Cutting through the Jungle: Disambiguating Model-based Traceability Terminology (Extended Abstract). In: Koziolek A, Schaefer I, Seidl C, eds. Software Engineering 2021. Vol P-310. Lecture Notes in Informatics (LNI). ; 2021:59-60. doi:10.18420/SE2021_18' apa: 'Holtmann, J., Steghöfer, J.-P., Rath, M., & Schmelter, D. (2021). Cutting through the Jungle: Disambiguating Model-based Traceability Terminology (Extended Abstract). In A. Koziolek, I. Schaefer, & C. Seidl (Eds.), Software Engineering 2021 (Vol. P-310, pp. 59–60). Remote / Braunschweig, Germany . https://doi.org/10.18420/SE2021_18' bibtex: '@inproceedings{Holtmann_Steghöfer_Rath_Schmelter_2021, series={Lecture Notes in Informatics (LNI)}, title={Cutting through the Jungle: Disambiguating Model-based Traceability Terminology (Extended Abstract)}, volume={P-310}, DOI={10.18420/SE2021_18}, booktitle={Software Engineering 2021}, author={Holtmann, Jörg and Steghöfer, Jan-Phillipp and Rath, Michael and Schmelter, David}, editor={Koziolek, Anne and Schaefer, Ina and Seidl, ChristophEditors}, year={2021}, pages={59–60}, collection={Lecture Notes in Informatics (LNI)} }' chicago: 'Holtmann, Jörg, Jan-Phillipp Steghöfer, Michael Rath, and David Schmelter. “Cutting through the Jungle: Disambiguating Model-Based Traceability Terminology (Extended Abstract).” In Software Engineering 2021, edited by Anne Koziolek, Ina Schaefer, and Christoph Seidl, P-310:59–60. Lecture Notes in Informatics (LNI), 2021. https://doi.org/10.18420/SE2021_18.' ieee: 'J. Holtmann, J.-P. Steghöfer, M. Rath, and D. Schmelter, “Cutting through the Jungle: Disambiguating Model-based Traceability Terminology (Extended Abstract),” in Software Engineering 2021, Remote / Braunschweig, Germany , 2021, vol. P-310, pp. 59–60.' mla: 'Holtmann, Jörg, et al. “Cutting through the Jungle: Disambiguating Model-Based Traceability Terminology (Extended Abstract).” Software Engineering 2021, edited by Anne Koziolek et al., vol. P-310, 2021, pp. 59–60, doi:10.18420/SE2021_18.' short: 'J. Holtmann, J.-P. Steghöfer, M. Rath, D. Schmelter, in: A. Koziolek, I. Schaefer, C. Seidl (Eds.), Software Engineering 2021, 2021, pp. 59–60.' conference: end_date: 2021-02-26 location: 'Remote / Braunschweig, Germany ' name: Software Engineering 2021 start_date: 2021-02-22 date_created: 2021-03-01T09:36:39Z date_updated: 2022-01-06T06:54:54Z ddc: - '000' department: - _id: '241' - _id: '662' doi: 10.18420/SE2021_18 editor: - first_name: Anne full_name: Koziolek, Anne last_name: Koziolek - first_name: Ina full_name: Schaefer, Ina last_name: Schaefer - first_name: Christoph full_name: Seidl, Christoph last_name: Seidl file: - access_level: closed content_type: application/pdf creator: chrome date_created: 2021-03-01T09:34:38Z date_updated: 2021-03-01T09:34:38Z file_id: '21329' file_name: HSRS21.pdf file_size: 148240 relation: main_file success: 1 file_date_updated: 2021-03-01T09:34:38Z has_accepted_license: '1' language: - iso: eng page: 59-60 publication: Software Engineering 2021 publication_identifier: eisbn: - 978-3-88579-704-3 series_title: Lecture Notes in Informatics (LNI) status: public title: 'Cutting through the Jungle: Disambiguating Model-based Traceability Terminology (Extended Abstract)' type: conference user_id: '40982' volume: P-310 year: '2021' ... --- _id: '29715' author: - first_name: Jan-Philipp full_name: Steghofer, Jan-Philipp last_name: Steghofer - first_name: Bjorn full_name: Koopmann, Bjorn last_name: Koopmann - first_name: Jan full_name: Steffen Becker, Jan last_name: Steffen Becker - first_name: Ingo full_name: Stierand, Ingo last_name: Stierand - first_name: Marc full_name: Zeller, Marc last_name: Zeller - first_name: Maria full_name: Bonner, Maria last_name: Bonner - first_name: David full_name: Schmelter, David id: '40982' last_name: Schmelter orcid: 0000-0001-7787-5380 - first_name: Salome full_name: Maro, Salome last_name: Maro citation: ama: 'Steghofer J-P, Koopmann B, Steffen Becker J, et al. The MobSTr Dataset – An Exemplar for Traceability and Model-based Safety Assessment. In: 2021 IEEE 29th International Requirements Engineering Conference (RE). IEEE; 2021. doi:10.1109/re51729.2021.00062' apa: Steghofer, J.-P., Koopmann, B., Steffen Becker, J., Stierand, I., Zeller, M., Bonner, M., Schmelter, D., & Maro, S. (2021). The MobSTr Dataset – An Exemplar for Traceability and Model-based Safety Assessment. 2021 IEEE 29th International Requirements Engineering Conference (RE). https://doi.org/10.1109/re51729.2021.00062 bibtex: '@inproceedings{Steghofer_Koopmann_Steffen Becker_Stierand_Zeller_Bonner_Schmelter_Maro_2021, title={The MobSTr Dataset – An Exemplar for Traceability and Model-based Safety Assessment}, DOI={10.1109/re51729.2021.00062}, booktitle={2021 IEEE 29th International Requirements Engineering Conference (RE)}, publisher={IEEE}, author={Steghofer, Jan-Philipp and Koopmann, Bjorn and Steffen Becker, Jan and Stierand, Ingo and Zeller, Marc and Bonner, Maria and Schmelter, David and Maro, Salome}, year={2021} }' chicago: Steghofer, Jan-Philipp, Bjorn Koopmann, Jan Steffen Becker, Ingo Stierand, Marc Zeller, Maria Bonner, David Schmelter, and Salome Maro. “The MobSTr Dataset – An Exemplar for Traceability and Model-Based Safety Assessment.” In 2021 IEEE 29th International Requirements Engineering Conference (RE). IEEE, 2021. https://doi.org/10.1109/re51729.2021.00062. ieee: 'J.-P. Steghofer et al., “The MobSTr Dataset – An Exemplar for Traceability and Model-based Safety Assessment,” 2021, doi: 10.1109/re51729.2021.00062.' mla: Steghofer, Jan-Philipp, et al. “The MobSTr Dataset – An Exemplar for Traceability and Model-Based Safety Assessment.” 2021 IEEE 29th International Requirements Engineering Conference (RE), IEEE, 2021, doi:10.1109/re51729.2021.00062. short: 'J.-P. Steghofer, B. Koopmann, J. Steffen Becker, I. Stierand, M. Zeller, M. Bonner, D. Schmelter, S. Maro, in: 2021 IEEE 29th International Requirements Engineering Conference (RE), IEEE, 2021.' date_created: 2022-02-01T10:21:54Z date_updated: 2022-02-01T10:24:24Z department: - _id: '241' - _id: '662' doi: 10.1109/re51729.2021.00062 language: - iso: eng publication: 2021 IEEE 29th International Requirements Engineering Conference (RE) publication_status: published publisher: IEEE status: public title: The MobSTr Dataset – An Exemplar for Traceability and Model-based Safety Assessment type: conference user_id: '40982' year: '2021' ... --- _id: '20516' abstract: - lang: eng text: Traceability, a classic requirements engineering topic, is increasingly used in the context of model-based engineering. However, researchers and practitioners lack a concise terminology to discuss aspects of requirements traceability in situations in which engineers heavily rely on models and model-based engineering. While others have previously surveyed the domain, no one has so far provided a clear, unambiguous set of terms that can be used to discuss traceability in such a context. We therefore set out to cut a path through the jungle of terminology for model-based traceability, ground it in established terminology from requirements engineering, and derive an unambiguous set of relevant terms. We also map the terminology used in existing primary and secondary studies to our taxonomy to show differences and commonalities. The contribution of this paper is thus a terminology for model-based traceability that allows requirements engineers and engineers working with models to unambiguously discuss their joint traceability efforts. author: - first_name: Jörg full_name: Holtmann, Jörg id: '3875' last_name: Holtmann orcid: 0000-0001-6141-4571 - first_name: Jan-Philipp full_name: Steghofer, Jan-Philipp last_name: Steghofer - first_name: Michael full_name: Rath, Michael last_name: Rath - first_name: David full_name: Schmelter, David id: '40982' last_name: Schmelter orcid: 0000-0001-7787-5380 citation: ama: 'Holtmann J, Steghofer J-P, Rath M, Schmelter D. Cutting through the Jungle: Disambiguating Model-based Traceability Terminology. In: 2020 IEEE 28th International Requirements Engineering Conference (RE). IEEE; 2020. doi:10.1109/re48521.2020.00014' apa: 'Holtmann, J., Steghofer, J.-P., Rath, M., & Schmelter, D. (2020). Cutting through the Jungle: Disambiguating Model-based Traceability Terminology. In 2020 IEEE 28th International Requirements Engineering Conference (RE). IEEE. https://doi.org/10.1109/re48521.2020.00014' bibtex: '@inproceedings{Holtmann_Steghofer_Rath_Schmelter_2020, title={Cutting through the Jungle: Disambiguating Model-based Traceability Terminology}, DOI={10.1109/re48521.2020.00014}, booktitle={2020 IEEE 28th International Requirements Engineering Conference (RE)}, publisher={IEEE}, author={Holtmann, Jörg and Steghofer, Jan-Philipp and Rath, Michael and Schmelter, David}, year={2020} }' chicago: 'Holtmann, Jörg, Jan-Philipp Steghofer, Michael Rath, and David Schmelter. “Cutting through the Jungle: Disambiguating Model-Based Traceability Terminology.” In 2020 IEEE 28th International Requirements Engineering Conference (RE). IEEE, 2020. https://doi.org/10.1109/re48521.2020.00014.' ieee: 'J. Holtmann, J.-P. Steghofer, M. Rath, and D. Schmelter, “Cutting through the Jungle: Disambiguating Model-based Traceability Terminology,” in 2020 IEEE 28th International Requirements Engineering Conference (RE), 2020.' mla: 'Holtmann, Jörg, et al. “Cutting through the Jungle: Disambiguating Model-Based Traceability Terminology.” 2020 IEEE 28th International Requirements Engineering Conference (RE), IEEE, 2020, doi:10.1109/re48521.2020.00014.' short: 'J. Holtmann, J.-P. Steghofer, M. Rath, D. Schmelter, in: 2020 IEEE 28th International Requirements Engineering Conference (RE), IEEE, 2020.' date_created: 2020-11-26T10:14:24Z date_updated: 2022-01-06T06:54:29Z department: - _id: '241' - _id: '662' doi: 10.1109/re48521.2020.00014 language: - iso: eng publication: 2020 IEEE 28th International Requirements Engineering Conference (RE) publication_identifier: isbn: - '9781728174389' publication_status: published publisher: IEEE status: public title: 'Cutting through the Jungle: Disambiguating Model-based Traceability Terminology' type: conference user_id: '40982' year: '2020' ... --- _id: '20757' author: - first_name: Masud full_name: Fazal-Baqaie, Masud last_name: Fazal-Baqaie - first_name: Jan-Niclas full_name: Strüwer, Jan-Niclas last_name: Strüwer - first_name: David full_name: Schmelter, David id: '40982' last_name: Schmelter orcid: 0000-0001-7787-5380 - first_name: Stefan full_name: Dziwok, Stefan id: '3901' last_name: Dziwok orcid: http://orcid.org/0000-0002-8679-6673 citation: ama: 'Fazal-Baqaie M, Strüwer J-N, Schmelter D, Dziwok S. Coaching on the Job bei Unternehmen des Maschinen- und Anlagenbaus - Wissenslücken schließen zur Weiterpflege modernisierter IT-Anwendungen. In: Mikusz M, ed. Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019). Lecture Notes in Informatics (LNI); 2019.' apa: Fazal-Baqaie, M., Strüwer, J.-N., Schmelter, D., & Dziwok, S. (2019). Coaching on the Job bei Unternehmen des Maschinen- und Anlagenbaus - Wissenslücken schließen zur Weiterpflege modernisierter IT-Anwendungen. In M. Mikusz (Ed.), Projektmanagement und Vorgehensmodelle 2019 (PVM 2019). Lecture Notes in Informatics (LNI). bibtex: '@inproceedings{Fazal-Baqaie_Strüwer_Schmelter_Dziwok_2019, title={Coaching on the Job bei Unternehmen des Maschinen- und Anlagenbaus - Wissenslücken schließen zur Weiterpflege modernisierter IT-Anwendungen}, booktitle={Projektmanagement und Vorgehensmodelle 2019 (PVM 2019)}, publisher={Lecture Notes in Informatics (LNI)}, author={Fazal-Baqaie, Masud and Strüwer, Jan-Niclas and Schmelter, David and Dziwok, Stefan}, editor={Mikusz, Martin}, year={2019} }' chicago: Fazal-Baqaie, Masud, Jan-Niclas Strüwer, David Schmelter, and Stefan Dziwok. “Coaching on the Job Bei Unternehmen Des Maschinen- Und Anlagenbaus - Wissenslücken Schließen Zur Weiterpflege Modernisierter IT-Anwendungen.” In Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019), edited by Martin Mikusz. Lecture Notes in Informatics (LNI), 2019. ieee: M. Fazal-Baqaie, J.-N. Strüwer, D. Schmelter, and S. Dziwok, “Coaching on the Job bei Unternehmen des Maschinen- und Anlagenbaus - Wissenslücken schließen zur Weiterpflege modernisierter IT-Anwendungen,” in Projektmanagement und Vorgehensmodelle 2019 (PVM 2019), 2019. mla: Fazal-Baqaie, Masud, et al. “Coaching on the Job Bei Unternehmen Des Maschinen- Und Anlagenbaus - Wissenslücken Schließen Zur Weiterpflege Modernisierter IT-Anwendungen.” Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019), edited by Martin Mikusz, Lecture Notes in Informatics (LNI), 2019. short: 'M. Fazal-Baqaie, J.-N. Strüwer, D. Schmelter, S. Dziwok, in: M. Mikusz (Ed.), Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019), Lecture Notes in Informatics (LNI), 2019.' date_created: 2020-12-16T13:51:04Z date_updated: 2022-01-06T06:54:36Z department: - _id: '241' - _id: '662' editor: - first_name: Martin full_name: Mikusz, Martin last_name: Mikusz language: - iso: eng publication: Projektmanagement und Vorgehensmodelle 2019 (PVM 2019) publisher: Lecture Notes in Informatics (LNI) status: public title: Coaching on the Job bei Unternehmen des Maschinen- und Anlagenbaus - Wissenslücken schließen zur Weiterpflege modernisierter IT-Anwendungen type: conference user_id: '3901' year: '2019' ... --- _id: '20785' abstract: - lang: eng text: "Cyber-physical Systems are distributed, embedded systems that interact with their physical environment. Typically, these systems consist of several Electronic Control Units using multiple processing cores for the execution. Many systems are applied in safety-critical contexts and have to fulfill hard real-time requirements. The model-driven engineering paradigm enables system developers to consider all requirements in a systematical manner. In the software design phase, they prove the fulfillment of the requirements using model checking. When deploying the software to the executing platform, one important task is to ensure that the runtime scheduling does not violate the verified requirements by neglecting the model checking assumptions. Current model-driven approaches do not consider the problem of deriving feasible execution schedules for embedded multi-core platforms respecting hard real-time requirements. This paper extends the previous work on providing an approach for a semi-automatic synthesis of behavioral models into a deterministic real-time scheduling. We add an approach for the partitioning and mapping development tasks. This extended approach enables the utilization of parallel resources within a single ECU considering the verification assumptions by extending the open tool platform App4mc. We evaluate our approach using an example of a distributed automotive system with hard real-time requirements specified with the MechatronicUML method.\r\n" author: - first_name: Johannes full_name: Geismann, Johannes id: '20063' last_name: Geismann orcid: https://orcid.org/0000-0003-2015-2047 - first_name: Robert full_name: Höttger, Robert last_name: Höttger - first_name: Lukas full_name: Krawczyk, Lukas last_name: Krawczyk - first_name: Uwe full_name: Pohlmann, Uwe last_name: Pohlmann - first_name: David full_name: Schmelter, David id: '40982' last_name: Schmelter orcid: 0000-0001-7787-5380 citation: ama: 'Geismann J, Höttger R, Krawczyk L, Pohlmann U, Schmelter D. Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems. In: Pires LF, Hammoudi S, Selic B, eds. Model-Driven Engineering and Software Development. Vol 1. Springer International Publishing; 2018:72-93. doi:10.1007/978-3-319-94764-8_4' apa: Geismann, J., Höttger, R., Krawczyk, L., Pohlmann, U., & Schmelter, D. (2018). Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems. In L. F. Pires, S. Hammoudi, & B. Selic (Eds.), Model-Driven Engineering and Software Development (Vol. 1, pp. 72–93). Springer International Publishing. https://doi.org/10.1007/978-3-319-94764-8_4 bibtex: '@inproceedings{Geismann_Höttger_Krawczyk_Pohlmann_Schmelter_2018, place={Cham}, title={Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems}, volume={1}, DOI={10.1007/978-3-319-94764-8_4}, booktitle={Model-Driven Engineering and Software Development}, publisher={Springer International Publishing}, author={Geismann, Johannes and Höttger, Robert and Krawczyk, Lukas and Pohlmann, Uwe and Schmelter, David}, editor={Pires, Luís Ferreira and Hammoudi, Slimane and Selic, Bran}, year={2018}, pages={72–93} }' chicago: 'Geismann, Johannes, Robert Höttger, Lukas Krawczyk, Uwe Pohlmann, and David Schmelter. “Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-Core Systems.” In Model-Driven Engineering and Software Development, edited by Luís Ferreira Pires, Slimane Hammoudi, and Bran Selic, 1:72–93. Cham: Springer International Publishing, 2018. https://doi.org/10.1007/978-3-319-94764-8_4.' ieee: 'J. Geismann, R. Höttger, L. Krawczyk, U. Pohlmann, and D. Schmelter, “Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems,” in Model-Driven Engineering and Software Development, 2018, vol. 1, pp. 72–93, doi: 10.1007/978-3-319-94764-8_4.' mla: Geismann, Johannes, et al. “Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-Core Systems.” Model-Driven Engineering and Software Development, edited by Luís Ferreira Pires et al., vol. 1, Springer International Publishing, 2018, pp. 72–93, doi:10.1007/978-3-319-94764-8_4. short: 'J. Geismann, R. Höttger, L. Krawczyk, U. Pohlmann, D. Schmelter, in: L.F. Pires, S. Hammoudi, B. Selic (Eds.), Model-Driven Engineering and Software Development, Springer International Publishing, Cham, 2018, pp. 72–93.' date_created: 2020-12-17T12:07:52Z date_updated: 2022-01-06T06:54:38Z department: - _id: '76' - _id: '241' - _id: '662' doi: 10.1007/978-3-319-94764-8_4 editor: - first_name: Luís Ferreira full_name: Pires, Luís Ferreira last_name: Pires - first_name: Slimane full_name: Hammoudi, Slimane last_name: Hammoudi - first_name: Bran full_name: Selic, Bran last_name: Selic intvolume: ' 1' language: - iso: eng page: 72-93 place: Cham publication: Model-Driven Engineering and Software Development publisher: Springer International Publishing status: public title: Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems type: conference user_id: '5786' volume: 1 year: '2018' ... --- _id: '20786' abstract: - lang: eng text: Distributed, software-intensive systems such as automotive electronic control units have to handle various situations employing message-based coordination. The growing complexity of such systems results in an increasing difficulty to achieve a high quality of the systems' requirements specifications. Scenario-based requirements engineering addresses the message-based coordination of such systems and enables, if underpinned with formal modeling languages, automatic analyses for ensuring the quality of requirements specifications. However, formal requirements modeling languages require high expertise of the requirements engineers and many manual iterations until specifications reach high quality. Patterns provide a constructive means for assembling high-quality solutions by applying reusable and established building blocks. Thus, they also gained momentum in requirements documentation. In order to support the requirements engineers in the systematic conception of formal, scenario-based requirements specification models, we hence introduce in this paper a requirement pattern catalog for a requirements modeling language. We illustrate and discuss the application of the requirement patterns with an example of requirements for an automotive electronic control unit. author: - first_name: Markus full_name: Fockel, Markus id: '8472' last_name: Fockel orcid: 0000-0002-1269-0702 - first_name: Jörg full_name: Holtmann, Jörg id: '3875' last_name: Holtmann orcid: 0000-0001-6141-4571 - first_name: Thorsten full_name: Koch, Thorsten id: '13616' last_name: Koch - first_name: David full_name: Schmelter, David id: '40982' last_name: Schmelter orcid: 0000-0001-7787-5380 citation: ama: 'Fockel M, Holtmann J, Koch T, Schmelter D. Formal, Model- and Scenario-based Requirement Patterns. In: 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018). ; 2018.' apa: Fockel, M., Holtmann, J., Koch, T., & Schmelter, D. (2018). Formal, Model- and Scenario-based Requirement Patterns. In 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018). bibtex: '@inproceedings{Fockel_Holtmann_Koch_Schmelter_2018, title={Formal, Model- and Scenario-based Requirement Patterns}, booktitle={6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018)}, author={Fockel, Markus and Holtmann, Jörg and Koch, Thorsten and Schmelter, David}, year={2018} }' chicago: Fockel, Markus, Jörg Holtmann, Thorsten Koch, and David Schmelter. “Formal, Model- and Scenario-Based Requirement Patterns.” In 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), 2018. ieee: M. Fockel, J. Holtmann, T. Koch, and D. Schmelter, “Formal, Model- and Scenario-based Requirement Patterns,” in 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), 2018. mla: Fockel, Markus, et al. “Formal, Model- and Scenario-Based Requirement Patterns.” 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), 2018. short: 'M. Fockel, J. Holtmann, T. Koch, D. Schmelter, in: 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), 2018.' date_created: 2020-12-17T12:12:20Z date_updated: 2022-01-06T06:54:38Z department: - _id: '241' - _id: '662' language: - iso: eng publication: 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018) status: public title: Formal, Model- and Scenario-based Requirement Patterns type: conference user_id: '8472' year: '2018' ... --- _id: '20787' author: - first_name: Benedict full_name: Wohlers, Benedict id: '53786' last_name: Wohlers - first_name: Stefan full_name: Dziwok, Stefan id: '3901' last_name: Dziwok orcid: http://orcid.org/0000-0002-8679-6673 - first_name: David full_name: Schmelter, David id: '40982' last_name: Schmelter orcid: 0000-0001-7787-5380 - first_name: Wadim full_name: Lorenz, Wadim last_name: Lorenz citation: ama: Wohlers B, Dziwok S, Schmelter D, Lorenz W. Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control. Advances in Manufacturing, Production Management and Process Control - AHFE 2018. 2018:398-410. apa: Wohlers, B., Dziwok, S., Schmelter, D., & Lorenz, W. (2018). Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control. Advances in Manufacturing, Production Management and Process Control - AHFE 2018, 398–410. bibtex: '@article{Wohlers_Dziwok_Schmelter_Lorenz_2018, title={Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control}, journal={Advances in Manufacturing, Production Management and Process Control - AHFE 2018}, author={Wohlers, Benedict and Dziwok, Stefan and Schmelter, David and Lorenz, Wadim}, year={2018}, pages={398–410} }' chicago: Wohlers, Benedict, Stefan Dziwok, David Schmelter, and Wadim Lorenz. “Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control.” Advances in Manufacturing, Production Management and Process Control - AHFE 2018, 2018, 398–410. ieee: B. Wohlers, S. Dziwok, D. Schmelter, and W. Lorenz, “Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control,” Advances in Manufacturing, Production Management and Process Control - AHFE 2018, pp. 398–410, 2018. mla: Wohlers, Benedict, et al. “Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control.” Advances in Manufacturing, Production Management and Process Control - AHFE 2018, 2018, pp. 398–410. short: B. Wohlers, S. Dziwok, D. Schmelter, W. Lorenz, Advances in Manufacturing, Production Management and Process Control - AHFE 2018 (2018) 398–410. date_created: 2020-12-17T12:13:56Z date_updated: 2022-01-06T06:54:38Z department: - _id: '241' - _id: '662' language: - iso: eng main_file_link: - url: https://link.springer.com/chapter/10.1007/978-3-319-94196-7_37 page: 398-410 publication: Advances in Manufacturing, Production Management and Process Control - AHFE 2018 status: public title: Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control type: journal_article user_id: '40982' year: '2018' ... --- _id: '27428' abstract: - lang: eng text: The development of software-intensive technical systems (e.g., within the automotive industry) involves several engineering disciplines like mechanical, electrical, control, and particularly software engineering. Model-based Systems Engineering (MBSE) coordinates these disciplines throughout the development by means of a discipline-spanning system model. An integral part of MBSE is the requirements engineering on the system level. However, these requirements need to be refined for the discipline-specific development to start, for example, into specific requirements for the embedded software. Since existing MBSE approaches lack support for this refinement step, we conceived a systematic and iterative transition from MBSE to model-based software requirements engineering, which we present in this talk. We automated the steps of the transition where possible, in order to avoid error-prone and time-consuming manual tasks. We illustrate the approach and perform a case study with an example of an automotive embedded system. author: - first_name: Jörg full_name: Holtmann, Jörg id: '3875' last_name: Holtmann orcid: 0000-0001-6141-4571 - first_name: Ruslan full_name: Bernijazov, Ruslan last_name: Bernijazov - first_name: Matthias full_name: Meyer, Matthias id: '683' last_name: Meyer - first_name: David full_name: Schmelter, David id: '40982' last_name: Schmelter orcid: 0000-0001-7787-5380 - first_name: Christian full_name: Tschirner, Christian last_name: Tschirner citation: ama: 'Holtmann J, Bernijazov R, Meyer M, Schmelter D, Tschirner C. Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis). In: Jürjens J, Schneider K, eds. Proceedings of the Software Engineering 2017, Lecture Notes in Informatics (LNI), Band P-267. Vol P-267. Lecture Notes in Informatics (LNI), Band P-267. Gesellschaft für Informatik; 2017:109-110.' apa: 'Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., & Tschirner, C. (2017). Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis). In J. Jürjens & K. Schneider (Eds.), Proceedings of the Software Engineering 2017, Lecture Notes in Informatics (LNI), Band P-267: Vol. P-267 (pp. 109–110). Gesellschaft für Informatik.' bibtex: '@inproceedings{Holtmann_Bernijazov_Meyer_Schmelter_Tschirner_2017, series={Lecture Notes in Informatics (LNI), Band P-267}, title={Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis)}, volume={P-267}, booktitle={Proceedings of the Software Engineering 2017, Lecture Notes in Informatics (LNI), Band P-267}, publisher={Gesellschaft für Informatik}, author={Holtmann, Jörg and Bernijazov, Ruslan and Meyer, Matthias and Schmelter, David and Tschirner, Christian}, editor={Jürjens, Jan and Schneider, Kurt}, year={2017}, pages={109–110}, collection={Lecture Notes in Informatics (LNI), Band P-267} }' chicago: Holtmann, Jörg, Ruslan Bernijazov, Matthias Meyer, David Schmelter, and Christian Tschirner. “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis).” In Proceedings of the Software Engineering 2017, Lecture Notes in Informatics (LNI), Band P-267, edited by Jan Jürjens and Kurt Schneider, P-267:109–10. Lecture Notes in Informatics (LNI), Band P-267. Gesellschaft für Informatik, 2017. ieee: J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, and C. Tschirner, “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis),” in Proceedings of the Software Engineering 2017, Lecture Notes in Informatics (LNI), Band P-267, 2017, vol. P-267, pp. 109–110. mla: Holtmann, Jörg, et al. “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis).” Proceedings of the Software Engineering 2017, Lecture Notes in Informatics (LNI), Band P-267, edited by Jan Jürjens and Kurt Schneider, vol. P-267, Gesellschaft für Informatik, 2017, pp. 109–10. short: 'J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, C. Tschirner, in: J. Jürjens, K. Schneider (Eds.), Proceedings of the Software Engineering 2017, Lecture Notes in Informatics (LNI), Band P-267, Gesellschaft für Informatik, 2017, pp. 109–110.' date_created: 2021-11-15T09:48:24Z date_updated: 2022-01-06T06:57:39Z department: - _id: '676' editor: - first_name: Jan full_name: Jürjens, Jan last_name: Jürjens - first_name: Kurt full_name: Schneider, Kurt last_name: Schneider language: - iso: eng page: 109-110 publication: Proceedings of the Software Engineering 2017, Lecture Notes in Informatics (LNI), Band P-267 publisher: Gesellschaft für Informatik series_title: Lecture Notes in Informatics (LNI), Band P-267 status: public title: Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis) type: conference user_id: '21240' volume: P-267 year: '2017' ... --- _id: '20793' abstract: - lang: eng text: Scenario-based requirements engineering addresses the message-based coordination of software-intensive systems and enables, if underpinned with formal languages, automatic requirements validation techniques for improving the quality of a requirements specification. One of such requirements engineering approaches bases on a recent visual Live Sequence Chart variant compliant to the Unified Modeling Language, so-called Modal Sequence Diagrams (MSDs). The usage of patterns is known to be constructive thanks to assembling solutions by means of reusable building blocks that are proven in practice, so that recurring problems do not need to be solved over and over again. Thus, patterns also gained momentum in the area of requirements documentation. In this technical report, we introduce a model- and scenario-based pattern catalog for MSD requirements. Our MSD requirement pattern catalog consolidates and unifies 86 requirement patterns from three well-known, practice-oriented requirement pattern catalogs, each covering different aspects. author: - first_name: Markus full_name: Fockel, Markus id: '8472' last_name: Fockel orcid: 0000-0002-1269-0702 - first_name: Jörg full_name: Holtmann, Jörg id: '3875' last_name: Holtmann orcid: 0000-0001-6141-4571 - first_name: Thorsten full_name: Koch, Thorsten id: '13616' last_name: Koch - first_name: David full_name: Schmelter, David id: '40982' last_name: Schmelter orcid: 0000-0001-7787-5380 citation: ama: Fockel M, Holtmann J, Koch T, Schmelter D. Model-Based Requirement Pattern Catalog. Paderborn, Germany; 2017. apa: Fockel, M., Holtmann, J., Koch, T., & Schmelter, D. (2017). Model-based Requirement Pattern Catalog. Paderborn, Germany. bibtex: '@book{Fockel_Holtmann_Koch_Schmelter_2017, place={Paderborn, Germany}, title={Model-based Requirement Pattern Catalog}, author={Fockel, Markus and Holtmann, Jörg and Koch, Thorsten and Schmelter, David}, year={2017} }' chicago: Fockel, Markus, Jörg Holtmann, Thorsten Koch, and David Schmelter. Model-Based Requirement Pattern Catalog. Paderborn, Germany, 2017. ieee: M. Fockel, J. Holtmann, T. Koch, and D. Schmelter, Model-based Requirement Pattern Catalog. Paderborn, Germany, 2017. mla: Fockel, Markus, et al. Model-Based Requirement Pattern Catalog. 2017. short: M. Fockel, J. Holtmann, T. Koch, D. Schmelter, Model-Based Requirement Pattern Catalog, Paderborn, Germany, 2017. date_created: 2020-12-17T13:31:36Z date_updated: 2022-01-06T06:54:38Z department: - _id: '241' - _id: '662' language: - iso: eng place: Paderborn, Germany report_number: tr-ri-17-354 status: public title: Model-based Requirement Pattern Catalog type: report user_id: '8472' year: '2017' ... --- _id: '20795' abstract: - lang: eng text: Distributed, software-intensive systems such as fully automated cars have to handle various situations employing message-based coordination. The growing complexity of such systems results in an increasing difficulty to achieve a high quality of the systems’ requirements specifications, particularly w.r.t. the realizability of the specifications. Scenario-based requirements engineering addresses the message-based coordination of such systems and enables, if underpinned with formal languages, automatic requirements validation techniques for proving the realizability of a requirements specification. However, formal requirements modeling languages require a deep knowledge of requirements engineers and typically require many manual iterations until they find a realizable specification. In order to support requirements engineers in the stepwise development of scenario-based requirements specifications, we propose to evolve a high-quality specification from a (presumably unrealizable) manually created specification employing an evolutionary algorithm. In this paper, we show our results on automatically evolving new assumptions on the systems’ environment behavior that guarantee a realizable requirements specification. Based on this contribution, we outline our research roadmap toward our long-term goal of automatically supporting requirements engineers in finding high-quality requirements specifications. author: - first_name: David full_name: Schmelter, David id: '40982' last_name: Schmelter orcid: 0000-0001-7787-5380 - first_name: Joel full_name: Greenyer, Joel last_name: Greenyer - first_name: Jörg full_name: Holtmann, Jörg id: '3875' last_name: Holtmann orcid: 0000-0001-6141-4571 citation: ama: 'Schmelter D, Greenyer J, Holtmann J. Toward Learning Realizable Scenario-based, Formal Requirements Specifications. In: 4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE). Lisbon, Portugal: IEEE; 2017. doi:10.1109/REW.2017.14' apa: 'Schmelter, D., Greenyer, J., & Holtmann, J. (2017). Toward Learning Realizable Scenario-based, Formal Requirements Specifications. In 4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE). Lisbon, Portugal: IEEE. https://doi.org/10.1109/REW.2017.14' bibtex: '@inproceedings{Schmelter_Greenyer_Holtmann_2017, place={Lisbon, Portugal}, title={Toward Learning Realizable Scenario-based, Formal Requirements Specifications}, DOI={10.1109/REW.2017.14}, booktitle={4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE)}, publisher={IEEE}, author={Schmelter, David and Greenyer, Joel and Holtmann, Jörg}, year={2017} }' chicago: 'Schmelter, David, Joel Greenyer, and Jörg Holtmann. “Toward Learning Realizable Scenario-Based, Formal Requirements Specifications.” In 4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE). Lisbon, Portugal: IEEE, 2017. https://doi.org/10.1109/REW.2017.14.' ieee: D. Schmelter, J. Greenyer, and J. Holtmann, “Toward Learning Realizable Scenario-based, Formal Requirements Specifications,” in 4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE), 2017. mla: Schmelter, David, et al. “Toward Learning Realizable Scenario-Based, Formal Requirements Specifications.” 4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE), IEEE, 2017, doi:10.1109/REW.2017.14. short: 'D. Schmelter, J. Greenyer, J. Holtmann, in: 4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE), IEEE, Lisbon, Portugal, 2017.' date_created: 2020-12-17T13:34:07Z date_updated: 2022-01-06T06:54:38Z department: - _id: '241' - _id: '662' doi: 10.1109/REW.2017.14 language: - iso: eng place: Lisbon, Portugal publication: 4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE) publisher: IEEE status: public title: Toward Learning Realizable Scenario-based, Formal Requirements Specifications type: conference user_id: '40982' year: '2017' ... --- _id: '20796' author: - first_name: Benedict full_name: Wohlers, Benedict id: '53786' last_name: Wohlers - first_name: Stefan full_name: Dziwok, Stefan id: '3901' last_name: Dziwok orcid: http://orcid.org/0000-0002-8679-6673 - first_name: Christian full_name: Bremer, Christian last_name: Bremer - first_name: David full_name: Schmelter, David id: '40982' last_name: Schmelter orcid: 0000-0001-7787-5380 - first_name: Wadim full_name: Lorenz, Wadim last_name: Lorenz citation: ama: 'Wohlers B, Dziwok S, Bremer C, Schmelter D, Lorenz W. Improving the Product Control of Mechatronic Systems Using Key Performance Indicators. In: Proceedings of the 24th International Conference on Production Research (ICPR). DEStech Publications, Inc.; 2017.' apa: Wohlers, B., Dziwok, S., Bremer, C., Schmelter, D., & Lorenz, W. (2017). Improving the Product Control of Mechatronic Systems Using Key Performance Indicators. In Proceedings of the 24th International Conference on Production Research (ICPR). DEStech Publications, Inc. bibtex: '@inproceedings{Wohlers_Dziwok_Bremer_Schmelter_Lorenz_2017, title={Improving the Product Control of Mechatronic Systems Using Key Performance Indicators}, booktitle={Proceedings of the 24th International Conference on Production Research (ICPR)}, publisher={DEStech Publications, Inc.}, author={Wohlers, Benedict and Dziwok, Stefan and Bremer, Christian and Schmelter, David and Lorenz, Wadim}, year={2017} }' chicago: Wohlers, Benedict, Stefan Dziwok, Christian Bremer, David Schmelter, and Wadim Lorenz. “Improving the Product Control of Mechatronic Systems Using Key Performance Indicators.” In Proceedings of the 24th International Conference on Production Research (ICPR). DEStech Publications, Inc., 2017. ieee: B. Wohlers, S. Dziwok, C. Bremer, D. Schmelter, and W. Lorenz, “Improving the Product Control of Mechatronic Systems Using Key Performance Indicators,” in Proceedings of the 24th International Conference on Production Research (ICPR), 2017. mla: Wohlers, Benedict, et al. “Improving the Product Control of Mechatronic Systems Using Key Performance Indicators.” Proceedings of the 24th International Conference on Production Research (ICPR), DEStech Publications, Inc., 2017. short: 'B. Wohlers, S. Dziwok, C. Bremer, D. Schmelter, W. Lorenz, in: Proceedings of the 24th International Conference on Production Research (ICPR), DEStech Publications, Inc., 2017.' date_created: 2020-12-17T13:35:17Z date_updated: 2022-01-06T06:54:38Z department: - _id: '241' - _id: '662' language: - iso: eng publication: Proceedings of the 24th International Conference on Production Research (ICPR) publisher: DEStech Publications, Inc. status: public title: Improving the Product Control of Mechatronic Systems Using Key Performance Indicators type: conference user_id: '40982' year: '2017' ... --- _id: '20802' abstract: - lang: eng text: The development of software-intensive technical systems (e.g., within the automotive industry) involves several engineering disciplines like mechanical, electrical, control, and particularly software engineering. Model-based Systems Engineering (MBSE) coordinates these disciplines throughout the development by means of a discipline-spanning system model. An integral part of MBSE is the requirements engineering on the system level. However, these requirements need to be refined for the discipline-specific development to start, for example, into specific requirements for the embedded software. Since existing MBSE approaches lack support for this refinement step, we conceived a systematic and iterative transition from MBSE to model-based software requirements engineering, which we present in this talk. We automated the steps of the transition where possible, in order to avoid error-prone and time-consuming manual tasks. We illustrate the approach and perform a case study with an example of an automotive embedded system. author: - first_name: Jörg full_name: Holtmann, Jörg id: '3875' last_name: Holtmann orcid: 0000-0001-6141-4571 - first_name: Ruslan full_name: Bernijazov, Ruslan last_name: Bernijazov - first_name: Matthias full_name: Meyer, Matthias id: '683' last_name: Meyer - first_name: David full_name: Schmelter, David id: '40982' last_name: Schmelter orcid: 0000-0001-7787-5380 - first_name: Christian full_name: Tschirner, Christian last_name: Tschirner citation: ama: 'Holtmann J, Bernijazov R, Meyer M, Schmelter D, Tschirner C. Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis). In: Jürjens J, Schneider K, eds. Proceedings of the Software Engineering 2017. Vol P-267. Lecture Notes in Informatics (LNI). Gesellschaft fuer Informatik; 2017:109-110.' apa: Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., & Tschirner, C. (2017). Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis). In J. Jürjens & K. Schneider (Eds.), Proceedings of the Software Engineering 2017 (Vol. P-267, pp. 109–110). Gesellschaft fuer Informatik. bibtex: '@inproceedings{Holtmann_Bernijazov_Meyer_Schmelter_Tschirner_2017, series={Lecture Notes in Informatics (LNI)}, title={Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis)}, volume={P-267}, booktitle={Proceedings of the Software Engineering 2017}, publisher={Gesellschaft fuer Informatik}, author={Holtmann, Jörg and Bernijazov, Ruslan and Meyer, Matthias and Schmelter, David and Tschirner, Christian}, editor={Jürjens, Jan and Schneider, KurtEditors}, year={2017}, pages={109–110}, collection={Lecture Notes in Informatics (LNI)} }' chicago: Holtmann, Jörg, Ruslan Bernijazov, Matthias Meyer, David Schmelter, and Christian Tschirner. “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis).” In Proceedings of the Software Engineering 2017, edited by Jan Jürjens and Kurt Schneider, P-267:109–10. Lecture Notes in Informatics (LNI). Gesellschaft fuer Informatik, 2017. ieee: J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, and C. Tschirner, “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis),” in Proceedings of the Software Engineering 2017, 2017, vol. P-267, pp. 109–110. mla: Holtmann, Jörg, et al. “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis).” Proceedings of the Software Engineering 2017, edited by Jan Jürjens and Kurt Schneider, vol. P-267, Gesellschaft fuer Informatik, 2017, pp. 109–10. short: 'J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, C. Tschirner, in: J. Jürjens, K. Schneider (Eds.), Proceedings of the Software Engineering 2017, Gesellschaft fuer Informatik, 2017, pp. 109–110.' date_created: 2020-12-17T13:53:41Z date_updated: 2022-01-06T06:54:39Z department: - _id: '241' - _id: '662' editor: - first_name: Jan full_name: Jürjens, Jan last_name: Jürjens - first_name: Kurt full_name: Schneider, Kurt last_name: Schneider language: - iso: eng page: 109-110 publication: Proceedings of the Software Engineering 2017 publisher: Gesellschaft fuer Informatik series_title: Lecture Notes in Informatics (LNI) status: public title: Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis) type: conference user_id: '40982' volume: P-267 year: '2017' ... --- _id: '20804' abstract: - lang: eng text: Modern Cyber-physical Systems are executed in physical environments and distributed over several Electronic Control Units using multiple cores for execution. These systems perform safety-critical tasks and, therefore, have to fulfill hard real-time requirements. To face these requirements systematically, system engineers de- velop these systems model-driven and prove the fulfillment of these requirements via model checking. It is important to ensure that the runtime scheduling does not violate the verified requirements by neglecting the model checking assumptions. Currently, there is a gap in the process for model-driven approaches to derive a feasible runtime scheduling that respects these assumptions. In this paper, we present an approach for a semi- automatic synthesis of behavioral models into a deterministic scheduling that respects real-time requirements at runtime. We evaluate our approach using an example of a distributed automotive system with hard real-time requirements specified with the MechatronicUML method. author: - first_name: Johannes full_name: Geismann, Johannes id: '20063' last_name: Geismann orcid: https://orcid.org/0000-0003-2015-2047 - first_name: Uwe full_name: Pohlmann, Uwe last_name: Pohlmann - first_name: David full_name: Schmelter, David id: '40982' last_name: Schmelter orcid: 0000-0001-7787-5380 citation: ama: 'Geismann J, Pohlmann U, Schmelter D. Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems. In: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. ; 2017.' apa: Geismann, J., Pohlmann, U., & Schmelter, D. (2017). Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems. Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. bibtex: '@inproceedings{Geismann_Pohlmann_Schmelter_2017, title={Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems}, booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development}, author={Geismann, Johannes and Pohlmann, Uwe and Schmelter, David}, year={2017} }' chicago: Geismann, Johannes, Uwe Pohlmann, and David Schmelter. “Towards an Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-Core Systems.” In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017. ieee: J. Geismann, U. Pohlmann, and D. Schmelter, “Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems,” 2017. mla: Geismann, Johannes, et al. “Towards an Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-Core Systems.” Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017. short: 'J. Geismann, U. Pohlmann, D. Schmelter, in: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017.' date_created: 2020-12-17T13:59:04Z date_updated: 2022-01-06T06:54:39Z department: - _id: '76' - _id: '241' - _id: '662' language: - iso: eng publication: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development status: public title: Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems type: conference user_id: '5786' year: '2017' ... --- _id: '27468' abstract: - lang: eng text: The development of software-intensive technical systems involves several engineering disciplines like mechanical, electrical, control, and particularly software engineering. Model-based Systems Engineering (MBSE) coordinates these disciplines throughout the development by means of discipline-spanning processes and a system model. Such a system model provides a common understanding of the system under development and serves as a starting point for the discipline-specific development. An integral part of MBSE is the requirements engineering on the system level. However, these requirements need to be refined for the discipline-specific development to start, e.g., into specific requirements for the embedded software. Since existing MBSE approaches lack support for this refinement step, we conceived in previous work a systematic transition from MBSE to model-based software requirements engineering. We automated the steps of the transition where possible, in order to avoid error-prone and time-consuming manual tasks. In this paper, we extend this approach with support for subsequent process iterations and provide an algorithm for the automated steps. We illustrate the approach and perform a case study with an example of an automotive embedded system. author: - first_name: Jörg full_name: Holtmann, Jörg id: '3875' last_name: Holtmann orcid: 0000-0001-6141-4571 - first_name: Ruslan full_name: Bernijazov, Ruslan last_name: Bernijazov - first_name: Matthias full_name: Meyer, Matthias id: '683' last_name: Meyer - first_name: David full_name: Schmelter, David id: '40982' last_name: Schmelter orcid: 0000-0001-7787-5380 - first_name: Christian full_name: Tschirner, Christian last_name: Tschirner citation: ama: Holtmann J, Bernijazov R, Meyer M, Schmelter D, Tschirner C. Integrated and iterative systems engineering and software requirements engineering for technical systems. Journal of Software Evolution and Process. Published online 2016. doi:http://dx.doi.org/10.1002/smr.1780 apa: Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., & Tschirner, C. (2016). Integrated and iterative systems engineering and software requirements engineering for technical systems. Journal of Software Evolution and Process. http://dx.doi.org/10.1002/smr.1780 bibtex: '@article{Holtmann_Bernijazov_Meyer_Schmelter_Tschirner_2016, title={Integrated and iterative systems engineering and software requirements engineering for technical systems}, DOI={http://dx.doi.org/10.1002/smr.1780}, journal={Journal of Software Evolution and Process}, author={Holtmann, Jörg and Bernijazov, Ruslan and Meyer, Matthias and Schmelter, David and Tschirner, Christian}, year={2016} }' chicago: Holtmann, Jörg, Ruslan Bernijazov, Matthias Meyer, David Schmelter, and Christian Tschirner. “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems.” Journal of Software Evolution and Process, 2016. http://dx.doi.org/10.1002/smr.1780. ieee: 'J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, and C. Tschirner, “Integrated and iterative systems engineering and software requirements engineering for technical systems,” Journal of Software Evolution and Process, 2016, doi: http://dx.doi.org/10.1002/smr.1780.' mla: Holtmann, Jörg, et al. “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems.” Journal of Software Evolution and Process, 2016, doi:http://dx.doi.org/10.1002/smr.1780. short: J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, C. Tschirner, Journal of Software Evolution and Process (2016). date_created: 2021-11-15T13:50:29Z date_updated: 2022-01-06T06:57:39Z department: - _id: '676' doi: http://dx.doi.org/10.1002/smr.1780 language: - iso: eng publication: Journal of Software Evolution and Process status: public title: Integrated and iterative systems engineering and software requirements engineering for technical systems type: journal_article user_id: '21240' year: '2016' ... --- _id: '20823' abstract: - lang: eng text: 'In this technical report, we present the MechatronicUML requirements engineering method. The method encompasses a process and a scenario-based modeling language for the documentation and analysis of requirements on the message-based interaction behavior of software-intensive systems. The modeling language uses a scenario notation based on Modal Sequence Diagrams (MSDs), which borrows concepts of UML Interactions as well as of Live Sequence Charts. Furthermore, we introduce the so-called Emergency Braking & Evasion System (EBEAS) as a running example, which is based on current and upcoming real-world driver assistance systems. ' author: - first_name: Jörg full_name: Holtmann, Jörg id: '3875' last_name: Holtmann orcid: 0000-0001-6141-4571 - first_name: Markus full_name: Fockel, Markus id: '8472' last_name: Fockel orcid: 0000-0002-1269-0702 - first_name: Thorsten full_name: Koch, Thorsten id: '13616' last_name: Koch - first_name: David full_name: Schmelter, David id: '40982' last_name: Schmelter orcid: 0000-0001-7787-5380 - first_name: Christian full_name: Brenner, Christian last_name: Brenner - first_name: Ruslan full_name: Bernijazov, Ruslan last_name: Bernijazov - first_name: Marcel full_name: Sander, Marcel last_name: Sander citation: ama: 'Holtmann J, Fockel M, Koch T, et al. The MechatronicUML Requirements Engineering Method: Process and Language.; 2016. doi:10.13140/RG.2.2.33223.29606' apa: 'Holtmann, J., Fockel, M., Koch, T., Schmelter, D., Brenner, C., Bernijazov, R., & Sander, M. (2016). The MechatronicUML Requirements Engineering Method: Process and Language. https://doi.org/10.13140/RG.2.2.33223.29606' bibtex: '@book{Holtmann_Fockel_Koch_Schmelter_Brenner_Bernijazov_Sander_2016, title={The MechatronicUML Requirements Engineering Method: Process and Language}, DOI={10.13140/RG.2.2.33223.29606}, author={Holtmann, Jörg and Fockel, Markus and Koch, Thorsten and Schmelter, David and Brenner, Christian and Bernijazov, Ruslan and Sander, Marcel}, year={2016} }' chicago: 'Holtmann, Jörg, Markus Fockel, Thorsten Koch, David Schmelter, Christian Brenner, Ruslan Bernijazov, and Marcel Sander. The MechatronicUML Requirements Engineering Method: Process and Language, 2016. https://doi.org/10.13140/RG.2.2.33223.29606.' ieee: 'J. Holtmann et al., The MechatronicUML Requirements Engineering Method: Process and Language. 2016.' mla: 'Holtmann, Jörg, et al. The MechatronicUML Requirements Engineering Method: Process and Language. 2016, doi:10.13140/RG.2.2.33223.29606.' short: 'J. Holtmann, M. Fockel, T. Koch, D. Schmelter, C. Brenner, R. Bernijazov, M. Sander, The MechatronicUML Requirements Engineering Method: Process and Language, 2016.' date_created: 2020-12-22T09:28:23Z date_updated: 2022-01-06T06:54:40Z department: - _id: '76' - _id: '241' - _id: '662' doi: 10.13140/RG.2.2.33223.29606 language: - iso: eng status: public title: 'The MechatronicUML Requirements Engineering Method: Process and Language' type: report user_id: '5786' year: '2016' ... --- _id: '20828' abstract: - lang: ger text: In verschiedenen Unternehmen wird mit Anforderungen unterschiedlich umgegangen. Je nach Größe, Branche und Unternehmenskultur ist das Thema Requirements Engineering (RE) mal weniger, mal mehr etabliert. In einigen Unternehmen wird es als lästige Zusatzaufgabe betrachtet, während andere Unternehmen ganze Abteilungen mit RE als Kernkompetenz betreiben. RE wird allerdings in jedem Projekt - bewusst oder unbewusst - durchgeführt! RE ist die Basis für den weiteren Entwicklungsprozess, die Validierung/Verifikation und die Plan- und Messbarkeit des Projekts. Darüber hinaus können Fehler, die auf Anforderungsebene gefunden werden, weniger aufwendig und somit günstiger behoben werden als in späteren Entwicklungsphasen. Am Fraunhofer IEM beraten wir Unternehmen und erforschen neue Methoden bezüglich der Entwicklung von intelligenten technischen Systemen. In diesem Artikel berichten wir über unsere Erfahrungen aus Projekten, in denen wir Unternehmen aus verschiedenen Branchen und mit unterschiedlichem RE-Reifegrad zwecks Leistungssteigerung des RE begleitet haben. Auf Basis dieser Projekterfahrungen zeigen wir Wege auf, wie der Stand des RE mittels eines Reifegradmodells im eigenen Unternehmen verbessert werden kann. author: - first_name: Jörg full_name: Holtmann, Jörg id: '3875' last_name: Holtmann orcid: 0000-0001-6141-4571 - first_name: Markus full_name: Fockel, Markus id: '8472' last_name: Fockel orcid: 0000-0002-1269-0702 - first_name: Thorsten full_name: Koch, Thorsten id: '13616' last_name: Koch - first_name: David full_name: Schmelter, David id: '40982' last_name: Schmelter orcid: 0000-0001-7787-5380 citation: ama: Holtmann J, Fockel M, Koch T, Schmelter D. Requirements Engineering - Zusatzaufgabe oder Kernkompetenz? OBJEKTspektrum. 2016;(RE/2016). apa: Holtmann, J., Fockel, M., Koch, T., & Schmelter, D. (2016). Requirements Engineering - Zusatzaufgabe oder Kernkompetenz? OBJEKTspektrum, (RE/2016). bibtex: '@article{Holtmann_Fockel_Koch_Schmelter_2016, title={Requirements Engineering - Zusatzaufgabe oder Kernkompetenz?}, number={RE/2016}, journal={OBJEKTspektrum}, author={Holtmann, Jörg and Fockel, Markus and Koch, Thorsten and Schmelter, David}, year={2016} }' chicago: Holtmann, Jörg, Markus Fockel, Thorsten Koch, and David Schmelter. “Requirements Engineering - Zusatzaufgabe Oder Kernkompetenz?” OBJEKTspektrum, no. RE/2016 (2016). ieee: J. Holtmann, M. Fockel, T. Koch, and D. Schmelter, “Requirements Engineering - Zusatzaufgabe oder Kernkompetenz?,” OBJEKTspektrum, no. RE/2016, 2016. mla: Holtmann, Jörg, et al. “Requirements Engineering - Zusatzaufgabe Oder Kernkompetenz?” OBJEKTspektrum, no. RE/2016, 2016. short: J. Holtmann, M. Fockel, T. Koch, D. Schmelter, OBJEKTspektrum (2016). date_created: 2020-12-22T09:36:49Z date_updated: 2022-01-06T06:54:40Z department: - _id: '241' - _id: '662' issue: RE/2016 language: - iso: eng main_file_link: - url: http://www.sigs-datacom.de/uploads/tx_dmjournals/fockel_holtmann_koch_schmelter_OTS_RE_16.pdf publication: OBJEKTspektrum status: public title: Requirements Engineering - Zusatzaufgabe oder Kernkompetenz? type: journal_article user_id: '8472' year: '2016' ... --- _id: '20829' abstract: - lang: eng text: The development of software-intensive technical systems involves several engineering disciplines like mechanical, electrical, control, and particularly software engineering. Model-based Systems Engineering (MBSE) coordinates these disciplines throughout the development by means of discipline-spanning processes and a system model. Such a system model provides a common understanding of the system under development and serves as a starting point for the discipline-specific development. An integral part of MBSE is the requirements engineering on the system level. However, these requirements need to be refined for the discipline-specific development to start, e.g., into specific requirements for the embedded software. Since existing MBSE approaches lack support for this refinement step, we conceived in previous work a systematic transition from MBSE to model-based software requirements engineering. We automated the steps of the transition where possible, in order to avoid error-prone and time-consuming manual tasks. In this paper, we extend this approach with support for subsequent process iterations and provide an algorithm for the automated steps. We illustrate the approach and perform a case study with an example of an automotive embedded system. author: - first_name: Jörg full_name: Holtmann, Jörg id: '3875' last_name: Holtmann orcid: 0000-0001-6141-4571 - first_name: Ruslan full_name: Bernijazov, Ruslan last_name: Bernijazov - first_name: Matthias full_name: Meyer, Matthias id: '683' last_name: Meyer - first_name: David full_name: Schmelter, David id: '40982' last_name: Schmelter orcid: 0000-0001-7787-5380 - first_name: Christian full_name: Tschirner, Christian last_name: Tschirner citation: ama: Holtmann J, Bernijazov R, Meyer M, Schmelter D, Tschirner C. Integrated and iterative systems engineering and software requirements engineering for technical systems. Journal of Software Evolution and Process. 2016. doi:10.1002/smr.1780 apa: Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., & Tschirner, C. (2016). Integrated and iterative systems engineering and software requirements engineering for technical systems. Journal of Software Evolution and Process. https://doi.org/10.1002/smr.1780 bibtex: '@article{Holtmann_Bernijazov_Meyer_Schmelter_Tschirner_2016, title={Integrated and iterative systems engineering and software requirements engineering for technical systems}, DOI={10.1002/smr.1780}, journal={Journal of Software Evolution and Process}, author={Holtmann, Jörg and Bernijazov, Ruslan and Meyer, Matthias and Schmelter, David and Tschirner, Christian}, year={2016} }' chicago: Holtmann, Jörg, Ruslan Bernijazov, Matthias Meyer, David Schmelter, and Christian Tschirner. “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems.” Journal of Software Evolution and Process, 2016. https://doi.org/10.1002/smr.1780. ieee: J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, and C. Tschirner, “Integrated and iterative systems engineering and software requirements engineering for technical systems,” Journal of Software Evolution and Process, 2016. mla: Holtmann, Jörg, et al. “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems.” Journal of Software Evolution and Process, 2016, doi:10.1002/smr.1780. short: J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, C. Tschirner, Journal of Software Evolution and Process (2016). date_created: 2020-12-22T09:39:46Z date_updated: 2022-01-06T06:54:40Z department: - _id: '241' - _id: '662' doi: 10.1002/smr.1780 language: - iso: eng publication: Journal of Software Evolution and Process status: public title: Integrated and iterative systems engineering and software requirements engineering for technical systems type: journal_article user_id: '40982' year: '2016' ... --- _id: '28303' abstract: - lang: eng text: The development of software-intensive technical systems (e.g., within the automotive industry) involves several engineering disciplines like mechanical, electrical, control, and software engineering. Model-based Systems Engineering (MBSE) coordinates these disciplines throughout the development by means of discipline-spanning processes and system models. Such a system model provides a common understanding of the system under development and serves as a starting point for the discipline-specific development. An integral part of MBSE is the requirements engineering on the system level. However, for the discipline-specific development to start, these requirements need to be refined, e.g., into specific requirements for the embedded software. Since existing MBSE approaches lack support for this refinement step, we conceived a systematic transition from MBSE to model-based software requirements engineering, which we present in this paper. We automated the steps of the transition where possible, in order to avoid error-prone and time-consuming manual tasks. We illustrate the approach with an example of an automotive embedded system. author: - first_name: Jörg full_name: Holtmann, Jörg id: '3875' last_name: Holtmann orcid: 0000-0001-6141-4571 - first_name: Ruslan full_name: Bernijazov, Ruslan last_name: Bernijazov - first_name: Matthias full_name: Meyer, Matthias id: '683' last_name: Meyer - first_name: David full_name: Schmelter, David id: '40982' last_name: Schmelter orcid: 0000-0001-7787-5380 - first_name: Christian full_name: Tschirner, Christian last_name: Tschirner citation: ama: 'Holtmann J, Bernijazov R, Meyer M, Schmelter D, Tschirner C. Integrated Systems Engineering and Software Requirements Engineering for Technical Systems. In: Proceedings of the International Conference on Software and Systems Process (ICSSP). ; 2015:57-66. doi:http://dx.doi.org/10.1145/2785592.2785597' apa: Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., & Tschirner, C. (2015). Integrated Systems Engineering and Software Requirements Engineering for Technical Systems. Proceedings of the International Conference on Software and Systems Process (ICSSP), 57–66. http://dx.doi.org/10.1145/2785592.2785597 bibtex: '@inproceedings{Holtmann_Bernijazov_Meyer_Schmelter_Tschirner_2015, place={New York, NY, USA}, title={Integrated Systems Engineering and Software Requirements Engineering for Technical Systems}, DOI={http://dx.doi.org/10.1145/2785592.2785597}, booktitle={Proceedings of the International Conference on Software and Systems Process (ICSSP)}, author={Holtmann, Jörg and Bernijazov, Ruslan and Meyer, Matthias and Schmelter, David and Tschirner, Christian}, year={2015}, pages={57–66} }' chicago: Holtmann, Jörg, Ruslan Bernijazov, Matthias Meyer, David Schmelter, and Christian Tschirner. “Integrated Systems Engineering and Software Requirements Engineering for Technical Systems.” In Proceedings of the International Conference on Software and Systems Process (ICSSP), 57–66. New York, NY, USA, 2015. http://dx.doi.org/10.1145/2785592.2785597. ieee: 'J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, and C. Tschirner, “Integrated Systems Engineering and Software Requirements Engineering for Technical Systems,” in Proceedings of the International Conference on Software and Systems Process (ICSSP), 2015, pp. 57–66, doi: http://dx.doi.org/10.1145/2785592.2785597.' mla: Holtmann, Jörg, et al. “Integrated Systems Engineering and Software Requirements Engineering for Technical Systems.” Proceedings of the International Conference on Software and Systems Process (ICSSP), 2015, pp. 57–66, doi:http://dx.doi.org/10.1145/2785592.2785597. short: 'J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, C. Tschirner, in: Proceedings of the International Conference on Software and Systems Process (ICSSP), New York, NY, USA, 2015, pp. 57–66.' conference: name: Aug. 2015, ACM, Best full paper ICSSP 2015 date_created: 2021-12-06T08:45:50Z date_updated: 2022-01-06T06:58:00Z department: - _id: '676' doi: http://dx.doi.org/10.1145/2785592.2785597 language: - iso: eng page: 57-66 place: New York, NY, USA publication: Proceedings of the International Conference on Software and Systems Process (ICSSP) status: public title: Integrated Systems Engineering and Software Requirements Engineering for Technical Systems type: conference user_id: '21240' year: '2015' ... --- _id: '20899' abstract: - lang: eng text: "The development of software-intensive technical systems (e.g., within the automotive industry) involves several engineering disciplines like mechanical, electrical, control, and software engineering. Model-based Systems Engineering (MBSE) coordinates these disciplines throughout the development by means of discipline-spanning processes and system models. Such a system model provides a common understanding of the system under development and serves as a starting point for the discipline-specific development. An integral part of MBSE is the requirements engineering on the system level. However, for the discipline-specific development to start, these requirements need to be refined, e.g., into specific requirements for the embedded software. Since existing MBSE approaches lack support for this refinement step, we conceived a systematic transition from MBSE to model-based software requirements engineering, which we present in this paper. We automated the steps of the transition where possible, in order to avoid error-prone and time-consuming manual tasks. We illustrate the approach with an example of an automotive embedded system.\r\n" author: - first_name: Jörg full_name: Holtmann, Jörg id: '3875' last_name: Holtmann orcid: 0000-0001-6141-4571 - first_name: Ruslan full_name: Bernijazov, Ruslan last_name: Bernijazov - first_name: Matthias full_name: Meyer, Matthias id: '683' last_name: Meyer - first_name: David full_name: Schmelter, David id: '40982' last_name: Schmelter orcid: 0000-0001-7787-5380 - first_name: Christian full_name: Tschirner, Christian last_name: Tschirner citation: ama: 'Holtmann J, Bernijazov R, Meyer M, Schmelter D, Tschirner C. Integrated systems engineering and software requirements engineering for technical systems. In: Proceedings of the 2015 International Conference on Software and System Process. ; 2015. doi:10.1145/2785592.2785597' apa: Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., & Tschirner, C. (2015). Integrated systems engineering and software requirements engineering for technical systems. In Proceedings of the 2015 International Conference on Software and System Process. https://doi.org/10.1145/2785592.2785597 bibtex: '@inproceedings{Holtmann_Bernijazov_Meyer_Schmelter_Tschirner_2015, title={Integrated systems engineering and software requirements engineering for technical systems}, DOI={10.1145/2785592.2785597}, booktitle={Proceedings of the 2015 International Conference on Software and System Process}, author={Holtmann, Jörg and Bernijazov, Ruslan and Meyer, Matthias and Schmelter, David and Tschirner, Christian}, year={2015} }' chicago: Holtmann, Jörg, Ruslan Bernijazov, Matthias Meyer, David Schmelter, and Christian Tschirner. “Integrated Systems Engineering and Software Requirements Engineering for Technical Systems.” In Proceedings of the 2015 International Conference on Software and System Process, 2015. https://doi.org/10.1145/2785592.2785597. ieee: J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, and C. Tschirner, “Integrated systems engineering and software requirements engineering for technical systems,” in Proceedings of the 2015 International Conference on Software and System Process, 2015. mla: Holtmann, Jörg, et al. “Integrated Systems Engineering and Software Requirements Engineering for Technical Systems.” Proceedings of the 2015 International Conference on Software and System Process, 2015, doi:10.1145/2785592.2785597. short: 'J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, C. Tschirner, in: Proceedings of the 2015 International Conference on Software and System Process, 2015.' date_created: 2021-01-12T13:46:56Z date_updated: 2022-01-06T06:54:41Z department: - _id: '241' - _id: '662' doi: 10.1145/2785592.2785597 language: - iso: eng publication: Proceedings of the 2015 International Conference on Software and System Process publication_identifier: isbn: - '9781450333467' publication_status: published status: public title: Integrated systems engineering and software requirements engineering for technical systems type: conference user_id: '40982' year: '2015' ... --- _id: '20957' abstract: - lang: eng text: 'In this paper, we report on a new approach of aspect-oriented modelling, which is particularly suited for domains with naturally born aspects as part of that domain: MoDowA for Modelling Domains with Aspects. Though these models are on a very high level of abstraction and could be made early in the development process, these models are fully operational in that they can be executed by an interpreter. This way, we shed a light on Aspect-oriented Modelling from a new, different angle.' author: - first_name: Ekkart full_name: Kindler, Ekkart last_name: Kindler - first_name: David full_name: Schmelter, David id: '40982' last_name: Schmelter orcid: 0000-0001-7787-5380 citation: ama: 'Kindler E, Schmelter D. Aspect-oriented modelling from a different angle. In: Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08. ; 2008. doi:10.1145/1404920.1404922' apa: Kindler, E., & Schmelter, D. (2008). Aspect-oriented modelling from a different angle. Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08. https://doi.org/10.1145/1404920.1404922 bibtex: '@inproceedings{Kindler_Schmelter_2008, title={Aspect-oriented modelling from a different angle}, DOI={10.1145/1404920.1404922}, booktitle={Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling - AOM ’08}, author={Kindler, Ekkart and Schmelter, David}, year={2008} }' chicago: Kindler, Ekkart, and David Schmelter. “Aspect-Oriented Modelling from a Different Angle.” In Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08, 2008. https://doi.org/10.1145/1404920.1404922. ieee: 'E. Kindler and D. Schmelter, “Aspect-oriented modelling from a different angle,” 2008, doi: 10.1145/1404920.1404922.' mla: Kindler, Ekkart, and David Schmelter. “Aspect-Oriented Modelling from a Different Angle.” Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08, 2008, doi:10.1145/1404920.1404922. short: 'E. Kindler, D. Schmelter, in: Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08, 2008.' date_created: 2021-01-13T10:48:57Z date_updated: 2022-01-06T06:54:42Z department: - _id: '76' doi: 10.1145/1404920.1404922 language: - iso: eng publication: Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling - AOM '08 publication_identifier: isbn: - '9781605581453' publication_status: published status: public title: Aspect-oriented modelling from a different angle type: conference user_id: '5786' year: '2008' ...