Home | Sitemap | Index | Contact | Legals | KIT

Publications of Henning Groenda

Books/Book Chapters and edited Proceedings

[1] Georg Hinkel, Oliver Denninger, Sebastian Krach, and Henning Groenda. Experiences with Model-Driven Engineering in Neurorobotics, pages 217-228. Springer International Publishing, Cham, 2016. [ bib | DOI | http | .pdf | Abstract ]
Model-driven engineering (MDE) has been successfully adopted in domains such as automation or embedded systems. However, in many other domains, MDE is rarely applied. In this paper, we describe our experiences of applying MDE techniques in the domain of neurorobotics - a combination of neuroscience and robotics, studying the embodiment of autonomous neural systems. In particular, we participated in the development of the Neurorobotics Platform (NRP) - an online platform for describing and running neurorobotic experiments by coupling brain and robot simulations. We explain why MDE was chosen and discuss conceptual and technical challenges, such as inconsistent understanding of models, focus of the development and platform-barriers.
[2] Henning Groenda. Certifying Software Component Performance Specifications, volume 11 of The Karlsruhe Series on Software Design and Quality. KIT Scientific Publishing, 2013. [ bib | DOI | http | http | Abstract ]
In component-based software engineering, performance prediction approaches support the design of business information systems on the architectural level. They are based on behavior specifications of components. This work presents a round-trip approach for using, assessing, and certifying the accuracy of parameterized, probabilistic, deterministic, and concurrent performance specifications. Its applicability and effectiveness are demonstrated using the CoCoME benchmark.

Refereed journal articles

[1] Jóakim von Kistowski, Nikolas Herbst, Samuel Kounev, Henning Groenda, Christian Stier, and Stebastian Lehrig. Modeling and Extracting Load Intensity Profiles. ACM Transactions on Autonomous and Adaptive Systems (TAAS), 2017, ACM, New York, NY, USA. To Appear. [ bib | Abstract ]
Today's system developers and operators face the challenge of creating software systems that make efficient use of dynamically allocated resources under highly variable and dynamic load profiles, while at the same time delivering reliable performance. Autonomic controllers, e.g., an advanced auto-scaling mechanism in a cloud computing context, can benefit from an abstracted load model as knowledge to reconfigure on time and precisely. Existing workload characterization approaches have limited support to capture variations the inter-arrival times of incoming work units over time (i.e., a variable load profile). For example, industrial and scientific benchmarks support constant or stepwise increasing load, or inter-arrival times defined by statistical distributions or recorded traces. These options show shortcomings either in representative character of load variation patterns or in abstraction and flexibility of their format. In this article, we present the Descartes Load Intensity Model (DLIM) approach addressing these issues. DLIM provides a modeling formalism for describing load intensity variations over time. A DLIM instance is a compact formal description of a load intensity trace. DLIM-based tools provide features for benchmarking, performance and recorded load intensity trace analysis. As manually obtaining and maintaining DLIM instances becomes time consuming, we contribute three automated extraction methods and devised metrics for comparison and method selection. We discuss how these features are used to enhance system management approaches for adaptations during run-time, and how they are integrated into simulation contexts and enable benchmarking of elastic or adaptive behavior. We show that automatically extracted DLIM instances exhibit an average modeling error of 15.2% over ten different real-world traces that cover between two weeks and seven months. These results underline DLIM model expressiveness. In terms of accuracy and processing speed, our proposed extraction methods for the descriptive models are comparable to existing time series decomposition methods. Additionally, we illustrate DLIM applicability by outlining approaches of workload modeling in systems engineering that employ or rely on our proposed load intensity modeling formalism.
[2] Georg Hinkel, Henning Groenda, Sebastian Krach, Lorenzo Vannucci, Oliver Denninger, Nino Cauli, Stefan Ulbrich, Arne Roennau, Egidio Falotico, Marc-Oliver Gewaltig, Alois Knoll, Rüdiger Dillmann, Cecilia Laschi, and Ralf Reussner. A Framework for Coupled Simulations of Robots and Spiking Neuronal Networks. Journal of Intelligent & Robotics Systems, 2016, Springer. [ bib | .pdf | Abstract ]
Bio-inspired robots still rely on classic robot control although advances in neurophysiology allow adaptation to control as well. However, the connection of a robot to spiking neuronal networks needs adjustments for each purpose and requires frequent adaptation during an iterative development. Existing approaches cannot bridge the gap between robotics and neuroscience or do not account for frequent adaptations. The contribution of this paper is an architecture and domain-specific language (DSL) for connecting robots to spiking neuronal networks for iterative testing in simulations, allowing neuroscientists to abstract from implementation details. The framework is implemented in a web-based platform. We validate the applicability of our approach with a case study based on image processing for controlling a four-wheeled robot in an experiment setting inspired by Braitenberg vehicles.
[3] Henning Groenda, Christoph Rathfelder, and Ralph Mueller. Best of Eclipse DemoCamps - Ein Erfahrungsbericht vom dritten Karlsruher Eclipse DemoCamp. Eclipse Magazine, 3:8-10, March 2009. [ bib ]
[4] Christoph Rathfelder and Henning Groenda. Towards an Architecture Maintainability Maturity Model (AM3). Softwaretechnik-Trends, 28(4):3-7, November 2008, GI (Gesellschaft fuer Informatik), Bonn, Germany. [ bib | .pdf ]

