article_heinrich.bib

@article{combemale2020a,
  title = {{A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems}},
  author = {Combemale, Benoit and Kienzle, J{\"o}rg and Mussbacher, Gunter and Ali, Hyacinth and Amyot, Daniel and Bagherzadeh, Mojtaba and Batot, Edouard and Bencomo, Nelly and Benni, Benjamin and Bruel, Jean-Michel and Cabot, Jordi and Cheng, Betty H C and Collet, Philippe and Engels, Gregor and Heinrich, Robert and J{\'e}z{\'e}quel, Jean-Marc and Koziolek, Anne and Mosser, S{\'e}bastien and Reussner, Ralf and Sahraoui, Houari and Saini, Rijul and Sallou, June and Stinckwich, Serge and Syriani, Eugene and Wimmer, Manuel},
  url = {https://hal.inria.fr/hal-02612087},
  journal = {{IEEE Software}},
  publisher = {{Institute of Electrical and Electronics Engineers}},
  year = {2020},
  pdf = {https://hal.inria.fr/hal-02612087/file/ieeesw-moda-preprint.pdf},
  hal_id = {hal-02612087},
  hal_version = {v1},
  doi = {10.1109/MS.2020.2995125},
  tags = {peer-reviewed}
}

@article{heinrich2015a,
  author = {Heinrich, Robert and Merkle, Philipp and Henss, J{\"o}rg and Paech, Barbara},
  doi = {10.1007/s10270-015-0457-1},
  issn = {1619-1366},
  journal = {Software \& Systems Modeling},
  keywords = {Business process; Information system; Alignment; Performance},
  volume = {16},
  number = {1},
  pages = {257--277},
  publisher = {Springer Berlin Heidelberg},
  title = {Integrating business process simulation and information system simulation for performance prediction},
  year = {2017},
  abstract = {Business process (BP) designs and enterprise information system (IS) designs are often not well aligned. Missing alignment may result in performance problems at run-time, such as large process execution time or overloaded IS resources. The complex interrelations between BPs and ISs are not adequately understood and considered in development so far. Simulation is a promising approach to predict performance of both BP and IS designs. Based on prediction results, design alternatives can be compared and verified against requirements. Thus, BP and IS designs can be aligned to improve performance. In current simulation approaches, BP simulation and IS simulation are not adequately integrated. This results in limited prediction accuracy due to neglected interrelations between the BP and the IS in simulation. In this paper, we present the novel approach Integrated Business IT Impact Simulation (IntBIIS) to adequately reflect the mutual impact between BPs and ISs in simulation. Three types of mutual impact between BPs and ISs in terms of performance are specified. We discuss several solution alternatives to predict the impact of a BP on the performance of ISs and vice versa. It is argued that an integrated simulation of BPs and ISs is best suited to reflect their interrelations. We propose novel concepts for continuous modeling and integrated simulation. IntBIIS is implemented by extending the Palladio tool chain with BP simulation concepts. In a real-life case study with a BP and IS from practice, we validate the feasibility of IntBIIS and discuss the practicability of the corresponding tool support.}
}

@article{vogel-heuser2017a,
  title = {Maintenance effort estimation with {KAMP4aPS} for cross-disciplinary automated PLC-based Production Systems - a collaborative approach},
  journal = {IFAC-PapersOnLine},
  volume = {50},
  number = {1},
  pages = {4360 - 4367},
  year = {2017},
  note = {20th IFAC World Congress},
  issn = {2405-8963},
  doi = {https://doi.org/10.1016/j.ifacol.2017.08.877},
  author = {Birgit Vogel-Heuser and Robert Heinrich and Suhyun Cha and Kiana Rostami and Felix Ocker and Sandro Koch and Ralf Reussner and Simon Ziegltrum},
  abstract = {Automated production systems (aPSs) are often in operation for several decades. Due to a multiplicity of reasons, these assets have to be maintained and modified over the time multiple times and with respect to multiple engineering domains. An increased economic pressure demands to perform these tasks in an optimized way. Therefore, it is necessary to estimate change effects with respect to multidisciplinary interdependences, required surrounding non-functional tasks and the effort and costs included in each step. This paper outlines available cost estimation methods for PLC-based automation and Information Systems (ISs). We introduce Karlsruhe Architectural Maintainability Prediction for aPS (KAMP4aPS), an approach to estimate the necessary maintenance tasks to be performed and their related costs for the domain of aPSs by extending KAMP, which is limited to change propagation analysis on ISs. KAMP requires a metamodel to derive these tasks automatically. Unfortunately, a domain spanning metamodel is missing for aPSs. Hence, we need to develop a part of the metamodel derived from an AutomationML description for the chosen demonstrator at first. Finally, we apply and compare different estimation methods and KAMP4aPS to analyze the exchange of a fieldbus system as exemplary change scenario on a lab size plant to demonstrate the benefits of our discipline-spanning approach.},
  tags = {refereed},
  pdf = {https://sdqweb.ipd.kit.edu/publications/pdfs/vogel-heuser2017a.pdf}
}

@article{birkle2011implementation,
  author = {Birkle, Markus and Schneider, Benjamin and Beck, Tobias and Deuster, Thomas and Fischer, Markus and Flatow, Florian and Heinrich, Robert and Kapp, Christian and Riemer, Jasmin and Simon, Michael and Bergh, Bj{\"o}rn},
  journal = {Studies in Health Technology and Informatics},
  pages = {265--269},
  publisher = {IOS Press},
  title = {Implementation of an open source provider organization registry service},
  volume = {169},
  year = {2011}
}

@article{heinrich2016a,
  author = {Heinrich, Robert and G{\"a}rtner, Stefan and Hesse, Tom-Michael and Ruhroth, Thomas and Reussner, Ralf and Schneider, Kurt and Paech, Barbara and J{\"u}rjens, Jan},
  journal = {International Journal of Software Engineering and Knowledge Engineering},
  title = {The {CoCoME} Platform: A Research Note on Empirical Studies in Information System Evolution},
  volume = {25},
  number = {09\&10},
  pages = {1715-1720},
  year = {2015},
  doi = {10.1142/S0218194015710059},
  url = {http://www.worldscientific.com/doi/abs/10.1142/S0218194015710059},
  eprint = {http://www.worldscientific.com/doi/pdf/10.1142/S0218194015710059}
}

@article{heinrich2016b,
  author = {Heinrich, Robert},
  journal = {ACM SIGMETRICS Performance Evaluation Review},
  title = {Architectural Run-time Models for Performance and Privacy Analysis in Dynamic Cloud Applications},
  issue_date = {March 2016},
  volume = {43},
  number = {4},
  year = {2016},
  issn = {0163-5999},
  pages = {13--22},
  numpages = {10},
  url = {http://doi.acm.org/10.1145/2897356.2897359},
  doi = {10.1145/2897356.2897359},
  acmid = {2897359},
  publisher = {ACM},
  address = {New York, NY, USA},
  keywords = {Architectural Run-time Model, Palladio Component Model, Performance Model, Privacy, Usage Profile}
}

@article{combemale2018a,
  title = {Concern-oriented language development (COLD): Fostering reuse in language engineering},
  journal = {Computer Languages, Systems \& Structures},
  volume = {54},
  pages = {139 - 155},
  year = {2018},
  issn = {1477-8424},
  publisher = {Elsevier},
  doi = {10.1016/j.cl.2018.05.004},
  url = {http://www.sciencedirect.com/science/article/pii/S1477842418300496},
  author = {Benoit Combemale and Jörg Kienzle and Gunter Mussbacher and Olivier Barais and Erwan Bousse and Walter Cazzola and Philippe Collet and Thomas Degueule and Robert Heinrich and Jean-Marc Jézéquel and Manuel Leduc and Tanja Mayerhofer and Sébastien Mosser and Matthias Schöttle and Misha Strittmatter and Andreas Wortmann},
  keywords = {Domain-specific languages, Language concern, Language reuse},
  abstract = {Abstract Domain-Specific Languages (DSLs) bridge the gap between the problem space, in which stakeholders work, and the solution space, i.e., the concrete artifacts defining the target system. They are usually small and intuitive languages whose concepts and expressiveness fit a particular domain. DSLs recently found their application in an increasingly broad range of domains, e.g., cyber-physical systems, computational sciences and high performance computing. Despite recent advances, the development of DSLs is error-prone and requires substantial engineering efforts. Techniques to reuse from one DSL to another and to support customization to meet new requirements are thus particularly welcomed. Over the last decade, the Software Language Engineering (SLE) community has proposed various reuse techniques. However, all these techniques remain disparate and complicate the development of real-world DSLs involving different reuse scenarios. In this paper, we introduce the Concern-Oriented Language Development (COLD) approach, a new language development model that promotes modularity and reusability of language concerns. A language concern is a reusable piece of language that consists of usual language artifacts (e.g., abstract syntax, concrete syntax, semantics) and exhibits three specific interfaces that support (1) variability management, (2) customization to a specific context, and (3) proper usage of the reused artifact. The approach is supported by a conceptual model which introduces the required concepts to implement COLD. We also present concrete examples of some language concerns and the current state of their realization with metamodel-based and grammar-based language workbenches. We expect this work to provide insights into how to foster reuse in language specification and implementation, and how to support it in language workbenches.}
}

@article{heinrich2018c,
  title = {Architecture-based change impact analysis in cross-disciplinary automated production systems},
  journal = {Journal of Systems and Software},
  volume = {146},
  pages = {167 - 185},
  year = {2018},
  issn = {0164-1212},
  doi = {10.1016/j.jss.2018.08.058},
  url = {http://www.sciencedirect.com/science/article/pii/S0164121218301717},
  author = {Robert Heinrich and Sandro Koch and Suhyun Cha and Kiana Busch and Ralf Reussner and Birgit Vogel-Heuser},
  keywords = {Change impact analysis, Maintenance cost estimation, Metamodeling, Manufacturing system, Production automation, Programmable logic controller},
  abstract = {Maintaining an automated production system is a challenging task as it comprises artifacts from multiple disciplines – namely mechanical, electrical, and software engineering. As the artifacts mutually affect each other, even small modifications may cause extensive side effects. Consequently, estimating the maintenance effort for modifications in an automated production system precisely is time consuming and often nearly as complicated as implementing the modifications. In this paper, we present the KAMP4aPS approach for architecture-based change impact analysis in production automation. We propose metamodels to specify the various artifacts of the system and modifications to them, as well as algorithms and rules for change propagation analysis based on the models. We evaluate KAMP4aPS for three different change scenarios based on the established xPPU community case study on production automation. In the case study, we investigate different configurations of metamodels and change propagation rules. Evaluation results indicate the accuracy of change propagation for applying KAMP4aPS to the specific metamodel and rules.}
}

@article{hinkel2019,
  author = {Hinkel, Georg and Heinrich, Robert and Reussner, Ralf},
  title = {An extensible approach to implicit incremental model analyses},
  journal = {Software {\&} Systems Modeling},
  year = {2019},
  month = {Oct},
  day = {01},
  volume = {18},
  number = {5},
  pages = {3151--3187},
  issn = {1619-1374},
  doi = {10.1007/s10270-019-00719-y},
  url = {https://doi.org/10.1007/s10270-019-00719-y}
}

@article{heinrich2019a,
  author = {Robert Heinrich and Misha Strittmatter and Ralf Heinrich Reussner},
  journal = {IEEE Transactions on Software Engineering},
  title = {A Layered Reference Architecture for Metamodels to Tailor Quality Modeling and Analysis},
  year = {2019},
  keywords = {Computer architecture;Object oriented modeling;Analytical models;Biological system modeling;Tools;Software;Systematics;Domain-Specific Modeling Language;Reference Architecture;Metamodel;Quality Analysis},
  doi = {10.1109/TSE.2019.2903797},
  issn = {0098-5589},
  volume = {47},
  number = {4},
  pages = {775-800},
  publisher = {IEEE Computer Society},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/heinrich2019a.pdf}
}

@article{heinrich2020a,
  title = {Architectural runtime models for integrating runtime observations and component-based models},
  journal = {Journal of Systems and Software},
  volume = {169},
  year = {2020},
  issn = {0164-1212},
  doi = {https://doi.org/10.1016/j.jss.2020.110722},
  url = {http://www.sciencedirect.com/science/article/pii/S016412122030159X},
  author = {Robert Heinrich},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/heinrich2020a.pdf},
  keywords = {Software architecture, Runtime model, Performance model, Workload, Palladio Component Model},
  abstract = {Keeping track of modern software applications while dynamically changing requires strong interaction of evolution activities on development level and adaptation activities on operation level. Knowledge about software architecture is key for both, developers while evolving the system and operators while adapting the system. Existing architectural models used in development differ from those used in operation in terms of purpose, abstraction and content. Consequences are limited reuse of development models during operation, lost architectural knowledge and limited phase-spanning consideration of software architecture. In this paper, we propose modeling concepts of the iObserve approach to align architectural models used in development and operation. We present a correspondence model to bridge the divergent levels of abstraction between implementation artifacts and component-based architectural models. A transformation pipeline uses the information stored in the correspondence model to update architectural models based on changes during operation. Moreover, we discuss the modeling of complex workload based on observations during operation. In a case study-based evaluation, we examine the accuracy of our models to reflect observations during operation and the scalability of the transformation pipeline. Evaluation results show the accuracy of iObserve. Furthermore, evaluation results indicate iObserve adequately scales for some cases but shows scalability limits for others.}
}

@article{amrani2021,
  author = {Moussa Amrani and Dominique Blouin and Robert Heinrich and Arend Rensink and Hans Vangheluwe and Andreas Wortmann},
  title = {Multi-paradigm modelling for cyber–physical systems: a descriptive framework},
  journal = {Software {\&} Systems Modeling},
  year = {2021},
  pdf = {https://link.springer.com/content/pdf/10.1007/s10270-021-00876-z.pdf},
  doi = {10.1007/s10270-021-00876-z},
  url = {https://doi.org/10.1007/s10270-021-00876-z}
}

@article{seifermann2022a,
  author = {Seifermann, Stephan and Heinrich, Robert and Werle, Dominik and Reussner, Ralf},
  year = {2022},
  title = {Detecting Violations of Access Control and Information Flow Policies in Data Flow Diagrams},
  journal = {The Journal of Systems and Software},
  publisher = {Elsevier},
  issn = {0164-1212, 1873-1228},
  volume = {184},
  doi = {10.1016/j.jss.2021.111138},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/seifermann2022a.pdf}
}