{"page":"23--28","file":[{"file_id":"1273","file_name":"569-CBSE12-Becker_Heinzemann_Priesterjahn.pdf","success":1,"date_created":"2018-03-15T10:19:12Z","date_updated":"2018-03-15T10:19:12Z","file_size":139679,"creator":"florida","access_level":"closed","content_type":"application/pdf","relation":"main_file"}],"type":"conference","date_updated":"2022-01-06T07:02:34Z","publication":"Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE)","doi":"10.1145/2304736.2304742","ddc":["040"],"user_id":"15504","citation":{"ama":"Becker S, Heinzemann C, Priesterjahn C. Towards Modeling Reconfiguration in Hierarchical Component Architectures. In: Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE). ; 2012:23--28. doi:10.1145/2304736.2304742","mla":"Becker, Steffen, et al. “Towards Modeling Reconfiguration in Hierarchical Component Architectures.” Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE), 2012, pp. 23--28, doi:10.1145/2304736.2304742.","ieee":"S. Becker, C. Heinzemann, and C. Priesterjahn, “Towards Modeling Reconfiguration in Hierarchical Component Architectures,” in Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE), 2012, pp. 23--28.","apa":"Becker, S., Heinzemann, C., & Priesterjahn, C. (2012). Towards Modeling Reconfiguration in Hierarchical Component Architectures. In Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE) (pp. 23--28). https://doi.org/10.1145/2304736.2304742","bibtex":"@inproceedings{Becker_Heinzemann_Priesterjahn_2012, title={Towards Modeling Reconfiguration in Hierarchical Component Architectures}, DOI={10.1145/2304736.2304742}, booktitle={Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE)}, author={Becker, Steffen and Heinzemann, Christian and Priesterjahn, Claudia }, year={2012}, pages={23--28} }","chicago":"Becker, Steffen, Christian Heinzemann, and Claudia Priesterjahn. “Towards Modeling Reconfiguration in Hierarchical Component Architectures.” In Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE), 23--28, 2012. https://doi.org/10.1145/2304736.2304742.","short":"S. Becker, C. Heinzemann, C. Priesterjahn, in: Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE), 2012, pp. 23--28."},"date_created":"2017-10-17T12:42:43Z","title":"Towards Modeling Reconfiguration in Hierarchical Component Architectures","_id":"569","file_date_updated":"2018-03-15T10:19:12Z","abstract":[{"text":"Today's real-time embedded systems operate in frequently changing environments on which they react by self-adaptations. Such an approach needs adequate modeling support of these reconfigurations to enable verification of safety properties, e.g., by timed model checking. Component-based development of such systems realizes these self-adaptations by structural reconfigurations of components and their connectors. However, component models proposed in literature do not support reconfigurable components in real-time embedded context but focus on other domains like business information systems. In this paper, we present an extension of our modeling language MechatronicUML to support structural reconfigurations taking the specific requirements of our domain into account. Based on the proposed extension we outline our research roadmap to achieve verification and realization of systems modeled in MechatronicUML.","lang":"eng"}],"author":[{"last_name":"Becker","full_name":"Becker, Steffen","first_name":"Steffen"},{"last_name":"Heinzemann","full_name":"Heinzemann, Christian","first_name":"Christian"},{"full_name":"Priesterjahn, Claudia ","last_name":"Priesterjahn","first_name":"Claudia "}],"status":"public","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B3","_id":"11"},{"name":"SFB 901 - Project Area B","_id":"3"}],"has_accepted_license":"1","year":"2012"}