Refereed conference/Workshop papers

[1] Stephan Seifermann and Henning Groenda. Survey on textual notations for the unified modeling language. In Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2016), 2016, pages 28-39. SciTePress. 2016. [ bib | .pdf ]
[2] Christian Stier and Henning Groenda. Ensuring Model Continuity when Simulating Self-Adaptive Software Systems. In Proceedings of the Modeling and Simulation of Complexity in Intelligent, Adaptive and Autonomous Systems 2016 (MSCIAAS 2016) and Space Simulation for Planetary Space Exploration (SPACE 2016), Pasadena, CA, USA, 2016, MSCIAAS, pages 2:1-2:8. Society for Computer Simulation International. 2016. [ bib | http | Abstract ]
Self-adaptivity in software systems aims to balance the use of costly resources, i.e. of servers and energy, under given constraints such as Quality of Service (QoS) requirements. Simulation does not require risky testing in running systems and has less assumptions and limitations than formal verification when evaluating the effect of self-adaptation mechanisms. Existing simulation frameworks for analyzing self-adaptive software systems require re-implementing algorithms to conform to the abstraction and interfaces of the simulation framework. We present an approach for coupling simulation-based analyses of self-adaptive software systems with self-adaptation mechanisms that eliminates the need to re-implement the mechanisms and ensures model continuity. The evaluation demonstrates the low complexity required when our approach is used to ensure model continuity between simulation and self-adaptation framework. It presents the results of two experiments we performed after coupling the SimuLizar simulation framework and the CACTOS runtime management framework for Cloud platforms. With this coupling, Cloud data center operators benefit from what-if-analyses of self-adaptation mechanisms and software engineers can optimize the QoS of systems on the drawing board without acquiring deep knowledge of simulation internals.
[3] Henning Groenda, Christoph Rathfelder, and Emre Taspolatoglu. Sensidl: Ein werkzeug zur vereinfachung der schnittstellenimplementierung intelligenter sensoren. In Themenspecial Internet der Dinge 2015, November 2015, page 4. [ bib | .pdf | Abstract ]
Die allgegenwärtige mobile Nutzung des Internets sowie die zunehmende Integration von Kommunikationsfähigkeiten in Alltagsgegenstände sowohl im Heimbereich als auch im industriellen Umfeld, besser bekannt als das Internet der Dinge, führen zu einer zunehmenden Vernetzung verschiedenster Systeme. Im Heimbereich werden Fernseher, Smartphones, aber auch Licht-, Fenster- und Heizungssteuerungen, Kühlschränke und ganze Hausautomatisierungssysteme vernetzt. Im Industrieumfeld wird die Vernetzung als Teil der vierten industriellen Revolution stark intensiviert. Die Bandbreite der eingesetzten Systeme reicht von hochleistungsfähigen Server- und PC-Systemen über Cloud-Dienste und mobile Endgeräte, wie Smartphones und Tablets, bis zu intelligenten eingebetteten mobilen oder stationären heterogenen Sensorsystemen mit eingeschränkter Energieversorgung und begrenzten Rechenkapazitäten.
[4] Sergej Svorobej, James Byrne, Paul Liston, PJ Byrne, Christian Stier, Henning Groenda, Zafeirios Papazachos, and Dimitrios Nikolopoulos. Towards automated data-driven model creation for cloud computing simulation. In Eighth EAI International Conference on Simulation Tools and Techniques (SIMUTOOLS), August 2015. ACM. August 2015. [ bib | DOI ]
[5] Nikolas Roman Herbst, Samuel Kounev, Andreas Weber, and Henning Groenda. BUNGEE: An Elasticity Benchmark for Self-Adaptive IaaS Cloud Environments. In Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2015), Firenze, Italy, May 18-19, 2015. Acceptance rate: 29%. [ bib | slides | .pdf | Abstract ]
Today's infrastructure clouds provide resource elasticity (i.e. auto-scaling) mechanisms enabling self-adaptive resource provisioning to reflect variations in the load intensity over time. These mechanisms impact on the application performance, however, their effect in specific situations is hard to quantify and compare. To evaluate the quality of elasticity mechanisms provided by different platforms and configurations, respective metrics and benchmarks are required. Existing metrics for elasticity only consider the time required to provision and deprovision resources or the costs impact of adaptations. Existing benchmarks lack the capability to handle open workloads with realistic load intensity profiles and do not explicitly distinguish between the performance exhibited by the provisioned underlying resources, on the one hand, and the quality of the elasticity mechanisms themselves, on the other hand. In this paper, we propose reliable metrics for quantifying the timing aspects and accuracy of elasticity. Based on these metrics, we propose a novel approach for benchmarking the elasticity of Infrastructure-as-a-Service (IaaS) cloud platforms independent of the performance exhibited by the provisioned underlying resources. We show that the proposed metrics provide consistent ranking of elastic platforms on an ordinal scale. Finally, we present an extensive case study of real-world complexity demonstrating that the proposed approach is applicable in realistic scenarios and can cope with different levels of resource efficiency.
[6] Stephan Seifermann and Henning Groenda. Towards collaboration on accessible uml models. In Mensch und Computer 2015 - Workshopband, A. Weisbecker, M. Burmester, and A. Schmidt, editors, Stuttgart, Germany, 2015, pages 411-417. De Gruyter Oldenbourg. 2015. [ bib | .pdf ]
[7] Henning Groenda, Stephan Seifermann, Karin Müller, and Gerhard Jaworek. The cooperate assistive teamwork environment for software description languages. In Proceedings of the 13th European conference of the Association for the Advancement of Assistive Technology in Europe (AAATE 2015), Cecilia Sik-Lányi, Evert-Jan Hoogerwerf, Klaus Miesenberger, and Peter Cudd, editors, 2015, pages 111-118. IOS Press. 2015. [ bib | DOI | .pdf ]
[8] Henning Groenda. Anforderungen für die archivierung von patientendaten. In Schwerpunkt Medizintechnik, Fritz Münzel, editor, volume 02 of Technik in Bayern, pages 8-9. VDI Bezirksverein München, Oberbayern, Niederbayern e.V., 2015. [ bib ]
[9] Georg Hinkel, Henning Groenda, Lorenzo Vannucci, Oliver Denninger, Nino Cauli, and Stefan Ulbrich. A Domain-Specific Language (DSL) for Integrating Neuronal Networks in Robot Control. In 2015 Joint MORSE/VAO Workshop on Model-Driven Robot Software Engineering and View-based Software-Engineering, 2015. [ bib | slides | .pdf | Abstract ]
Although robotics has made progress with respect to adaptability and interaction in natural environments, it cannot match the capabilities of biological systems. A promising approach to solve this problem is to create biologically plausible robot controllers that use detailed neuronal networks. However, this approach yields a large gap between the neuronal network and its connection to the robot on the one side and the technical implementation on the other. Existing approaches neglect bridging this gap between disciplines and their focus on different abstractions layers but manually hand-craft the simulations. This makes the tight technical integration cumbersome and error-prone impairing round-trip validation and academic advancements. Our approach maps the problem to model-driven engineering techniques and defines a domain-specific language (DSL) for integrating biologically plausible Neuronal Networks in robot control algorithms. It provides different levels of abstraction and sets an interface standard for integration. Our approach is implemented in the Neuro-Robotics Platform (NRP) of the Human Brain Project (HBP). Its practical applicability is validated in a minimalist experiment inspired by the Braitenberg vehicles based on the simulation of a four-wheeled Husky robot controlled by a neuronal network.
[10] Christian Stier, Anne Koziolek, Henning Groenda, and Ralf Reussner. Model-Based Energy Efficiency Analysis of Software Architectures. In Proceedings of the 9th European Conference on Software Architecture (ECSA '15), Dubrovnik/Cavtat, Croatia, 2015, Lecture Notes in Computer Science. Springer. 2015, Acceptance Rate (Full Paper): 15/80 = 18.8%. [ bib | DOI | http | .pdf | Abstract ]
Design-time quality analysis of software architectures evaluates the impact of design decisions in quality dimensions such as performance. Architectural design decisions decisively impact the energy efficiency (EE) of software systems. Low EE not only results in higher operational cost due to power consumption. It indirectly necessitates additional capacity in the power distribution infrastructure of the target deployment environment. Methodologies that analyze EE of software systems are yet to reach an abstraction suited for architecture-level reasoning. This paper outlines a model-based approach for evaluating the EE of software architectures. First, we present a model that describes the central power consumption characteristics of a software system. We couple the model with an existing model-based performance prediction approach to evaluate the consumption characteristics of a software architecture in varying usage contexts. Several experiments show the accuracy of our architecture-level consumption predictions. Energy consumption predictions reach an error of less than 5.5% for stable and 3.7% for varying workloads. Finally, we present a round-trip design scenario that illustrates how the explicit consideration of EE supports software architects in making informed trade-off decisions between performance and EE.
[11] Henning Groenda and Christian Stier. Improving IaaS Cloud Analyses by Black-Box Resource Demand Modeling. In Symposium on Software Performance 2015, 2015. [ bib | .pdf ]
[12] Andreas Weber, Nikolas Roman Herbst, Henning Groenda, and Samuel Kounev. Towards a Resource Elasticity Benchmark for Cloud Environments. In Proceedings of the 2nd International Workshop on Hot Topics in Cloud Service Scalability (HotTopiCS 2014), co-located with the 5th ACM/SPEC International Conference on Performance Engineering (ICPE 2014), Dublin, Ireland, March 22, 2014. ACM. March 2014. [ bib | slides | .pdf | Abstract ]
Auto-scaling features offered by today's cloud infrastructures provide increased flexibility especially for customers that experience high variations in the load intensity over time. However, auto-scaling features introduce new system quality attributes when considering their accuracy, timing, and boundaries. Therefore, distinguishing between different offerings has become a complex task, as it is not yet supported by reliable metrics and measurement approaches. In this paper, we discuss shortcomings of existing approaches for measuring and evaluating elastic behavior and propose a novel benchmark methodology specifically designed for evaluating the elasticity aspects of modern cloud platforms. The benchmark is based on open workloads with realistic load variation profiles that are calibrated to induce identical resource demand variations independent of the underlying hardware performance. Furthermore, we propose new metrics that capture the accuracy of resource allocations and de-allocations, as well as the timing aspects of an auto-scaling mechanism explicitly.
[13] Stefan Wesner, Henning Groenda, James Byrne, Sergej Svorobej, Christopher Hauser, and Jörg Domaschka. Optimised cloud data centre operation supported by simulation. In eChallenges e-2014 Conference Proceesings, Paul Cunningham and Miriam Cunningham, editors, 2014, volume 2014. IIMC International Information Management Corporation. [ bib ]
[14] P-O Östberg, Henning Groenda, Stefan Wesner, James Byrne, Dimitrios S. Nikolopoulos, Craig Sheridan, Jakub Krzywda, Ahmed Ali-Eldin, Johan Tordsson, Erik Elmroth, Christian Stier, Klaus Krogmann, Jörg Domaschka, Christopher Hauser, PJ Byrne, Sergej Svorobej, Barry McCollum, Zafeirios Papazachos, Loke Johannessen, Stephan Rüth, and Dragana Paurevic. The CACTOS Vision of Context-Aware Cloud Topology Optimization and Simulation. In Proceedings of the Sixth IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 2014, pages 26-31. IEEE Computer Society, Singapore. 2014. [ bib | DOI ]
[15] Henning Groenda. Path coverage criteria for palladio performance models. In Proceedings of the 38th EUROMICRO Conference on Software Engineering and Advanced Applications, September 2012, SEAA '12, pages 133-137. IEEE Computer Society, Washington, DC, USA. September 2012. [ bib | DOI ]
[16] Henning Groenda. Improving performance predictions by accounting for the accuracy of composed performance models. In Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures (QoSA), Bertinoro, Italy, June 2012, QoSA '12, pages 111-116. ACM, New York, NY, USA. June 2012. [ bib | DOI | http ]
[17] Henning Groenda. Protecting intellectual property by certified component quality descriptions. In Proceedings of the 2012 Ninth International Conference on Information Technology - New Generations, April 2012, ITNG '12, pages 287-292. IEEE Computer Society, Washington, DC, USA. April 2012. [ bib | DOI | http ]
[18] Henning Groenda. An Accuracy Information Annotation Model for Validated Service Behavior Specifications. In Models in Software Engineering, Juergen Dingel and Arnor Solberg, editors, volume 6627 of Lecture Notes in Computer Science, pages 369-383. Springer Berlin / Heidelberg, 2011. 10.1007/978-3-642-21210-9_36. [ bib | http | Abstract ]
Assessing providable service levels based on model-driven prediction approaches requires valid service behavior specifications. Such specifications must be suitable for the requested usage profile and available hardware to make correct predictions and decisions on providable service levels. Assessing the precision of given parameterized performance specifications is often done manually in an ad-hoc way based on the experience of the performance engineer. In this paper, we show how the accuracy of a specification can be assessed and stated and how validation settings of model-based testing can ease precision assessments. The applicability of the approach is shown on a case study. We demonstrate how our approach allows accuracy statements and can be used in combination with usage profile and platform independent performance validations, as well as point out how accuracy assessments are eased.
[19] Henning Groenda. Usage profile and platform independent automated validation of service behavior specifications. In Proceedings of the 2nd International Workshop on the Quality of Service-Oriented Software Systems, Oslo, Norway, 2010, QUASOSS '10, pages 6:1-6:6. ACM, New York, NY, USA. 2010. [ bib | DOI | http | Abstract ]
Assessing providable service levels based on model-driven prediction approaches requires valid service behavior specifications. Such specifications must be suitable for the requested usage profile and available hardware to make correct predictions and decisions on providable service levels. Assessing the validity of given parameterized performance specifications is often done manually in an ad-hoc way based on the experience of the performance engineer. In this paper, we show how model-based testing can be applied to validate a specification's accuracy and how the attachment of validation settings to specifications can ease validity assessments. The applicability of the approach is shown on a case study. We demonstrate how our approach allows usage profile and platform independent performance validations, as well as point out how validity assessments are eased.
[20] Jens Happe, Henning Groenda, Michael Hauck, and Ralf H. Reussner. A Prediction Model for Software Performance in Symmetric Multiprocessing Environments. In Proceedings of the 2010 7th International Conference on the Quantitative Evaluation of Systems, 2010, QEST '10, pages 59-68. IEEE Computer Society, Washington, DC, USA. 2010. [ bib | DOI | http | .pdf | Abstract ]
The broad introduction of multi-core processors made symmetric multiprocessing (SMP) environments mainstream. The additional cores can significantly increase software performance. However, their actual benefit depends on the operating system scheduler's capabilities, the system's workload, and the software's degree of concurrency. The load distribution on the available processors (or cores) strongly influences response times and throughput of software applications. Hence, understanding the operating system scheduler's influence on performance and scalability is essential for the accurate prediction of software performance (response time, throughput, and resource utilisation). Existing prediction approaches tend to approximate the influence of operating system schedulers by abstract policies such as processor sharing and its more sophisticated extensions. However, these abstractions often fail to accurately capture software performance in SMP environments. In this paper, we present a performance Model for general-purpose Operating System Schedulers (MOSS). It allows analyses of software performance taking the influences of schedulers in SMP environments into account. The model is defined in terms of timed Coloured Petri Nets and predicts the effect of different operating system schedulers (e.g., Windows 7, Vista, Server 2003, and Linux 2.6) on software performance. We validated the prediction accuracy of MOSS in a case study using a business information system. In our experiments, the deviation of predictions and measurements was below 10% in most cases and did not exceed 30%.
[21] Christoph Rathfelder and Henning Groenda. The Architecture Documentation Maturity Model ADM2. In Proceedings of the 3rd Workshop MDD, SOA und IT-Management (MSI 2009), Oldenburg, Germany, October 6-7, 2009, pages 65-80. GiTO-Verlag, Berlin, Germany. October 2009. [ bib | .pdf | Abstract ]
Today, the architectures of software systems are not stable for their whole lifetime but often adapted driven by business needs. Preserving their quality characteristics beyond each of these changes requires deep knowledge of the requirements and the systems themselves. Proper documentation reduces the risk that knowledge is lost and hence is a base for the system's maintenance in the long-run. However, the influence of architectural documentation on the maintainability of software systems is neglected in current quality assessment methods. They are limited to documentation for anticipated change scenarios and do not provide a general assessment approach. In this paper, we propose a maturity model for architecture documentation. It is shaped relative to growing quality preservation maturity and independent of specific technologies or products. It supports the weighting of necessary effort against reducing long-term risks in the maintenance phase. This allows to take product maintainability requirements into account for selecting an appropriate documentation maturity level.
[22] Henning Groenda. Certification of software component performance specifications. In Proceedings of the Fourteenth International Workshop on Component-Oriented Programming (WCOP) 2009, East Stroudsburg, PA, USA, June 25, 2009, pages 13-21. [ bib | Abstract ]
In software engineering, performance specifications of components support the successful evolution of complex software systems. Having trustworthy specifications is important to reliably detect unwanted effects of modifications on the performance using prediction techniques before they are experienced in live systems. This is especially important if there is no test system available and a system can't be taken down or replaced in its entirety. Existing approaches neglect stating the quality of specifications at all and hence the quality of the prediction is lowered if the assumption that all used specifications are suitable does not hold. In this paper, we propose a test-based approach to validate performance specifications against deployed component implementations. The validation is used to certify specifications which in turn allow assessing the suitability of specifications for predicting the performance of a software system. A small example shows that the certification approach is applicable and creates trustworthy performance specifications.
[23] Jens Happe, Henning Groenda, and Ralf H. Reussner. Performance Evaluation of Scheduling Policies in Symmetric Multiprocessing Environments. In Proceedings of the 17th IEEE International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'09), 2009. [ bib | .pdf | Abstract ]
The shift of hardware architecture towards parallel execution led to a broad usage of multi-core processors in desktop systems and in server systems. The benefit of additional processor cores for software performance depends on the software's parallelism as well as the operating system scheduler's capabilities. Especially, the load on the available processors (or cores) strongly influences response times and throughput of software applications. Hence, a sophisticated understanding of the mutual influence of software behaviour and operating system schedulers is essential for accurate performance evaluations. Multi-core systems pose new challenges for performance analysis and developers of operating systems. For example, an optimal scheduling policy for multi-server systems, such as shortest remaining processing time (SRPT) for single-server systems, is not yet known in queueing theory. In this paper, we present a detailed experimental evaluation of general purpose operating system (GPOS) schedulers in symmetric multiprocessing (SMP) environments. In particular, we are interested in the influence of multiprocessor load balancing on software performance. Additionally, the evaluation includes effects of GPOS schedulers that can also occur in single-processor environments, such as I/Oboundedness of tasks and different prioritisation strategies. The results presented in this paper provide the basis for the future development of more accurate performance models of today's software systems.
[24] Christoph Rathfelder, Henning Groenda, and Ralf Reussner. Software Industrialization and Architecture Certification. In Industrialisierung des Software-Managements: Fachtagung des GI-Fachausschusses Management der Anwendungsentwicklung und -Wartung im Fachbereich Wirtschaftsinformatik (WI-MAW), Georg Herzwurm and Martin Mikusz, editors, volume 139 of Lecture Notes in Informatics (LNI), pages 169-180. November 2008. [ bib ]
[25] Christoph Rathfelder and Henning Groenda. iSOAMM: An independent SOA Maturity Model. In Proceedings of the 8th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS 2008), Olso, Norway, June 4-6, 2008, volume 5053/2008 of Lecture Notes in Computer Science (LNCS), pages 1-15. Springer-Verlag, Berlin, Heidelberg. June 2008. [ bib | http | .pdf | Abstract ]
The implementation of an enterprise-wide Service Oriented Architecture (SOA) is a complex task. In most cases, evolutional approaches are used to handle this complexity. Maturity models are a possibility to plan and control such an evolution as they allow evaluating the current maturity and identifying current shortcomings. In order to support an SOA implementation, maturity models should also support in the selection of the most adequate maturity level and the deduction of a roadmap to this level. Existing SOA maturity models provide only weak assistance with the selection of an adequate maturity level. Most of them are developed by vendors of SOA products and often used to promote their products. In this paper, we introduce our independent SOA Maturity Model (iSOAMM), which is independent of the used technologies and products. In addition to the impacts on IT systems, it reflects the implications on organizational structures and governance. Furthermore, the iSOAMM lists the challenges, benefits and risks associated with each maturity level. This enables enterprises to select the most adequate maturity level for them, which is not necessarily the highest one.
[26] Christoph Rathfelder and Henning Groenda. Geschäftsprozessorientierte Kategorisierung von SOA. In 2. Workshop Bewertungsaspekte serviceorientierter Architekturen, Karlsruhe, Germany, November 13, 2007, pages 11-22. SHAKER Verlag. November 2007. [ bib | .pdf | Abstract ]
Service-Orientierte Architekturen (SOAs) versprechen eine bessere Unterstützung von Geschäftsprozessen. Es gibt jedoch unterschiedliche Interpretationen darüber, was eine Service-Orientierte Architektur (SOA) ist. Da die Verbesserung der Geschäftsprozessunterstützung eines der häufigsten Argumente für SOAs ist, bietet es sich an, die verschiedenen SOA-Varianten nach der damit ermöglichten Prozessunterstützung zu kategorisieren. Bisherige Ansätze zur Kategorisierung sind in vielen Fällen auf bestimmte Technologien oder Standards beschränkt und gehen nur am Rand auf die gegebene Prozessunterstützung ein. In diesem Artikel wird eine solche geschäftsprozessorientierte Kategorisierung von SOAs präsentiert.
[27] Henning Groenda, Fabian Nowak, Patrick Rößler, and Uwe D. Hanebeck. Telepresence Techniques for Controlling Avatar Motion in First Person Games. In INTETAIN, 2005, pages 44-53. [ bib | .pdf | Abstract ]
First person games are computer games, in which the user experiences the virtual game world from an avatar's view. This avatar is the user's alter ego in the game. In this paper, we present a telepresence interface for the first person game Quake III Arena, which gives the user the impression of presence in the game and thus leads to identification with his avatar. This is achieved by tracking the user's motion and using this motion data as control input for the avatar. As the user is wearing a head-mounted display and he perceives his actions affecting the virtual environment, he fully immerses into the target environment. Without further processing of the user's motion data, the virtual environment would be limited to the size of the user's real environment, which is not desirable. The use of Motion Compression, however, allows exploring an arbitrarily large virtual environment while the user is actually moving in an environment of limited size.

Technical Reports

[1] Sascha Alpers, Henning Groenda, and Klaus Krogmann. Orientierungswissen für dienstanbieter zur standardauswahl für cloud-dienstleistungen. Technical Report 5, Bundesministerium für Wirtschaft und Energie (BMWi), Kompetenzzentrum Trusted Cloud, April 2015. [ bib | .pdf ]
[2] Christian Stier, Henning Groenda, and Anne Koziolek. Towards Modeling and Analysis of Power Consumption of Self-Adaptive Software Systems in Palladio. Technical report, University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, November 2014. [ bib | slides | .pdf ]
[3] Franz Brosch, Henning Groenda, Lucia Kapova, Klaus Krogmann, Michael Kuperberg, Anne Martens, Pierre Parrend, Ralf Reussner, Johannes Stammel, and Emre Taspolatoglu. Software-industrialisierung. Technical report, Fakultät für Informatik, Universität Karlsruhe, Karlsruhe, 2009. Interner Bericht. [ bib | http | Abstract ]
Die Industrialisierung der Software-Entwicklung ist ein zur Zeit sehr stark diskutiertes Thema. Es geht dabei vor allem um die Efizienzsteigerung durch die Steigerung des Standardisierungsgrades, des Automatisierungsgrades sowie eine Erhöhung der Arbeitsteilung. Dies wirkt sich einerseits auf die den Software- Systemen zu Grunde liegenden Architekturen, aber auch auf die Entwicklungsprozesse aus. So sind Service-orientierte Architekturen ein Beispiel für eine gesteigerte Standardisierung innerhalb von Software-Systemen. Es ist zu berücksichtigen, dass sich die Software-Branche von den klassischen produzierenden Industriezweigen dadurch unterscheidet, dass Software ein immaterielles Produkt ist und so ohne hohe Produktionskosten beliebig oft vervielfältigt werden kann. Trotzdem lassen sich viele Erkenntnisse aus den klassischen Industriezweigen auf die Software-Technik übertragen. Die Inhalte dieses Berichts stammen hauptsächlich aus dem Seminar " Software- Industrialisierung welches sich mit der Professionalisierung der Software- Entwi- cklung und des Software-Entwurfs beschäftigte. Während die klassische Software-Entwicklung wenig strukturiert ist und weder im Bezug auf Reproduzierbarkeit oder Qualitätssicherung erhöhten Anforderungen genügt, befindet sich die Software-Entwick- lung im Rahmen der Industrialisierung in einemWandel. Dazu zählen arbeitsteiliges Arbeiten, die Einführung von Entwicklungsprozessen mit vorhersagbaren Eigenschaften (Kosten, Zeitbedarf, ...), und in der Folge die Erstellung von Produkten mit garantierbaren Eigenschaften. Das Themenspektrum des Seminars umfasste dabei unter anderem: * Komponentenbasierte Software-Architekturen * Modellgetriebene Softwareentwicklung: Konzepte und Technologien * Industrielle Softwareentwicklungsprozesse und deren Bewertung Das Seminar wurde wie eine wissenschaftliche Konferenz organisiert: Die Einreichungen wurden in einem zweistufigen Peer-Review-Verfahren begutachtet. In der ersten Stufe wurde eine Begutachtung der studentischen Arbeiten durch Kommilitonen durchgeführt, in der zweiten Stufe eine Begutachtung durch die Betreuer. In verschiedenen Sessions wurden die Artikel wie bei einer Konferenz präsentiert. Die besten Beiträge wurden durch zwei Best Paper Awards ausgezeichnet. Diese gingen an Tom Beyer für seine Arbeit Realoptionen für Entscheidungen in der Software-Entwicklung, sowie an Philipp Meier für seine Arbeit Assessment Methods for Software Product Lines. Ergänzt wurden die Vorträge der Seminarteilnehmer durch zwei eingeladene Vorträge: Collin Rogowski von der 1&1 Internet AG stellte den agilen Softwareentwicklungsprozess beim Mail-Produkt GMX.COM vor. Heiko Koziolek, Wolfgang Mahnke und Michaela Saeftel von ABB referierten über das Thema Software Product Line Engineering anhand der bei ABB entwickelten Robotik-Applikationen.
[4] Franz Brosch, Thomas Goldschmidt, Henning Groenda, Lucia Kapova, Klaus Krogmann, Michael Kuperberg, Anne Martens, Christoph Rathfelder, Ralf Reussner, and Johannes Stammel. Software-industrialisierung. Interner bericht, Universität Karlsruhe, Fakultät für Informatik, Institut für Programmstrukturen und Datenorganisation, Karlsruhe, 2008. [ bib | http | Abstract ]
Die Industrialisierung der Software-Entwicklung ist ein zurzeit sehr stark diskutiertes Thema. Es geht dabei vor allem um die Efizienzsteigerung durch die Steigerung des Standardisierungsgrades, des Automatisierungsgrades sowie eine Erhöhung der Arbeitsteilung. Dies wirkt sich einerseits auf die den Software- Systemen zu Grunde liegenden Architekturen aber auch auf die Entwicklungsprozesse aus. So sind service-orientierte Architekturen ein Beispiel für eine gesteigerte Standardisierung innerhalb von Software-Systemen. Es ist zu berücksichtigen, dass sich die Software-Branche von den klassischen produzierenden Industriezweigen dadurch unterscheidet, dass Software ein immaterielles Produkt ist und so ohne hohe Produktionskosten beliebig oft vervielfältigt werden kann. Trotzdem lassen sich viele Erkenntnisse aus den klassischen Industriezweigen auf die Software-Technik übertragen. Die Inhalte dieses Berichts stammen hauptsächlich aus dem Seminar "Software- Industrialisierung welches sich mit der Professionalisierung der Software- Entwicklung und des Software-Entwurfs beschäftigte. Während die klassische Software-Entwicklung wenig strukturiert ist und weder im Bezug auf Reproduzierbarkeit oder Qualitätssicherung erhöhten Anforderungen genügt, befindet sich die Software-Entwicklung im Rahmen der Industrialisierung in einem Wandel. Dazu zählen arbeitsteiliges Arbeiten, die Einführung von Entwicklungsprozessen mit vorhersagbaren Eigenschaften (Kosten, Zeitbedarf, ...) und in der Folge die Erstellung von Produkten mit garantierbaren Eigenschaften. Das Themenspektrum des Seminars umfasste dabei unter anderem: * Software-Architekturen * Komponentenbasierte Software-Entwicklung * Modellgetriebene Entwicklung * Berücksichtigung von Qualitätseigenschaften in Entwicklungsprozessen Das Seminar wurde wie eine wissenschaftliche Konferenz organisiert: Die Einreichungen wurden in einem zweistufigen Peer-Review-Verfahren begutachtet. In der ersten Stufe wurde eine Begutachtung der studentischen Arbeiten durch Kommilitonen durchgeführt, in der zweiten Stufe eine Begutachtung durch die Betreuer. In verschiedenen Sessions wurden die Artikel an zwei Konferenztagen präsentiert. Der beste Beitrag wurde durch einen Best Paper Award ausgezeichnet. Dieser ging an Benjamin Klatt für seine Arbeit Software Extension Mechanisms, dem hiermit noch einmal herzlich zu dieser herausragenden Leistung gratuliert wird. Ergänzend zu den Vorträgen der Seminarteilnehmer wurde ein eingeladener Vortrag gehalten. Herr Florian Kaltner und Herr Tobias Pohl vom IBM-Entwicklungslabor gaben dabei dankenswerterweise in ihrem Vortrag Einblicke in die Entwicklung von Plugins für Eclipse sowie in die Build-Umgebung der Firmware für die zSeries Mainframe-Server.
[5] Steffen Becker, Thomas Goldschmidt, Henning Groenda, Jens Happe, Henning Jacobs, Christian Janz, Konrad Jünemann, Benjamin Klatt, Christopher Köker, and Heiko Koziolek. Transformationen in der modellgetriebenen software-entwicklung. Technical report, Fakultät für Informatik, Universität Karlsruhe, Karlsruhe, 2007. Interner Bericht. [ bib | http | Abstract ]
Software-Architekturen lassen sich durch Modell beschreiben. Sie sind weder auf eine Beschreibungssprache noch auf eine bestimmte Domänen beschränkt. Im Zuge der Bemühungen modellgetriebener Entwicklung lassen sich hier Entwicklungen hin zu standardisierten Beschreibungssprachen wie UML aber auch die Einführung von domänen-spezifischen Sprachen (DSL) erkennen. Auf diese formalisierten Modelle lassen sich schließlich Transformationen anwenden. Diese können entweder zu einem weiteren Modell ("Model-to-Model") oder einer textuellen Repräsentation ("Model-to-Text") erfolgen. Transformationen kapseln dabei wiederholt anwendbares Entwurfs-Wissen ("Muster") in parametrisierten Schablonen. Für die Definition der Transformationen können Sprachen wie beispielsweise QVT verwendet werden. Mit AndoMDA und openArchitectureWare existieren Werkzeuge, welche die Entwickler bei der Ausführung von Transformationen unterstützen.

Theses

[1] Henning Groenda. Entwicklung und Nutzung von Scheduling-Modellen für die Performance-Vorhersage komponentenbasierter Software-Architekturen. Master's thesis, Universität Karlsruhe (TH), 2007. [ bib ]

Other

[1] Christian Stier, Anne Koziolek, Henning Groenda, and Ralf Reussner. Model-based analysis of energy efficiency for software architectures. Poster at the Symposium on Software Performance 2015, 2015. Best Poster Award. [ bib ]