Home | Sitemap | Index | Contact | Legals | KIT

Publications of Lucia Kapova

Books/Book Chapters and edited Proceedings

[1] Alberto Avritzer, Lucia Happe, Anne Koziolek, Daniel Sadoc Menasche, Sindhu Suresh, and Jose Yallouz. Scalable Assessment and Optimization of Power Distribution Automation Networks, pages 321-340. Springer International Publishing, Cham, Switzerland, 2016. [ bib | DOI | http ]
[2] Lucia Happe and Anne Koziolek. A common analysis framework for smart distribution networks applied to security and survivability analysis (talk abstract). In Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031), Dagstuhl Reports, Erika Ábrahám, Alberto Avritzer, Anne Remke, and William H. Sanders, editors, volume 4, pages 45-46. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 2014. Issue 1. [ bib | DOI | http ]
[3] Lucia Kapova, Tomas Bures, and Petr Hnetynka. Software Engineering Research, Management and Applications, volume 150 of Studies in Computational Intelligence, chapter Preserving Intentions in SOA Business Process development, pages 59-72. Springer-Verlag Berlin Heidelberg, Prague, August 20-22 2008. [ bib | http ]

Refereed journal articles

[1] Anne Koziolek, Alberto Avritzer, Sindhu Suresh, Daniel S. Menasché, Morganna Diniz, Edmundo de Souza e Silva, Rosa M. Leão, Kishor Trivedi, and Lucia Happe. Assessing survivability to support power grid investment decisions. Reliability Engineering & System Safety, 155:30 - 43, 2016. [ bib | DOI | http | .pdf | Abstract ]
Abstract The reliability of power grids has been subject of study for the past few decades. Traditionally, detailed models are used to assess how the system behaves after failures. Such models, based on power flow analysis and detailed simulations, yield accurate characterizations of the system under study. However, they fall short on scalability. In this paper, we propose an efficient and scalable approach to assess the survivability of power systems. Our approach takes into account the phased-recovery of the system after a failure occurs. The proposed phased-recovery model yields metrics such as the expected accumulated energy not supplied between failure and full recovery. Leveraging the predictive power of the model, we use it as part of an optimization framework to assist in investment decisions. Given a budget and an initial circuit to be upgraded, we propose heuristics to sample the solution space in a principled way accounting for survivability-related metrics. We have evaluated the feasibility of this approach by applying it to the design of a benchmark distribution automation circuit. Our empirical results indicate that the combination of survivability and power flow analysis can provide meaningful investment decision support for power systems engineers.
[2] Erik Burger, Jörg Henß, Martin Küster, Steffen Kruse, and Lucia Happe. View-Based Model-Driven Software Development with ModelJoin. Software & Systems Modeling, 15(2):472-496, 2014, Springer Berlin / Heidelberg. [ bib | DOI | .pdf ]
[3] Daniel Sadoc Menasché, Alberto Avritzer, Sindhu Suresh, Rosa M. Leão, Edmundo de Souza e Silva, Morganna Diniz, Kishor Trivedi, Lucia Happe, and Anne Koziolek. Assessing survivability of smart grid distribution network designs accounting for multiple failures. Concurrency and Computation: Practice and Experience, 26(12):1949-1974, 2014. [ bib | DOI | http | .pdf | Abstract ]
Smart grids are fostering a paradigm shift in the realm of power distribution systems. Whereas traditionally different components of the power distribution system have been provided and analyzed by different teams through different lenses, smart grids require a unified and holistic approach that takes into consideration the interplay of communication reliability, energy backup, distribution automation topology, energy storage, and intelligent features such as automated fault detection, isolation, and restoration (FDIR) and demand response. In this paper, we present an analytical model and metrics for the survivability assessment of the distribution power grid network. The proposed metrics extend the system average interruption duration index, accounting for the fact that after a failure, the energy demand and supply will vary over time during a multi-step recovery process. The analytical model used to compute the proposed metrics is built on top of three design principles: state space factorization, state aggregation, and initial state conditioning. Using these principles, we reduce a Markov chain model with large state space cardinality to a set of much simpler models that are amenable to analytical treatment and efficient numerical solution. In case demand response is not integrated with FDIR, we provide closed form solutions to the metrics of interest, such as the mean time to repair a given set of sections. Under specific independence assumptions, we show how the proposed methodology can be adapted to account for multiple failures. We have evaluated the presented model using data from a real power distribution grid, and we have found that survivability of distribution power grids can be improved by the integration of the demand response feature with automated FDIR approaches. Our empirical results indicate the importance of quantifying survivability to support investment decisions at different parts of the power grid distribution network.
[4] Lucia Happe, Barbora Buhnova, and Ralf Reussner. Stateful component-based performance models. Software & Systems Modeling, 13(4):1319-1343, 2013, Springer-Verlag. [ bib | DOI | http | Abstract ]
The accuracy of performance-prediction models is crucial for widespread adoption of performance prediction in industry. One of the essential accuracy-influencing aspects of software systems is the dependence of system behaviour on a configuration, context or history related state of the system, typically reflected with a (persistent) system attribute. Even in the domain of component-based software engineering, the presence of state-reflecting attributes (the so-called internal states) is a natural ingredient of the systems, implying the existence of stateful services, stateful components and stateful systems as such. Currently, there is no consensus on the definition or method to include state-related information in component-based prediction models. Besides the task to identify and localise different types of stateful information across component-based software architecture, the issue is to balance the expressiveness and complexity of prediction models via an effective abstraction of state modelling. In this paper, we identify and classify stateful information in component-based software systems, study the performance impact of the individual state categories, and discuss the costs of their modelling in terms of the increased model size. The observations are formulated into a set of heuristics-guiding software engineers in state modelling. Finally, practical effect of state modelling on software performance is evaluated on a real-world case study, the SPECjms2007 Benchmark. The observed deviation of measurements and predictions was significantly decreased by more precise models of stateful dependencies.
[5] Georg Hinkel, Thomas Goldschmidt, and Lucia Happe. An NMF solution for the Petri Nets to State Charts case study at the TTC 2013. EPTCS, 135:95-100, 2013, ArXiv. [ bib | DOI | .pdf | Abstract ]
Software systems are getting more and more complex. Model-driven engineering (MDE) offers ways to handle such increased complexity by lifting development to a higher level of abstraction. A key part in MDE are transformations that transform any given model into another. These transformations are used to generate all kinds of software artifacts from models. However, there is little consensus about the transformation tools. Thus, the Transformation Tool Contest (TTC) 2013 aims to compare different transformation engines. This is achieved through three different cases that have to be tackled. One of these cases is the Petri Net to State Chart case. A solution has to transform a Petri Net to a State Chart and has to derive a hierarchical structure within the State Chart. This paper presents the solution for this case using NMF Transformations as transformation engine.
[6] Georg Hinkel, Thomas Goldschmidt, and Lucia Happe. An NMF solution for the Flowgraphs case at the TTC 2013. EPTCS, 135:37-42, 2013, ArXiv. [ bib | DOI | .pdf | Abstract ]
Software systems are getting more and more complex. Model-driven engineering (MDE) offers ways to handle such increased complexity by lifting development to a higher level of abstraction. A key part in MDE are transformations that transform any given model into another. These transformations are used to generate all kinds of software artifacts from models. However, there is little consensus about the transformation tools. Thus, the Transformation Tool Contest (TTC) 2013 aims to compare different transformation engines. This is achieved through three different cases that have to be tackled. One of these cases is the Flowgraphs case. A solution has to transform a Java code model into a simplified version and has to derive control and data flow. This paper presents the solution for this case using NMF Transformations as transformation engine.
[7] Daniel Dominguez Gouvêa, Cyro Muniz, Gilson Pinto, Alberto Avritzer, Rosa Maria Meri Leão, Edmundo de Souza e Silva, Morganna Carmem Diniz, Luca Berardinelli, Julius C. B. Leite, Daniel Mossé, Yuanfang Cai, Michael Dalton, Lucia Happe, and Anne Koziolek. Experience with model-based performance, reliability and adaptability assessment of a complex industrial architecture. Journal of Software and Systems Modeling, pages 1-23, 2012, Springer-Verlag. Special Issue on Performance Modeling. [ bib | DOI | .pdf | Abstract ]
In this paper, we report on our experience with the application of validated models to assess performance, reliability, and adaptability of a complex mission critical system that is being developed to dynamically monitor and control the position of an oil-drilling platform. We present real-time modeling results that show that all tasks are schedulable. We performed stochastic analysis of the distribution of task execution time as a function of the number of system interfaces. We report on the variability of task execution times for the expected system configurations. In addition, we have executed a system library for an important task inside the performance model simulator. We report on the measured algorithm convergence as a function of the number of vessel thrusters. We have also studied the system architecture adaptability by comparing the documented system architecture and the implemented source code. We report on the adaptability findings and the recommendations we were able to provide to the system's architect. Finally, we have developed models of hardware and software reliability. We report on hardware and software reliability results based on the evaluation of the system architecture.

Refereed conference/Workshop papers

[1] Lucia Happe, Oliver Hummel, Anne Koziolek, Klaus Krogmann, and Ralf H. Reussner. Software engineering processes. In Modeling and Simulating Software Architectures - The Palladio Approach, Ralf H. Reussner, Steffen Becker, Jens Happe, Robert Heinrich, Anne Koziolek, Heiko Koziolek, Max Kramer, and Klaus Krogmann, editors, chapter 9, pages 195-225. MIT Press, Cambridge, MA, October 2016. [ bib | http ]
[2] Georg Hinkel, Max Kramer, Erik Burger, Misha Strittmatter, and Lucia Happe. An Empirical Study on the Perception of Metamodel Quality. In Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development, Rome, Italy, February 19-21, 2016, pages 145-152. [ bib | http | .pdf | Abstract ]
Despite the crucial importance of metamodeling for Model- Driven Engineering (MDE), there is still little discussion about the quality of metamodel design and its consequences in model-driven development processes. Presumably, the quality of metamodel design strongly affects the models and transformations that conform to these metamodels. However, so far surprisingly few work has been done to validate the characterization of metamodel quality. A proper characterization is essential to automate quality improvements for metamodels such as metamodel refactorings. In this paper, we present an empirical study to sharpen the understanding of the perception of metamodel quality. In the study, 24 participants created metamodels of two different domains and evaluated the metamodels in a peer review process according to an evaluation sheet. The results show that the perceived quality was mainly driven by the metamodels completeness, correctness and modularity while other quality attributes could be neglected.
[3] Georg Hinkel and Lucia Happe. An NMF Solution to the TTC Train Benchmark Case. In Proceedings of the 8th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences, Louis Rose, Tassilo Horn, and Filip Krikava, editors, L'Aquila, Italy, July 24, 2015, volume 1524 of CEUR Workshop Proceedings, pages 142-146. CEUR-WS.org. July 2015. [ bib | .pdf ]
[4] Catia Trubiani, Anne Koziolek, and Lucia Happe. Exploiting software performance engineering techniques to optimise the quality of smart grid environments. In Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, Austin, Texas, USA, 2015, ICPE '15, pages 199-202. ACM, New York, NY, USA. 2015. [ bib | DOI | http | .pdf ]
[5] Alberto Avritzer, Laura Carnevali, Hamed Ghasemieh, Lucia Happe, Boudewijn R. Haverkort, Anne Koziolek, Daniel Menasche, Anne Remke, Sahra Sedigh Sarvestani, and Enrico Vicario. Survivability evaluation of gas, water and electricity infrastructures. In Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling (PASM), 2015, volume 310, pages 5 - 25. Electronic Notes in Theoretical Computer Science. 2015. [ bib | DOI | http | Abstract ]
Abstract The infrastructures used in cities to supply power, water and gas are consistently becoming more automated. As society depends critically on these cyber-physical infrastructures, their survivability assessment deserves more attention. In this overview, we first touch upon a taxonomy on survivability of cyber-physical infrastructures, before we focus on three classes of infrastructures (gas, water and electricity) and discuss recent modelling and evaluation approaches and challenges.
[6] Andreas Rentschler, Dominik Werle, Qais Noorshams, Lucia Happe, and Ralf Reussner. Remodularizing Legacy Model Transformations with Automatic Clustering Techniques. In Proceedings of the 3rd Workshop on the Analysis of Model Transformations co-located with the 17th International Conference on Model Driven Engineering Languages and Systems (AMT@MODELS '14), Valencia, Spain, September 29, 2014, Benoit Baudry, Jürgen Dingel, Levi Lucio, and Hans Vangheluwe, editors, October 2014, volume 1277 of CEUR Workshop Proceedings, pages 4-13. CEUR-WS.org. October 2014. [ bib | http | .pdf ]
[7] Andreas Rentschler, Dominik Werle, Qais Noorshams, Lucia Happe, and Ralf Reussner. Designing Information Hiding Modularity for Model Transformation Languages. In Proceedings of the 13th International Conference on Modularity (AOSD '14), Lugano, Switzerland, April 22 - 26, 2014, April 2014, pages 217-228. ACM, New York, NY, USA. April 2014, Acceptance Rate: 35.0%. [ bib | DOI | http | .pdf ]
[8] Alberto Avritzer, Laura Carnevali, Lucia Happe, Anne Koziolek, Daniel Sadoc Menasche, Marco Paolieri, and Sindhu Suresh. A scalable approach to the assessment of storm impact in distributed automation power grids. In Quantitative Evaluation of Systems, 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings, Gethin Norman and William Sanders, editors, 2014, volume 8657 of Lecture Notes in Computer Science, pages 345-367. Springer-Verlag Berlin Heidelberg. 2014. [ bib | http | Abstract ]
We present models and metrics for the survivability assessment of distribution power grid networks accounting for the impact of multiple failures due to large storms. The analytical models used to compute the proposed metrics are built on top of three design principles: state space factorization, state aggregation, and initial state conditioning. Using these principles, we build scalable models that are amenable to analytical treatment and efficient numerical solution. Our models capture the impact of using reclosers and tie switches to enable faster service restoration after large storms. We have evaluated the presented models using data from a real power distribution grid impacted by a large storm: Hurricane Sandy. Our empirical results demonstrate that our models are able to efficiently evaluate the impact of storm hardening investment alternatives on customer affecting metrics such as the expected energy not supplied until complete system recovery.
[9] Lucia Happe, Erik Burger, Max Kramer, Andreas Rentschler, and Ralf Reussner. Completion and Extension Techniques for Enterprise Software Performance Engineering. In Future Business Software - Current Trends in Business Software Development, Gino Brunetti, Thomas Feld, Joachim Schnitter, Lutz Heuser, and Christian Webel, editors, Progress in IS, pages 117-131. Springer International Publishing, 2014. [ bib | DOI ]
[10] Georg Hinkel and Lucia Happe. Using component frameworks for model transformations by an internal DSL. In Proceedings of the 1st International Workshop on Model-Driven Engineering for Component-Based Software Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014, volume 1281 of CEUR Workshop Proceedings, pages 6-15. CEUR-WS.org. 2014. [ bib | slides | .pdf | Abstract ]
To increase the development productivity, possibilities for reuse, maintainability and quality of complex model transformations, modularization techniques are indispensable. Component-Based Software Engineering targets the challenge of modularity and is well-established in languages like Java or C# with component models like .NET, EJB or OSGi. There are still many challenging barriers to overcome in current model transformation languages to provide comparable support for component-based development of model transformations. Therefore, this paper provides a pragmatic solution based on NMF Transformations, a model transformation language realized as an internal DSL embedded in C#. An internal DSL can take advantage of the whole expressiveness and tooling build for the well established and known host language. In this work, we use the component model of the .NET platform to represent reusable components of model transformations to support internal and external model transformation composition. The transformation components are hidden behind transformation rule interfaces that can be exchanged dynamically through configuration. Using this approach we illustrate the possibilities to tackle typical issues of integrity and versioning, such as detecting versioning conflicts for model transformations.
[11] Andreas Rentschler, Qais Noorshams, Lucia Happe, and Ralf Reussner. Interactive Visual Analytics for Efficient Maintenance of Model Transformations. In Proceedings of the 6th International Conference on Model Transformation (ICMT '13), Budapest, Hungary, Keith Duddy and Gerti Kappel, editors, June 2013, volume 7909 of Lecture Notes in Computer Science, pages 141-157. Springer-Verlag Berlin Heidelberg. June 2013, Acceptance Rate: 20.7%. [ bib | DOI | http | .pdf ]
[12] Alberto Avritzer, Sindhu Suresh, Daniel Sadoc Menasché, Rosa Maria Meri Leão, Edmundo de Souza e Silva, Morganna Carmem Diniz, Kishor Trivedi, Lucia Happe, and Anne Koziolek. Survivability models for the assessment of smart grid distribution automation network designs. In Proceedings of the fourth ACM/SPEC International Conference on Performance Engineering (ICPE 2013), Prague, Czech Republic, 2013, ICPE '13, pages 241-252. ACM, New York, NY, USA, New York, NY, USA. 2013. [ bib | DOI | http | .pdf ]
[13] Steffen Becker, Raffaela Mirandola, Lucia Happe, and Catia Trubiani. Towards a methodology driven by dependencies of quality attributes for QoS-based analysis. In Proceedings of the 4th Joint ACM/SPEC International Conference on Performance Engineering (ICPE '13), Work-In-Progress Track, Prague, Chech Repbulic, 2013. ACM, New York, NY, USA. 2013. [ bib ]
[14] Anne Koziolek, Alberto Avritzer, Sindhu Suresh, Daniel Sadoc Menasche, Kishor Trivedi, and Lucia Happe. Design of distribution automation networks using survivability modeling and power flow equations. In Software Reliability Engineering (ISSRE), 2013 IEEE 24th International Symposium on, 2013, pages 41-50. [ bib | DOI | .pdf ]
[15] Alexander Wert, Jens Happe, and Lucia Happe. Supporting swift reaction: automatically uncovering performance problems by systematic experiments. In Proceedings of the 2013 International Conference on Software Engineering, San Francisco, CA, USA, 2013, ICSE '13, pages 552-561. IEEE Press, Piscataway, NJ, USA. 2013. [ bib | http ]
[16] Anne Koziolek, Lucia Happe, Alberto Avritzer, and Sindhu Suresh. A common analysis framework for smart distribution networks applied to survivability analysis of distribution automation. In Proceedings of the First International Workshop on Software Engineering Challenges for the Smart Grid (SE-SmartGrids 2012), 2012, pages 23-29. IEEE. 2012. [ bib | DOI | http | .pdf | Abstract ]
Smart distribution networks shall improve the efficiency and reliability of power distribution by intelligently managing the available power and requested load. Such intelligent power networks pose challenges for information and communication technology (ICT). Their design requires a holistic assessment of traditional power system topology and ICT architecture. Existing analysis approaches focus on analyzing the power networks components separately. For example, communication simulation provides failure data for communication links, while power analysis makes predictions about the stability of the traditional power grid. However, these insights are not combined to provide a basis for design decisions for future smart distribution networks. In this paper, we describe a common model-driven analysis framework for smart distribution networks based on the Common Information Model (CIM). This framework provides scalable analysis of large smart distribution networks by supporting analyses on different levels of abstraction. Furthermore, we apply our framework to holistic survivability analysis. We map the CIM on a survivability model to enable assessing design options with respect to the achieved survivability improvement. We demonstrate our approach by applying the mapping transformation in a case study based on a real distribution circuit. We conclude by evaluating the survivability impact of three investment options.
[17] Daniel S. Menasché, Rosa Maria Meri Leão, Edmundo de Souza e Silva, Alberto Avritzer, Sindhu Suresh, Kishor Trivedi, Raymond A. Marie, Lucia Happe, and Anne Koziolek. Survivability analysis of power distribution in smart grids with active and reactive power modeling. In SIGMETRICS Performance Evaluation Review, Martin Arlitt, Niklas Carlsson, and Nidhi Hegde, editors, 2012, volume 40, pages 53-57. ACM, New York, NY, USA. 2012, Special issue on the 2012 GreenMetrics workshop. [ bib | DOI | http | .pdf ]
[18] Misha Strittmatter and Lucia Happe. Compositional performance abstractions of software connectors. In Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering (ICPE), Boston, Massachusetts, USA, 2012, pages 275-278. ACM. 2012. [ bib | DOI | slides ]
[19] Daniel Dominguez Gouvêa, Cyro Muniz, Gilson Pinto, Alberto Avritzer, Rosa Maria Meri Leão, Edmundo de Souza e Silva, Morganna Carmem Diniz, Luca Berardinelli, Julius C. B. Leite, Daniel Mossé, Yuanfang Cai, Mike Dalton, Lucia Kapova, and Anne Koziolek. Experience building non-functional requirement models of a complex industrial architecture. In Proceedings of the second joint WOSP/SIPEW international conference on Performance engineering (ICPE 2011), Samuel Kounev, Vittorio Cortellessa, Raffaela Mirandola, and David J. Lilja, editors, Karlsruhe, Germany, 2011, pages 43-54. ACM, New York, NY, USA. 2011. [ bib | DOI | http | .pdf ]
[20] Lucia Kapova. Reusable QoS Specifications for Systematic Component-based Design. In ICPE'11: Proceedings of the 2nd ACM/SPEC International Conference on Performance Engineering, 2011. [ bib ]
[21] Jens Happe, Dennis Westermann, Kai Sachs, and Lucia Kapova. Statistical Inference of Software Performance Models for Parametric Performance Completions. In Research into Practice - Reality and Gaps (Proceedings of QoSA 2010), George Heineman, Jan Kofron, and Frantisek Plasil, editors, 2010, volume 6093 of Lecture Notes in Computer Science (LNCS), pages 20-35. Springer. 2010. [ bib | .pdf | Abstract ]
Software performance engineering (SPE) enables software architects to ensure high performance standards for their applications. However, applying SPE in practice is still challenging. Most enterprise applications include a large software basis, such as middleware and legacy systems. In many cases, the software basis is the determining factor of the system's overall timing behavior, throughput, and resource utilization. To capture these influences on the overall system's performance, established performance prediction methods (modelbased and analytical) rely on models that describe the performance-relevant aspects of the system under study. Creating such models requires detailed knowledge on the system's structure and behavior that, in most cases, is not available. In this paper, we abstract from the internal structure of the system under study. We focus our efforts on message-oriented middleware and analyze the dependency between the MOM's usage and its performance. We use statistical inference to conclude these dependencies from observations. For ActiveMQ 5.3, the resulting functions predict the performance with an relative mean square error 0.1.
[22] Martin Kapa and Lucia Kapova. User experience sensitivity analysis guided by videostreaming quality attributes. In Third Joint IFIP Wireless and Mobile Networking Conference (WMNC'2010), 2010. Budapest, Hungary. [ bib | Abstract ]
Increasing of the user requirements on video quality is essential to consider and have in mind while designing any video-providing services. The methods in the user-centered design of services are fairly labor intensive and have to consider resulting user experience. User experience is a term that is very hard to be defined. There are different approaches to user experience assessment. However, they lack a methods to predict expected user experience based on user's subjective point of view. We propose a method of User Experience Sensitivity Analysis to find dependency of user experience on quality attributes of the service and define initial prediction model. Validation of our approach is provided by comparison between the observed values of real user experience and prediction results.
[23] Lucia Kapova and Steffen Becker. Systematic refinement of performance models for concurrent component-based systems. In 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA), 2010, Electronic Notes in Theoretical Computer Science. Elsevier. 2010. [ bib | .pdf | Abstract ]
Model-driven performance prediction methods require detailed design models to evaluate the performance of software systems during early development stages. However, the complexity of detailed prediction models and the semantic gap between modelled performance concerns and functional concerns prevents many developers to address performance. As a solution to this problem, systematic model refinements, called completions, hide low-level details from developers. Completions automatically integrate performance-relevant details into component-based architectures using model-to-model transformations. In such scenarios, conflicts between different completions are likely. Therefore, the application order of completions must be determined unambiguously in order to reduce such conflicts. Many existing approaches employ the concept of performance completions to include performance-relevant details to the prediction model. So far researcher only address the application of a single completion on an architectural model. The reduction of conflicting completions have not yet been considered. In this paper, we present a systematic approach to reduce and avoid conflicts between completions that are applied to the same model. The method presented in this paper is essential for the automated integration of completions in software performance engineering. Furthermore, we apply our approach to reduce conflicts of a set of completions based on design patterns for concurrent software systems.
[24] Lucia Kapova and Barbora Buhnova. Performance-driven stepwise refinement of component-based architectures. In QUASOSS '10: Proceedings of the 2nd International Workshop on the Quality of Service-Oriented Software Systems, Oslo, Norway, 2010, pages 1-7. ACM, New York, NY, USA. 2010. [ bib | DOI ]
[25] Lucia Kapova, Thomas Goldschmidt, Steffen Becker, and Joerg Henss. Evaluating Maintainability with Code Metrics for Model-to-Model Transformations. In Research into Practice - Reality and Gaps (Proceeding of QoSA 2010), George Heineman, Jan Kofron, and Frantisek Plasil, editors, 2010, volume 6093 of LNCS, pages 151-166. Springer-Verlag Berlin Heidelberg. 2010. [ bib | .pdf | Abstract ]
Using model-to-model transformations to generate analysis models or code from architecture models is sought to promote compliance and reuse of components. The maintainability of transformations is influenced by various characteristics - as with every programming language artifact. Code metrics are often used to estimate code maintainability. However, most of the established metrics do not apply to declarative transformation languages (such as QVT Relations) since they focus on imperative (e.g. object-oriented) coding styles. One way to characterize the maintainability of programs are code metrics. However, the vast majority of these metrics focus on imperative (e.g., object-oriented) coding styles and thus cannot be reused as-is for transformations written in declarative languages. In this paper we propose an initial set of quality metrics to evaluate transformations written in the declarative QVT Relations language.We apply the presented set of metrics to several reference transformations to demonstrate how to judge transformation maintainability based on our metrics.
[26] Lucia Kapova, Thomas Goldschmidt, Jens Happe, and Ralf H. Reussner. Domain-specific templates for refinement transformations. In MDI '10: Proceedings of the First International Workshop on Model-Drive Interoperability, Oslo, Norway, 2010, pages 69-78. ACM, New York, NY, USA. 2010. [ bib | DOI ]
[27] Lucia Kapova and Ralf Reussner. Application of advanced model-driven techniques in performance engineering. In Computer Performance Engineering, Alessandro Aldini, Marco Bernardo, Luciano Bononi, and Vittorio Cortellessa, editors, 2010, volume 6342 of Lecture Notes in Computer Science, pages 17-36. Springer Berlin / Heidelberg. 2010, 10.1007/978-3-642-15784-4_2. [ bib | http ]
[28] Lucia Kapova, Barbora Zimmerova, Anne Martens, Jens Happe, and Ralf H. Reussner. State dependence in performance evaluation of component-based software systems. In Proceedings of the 1st Joint WOSP/SIPEW International Conference on Performance Engineering (WOSP/SIPEW '10), San Jose, California, USA, 2010, pages 37-48. ACM, New York, NY, USA. 2010. [ bib | DOI | .pdf | Abstract ]
Performance prediction and measurement approaches for component-based software systems help software architects to evaluate their systems based on component performance specifications created by component developers. Integrating classical performance models such as queueing networks, stochastic Petri nets, or stochastic process algebras, these approaches additionally exploit the benefits of component-based software engineering, such as reuse and division of work. Although researchers have proposed many approaches in this direction during the last decade, none of them has attained widespread industrial use. On this basis, we have conducted a comprehensive state-of-the-art survey of more than 20 of these approaches assessing their applicability. We classified the approaches according to the expressiveness of their component performance modelling languages. Our survey helps practitioners to select an appropriate approach and scientists to identify interesting topics for future research.
[29] Lucia Kapova and Thomas Goldschmidt. Automated feature model-based generation of refinement transformations. In Proceedings of the 35th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), 2009. IEEE. 2009. [ bib | .pdf ]
[30] Lucia Kapova and Petr Hnetynka. Model-driven Development of Service Oriented Architectures. In 16th Annual Conference of Doctoral Students, June 5-8 2007, Proceedings of the 16th Annual Conference of Doctoral Students - WDS 2007. MATFYZPRESS, Prague. June 5-8 2007. [ bib | http ]
[31] Lucia Kapova. SOFA as platform for SOA applications. In IRTGW 2006 workshop, November/November 2006. GITO-Verlag, Schloss Dagstuhl, Germany. November/November 2006. [ bib ]
[32] Lucia Kapova and Frantisek Jakab. Progressive virtual laboratory solution. In The 7th international conference on Virtual University, 2006. E-Academia Slovaka, Bratislava. 2006. [ bib | Abstract ]
This paper deals with the remote laboratory VirtualLAB (VL, http://vl.cnl.tuke.sk) solution developed at Computer Network Laboratory (Technical university of Ko�ice). Aim of the project is to design and implement the conception of VirtualLAB, which provides remote access to specified laboratory network devices. This project will be used in educational process as a part of CNAP (Cisco Networking Academy Program). Using this tool, students can access and configure network devices like routers and switches remotely from any place via Internet.
[33] Lucia Kapova, Frantisek Jakab, Vladimir Andoga, and Michal Nagy. Virtual Laboratory: Component Based Architecture Implementation Experience. In 7-th International Scientific Conf. on Electronic Computers and Informatics, 2006. Herlany. [ bib | Abstract ]
In response to an increased demand for graduate level Information Assurance (IA) education, the SPS/MSCIT (School for Professional Studies/Masters of Science in Computer Information Technology) at Regis University, Denver developed a series of IA courses in late fall of 2003. In addition to the technical, policy and management course content, modern ethical decision making-techniques were integrated into the classroom courses. The courses were developed with the intent to deliver them to online students via the WebCT platform. The course development work was divided into three phases; phase 1, selection of appropriate ethical practices and decision-making techniques from content experts, professional organization, and standards bodies, phase 2, design, development and construction of supporting instructional labs associated with the standards using the MSCIT virtual laboratory at Regis University, and finally phase 3, implementation of the supporting classroom and online Vlabs.
[34] Juraj Galba, Frantisek Jakab, and Lucia Kapova. Remote laboratory in education - VirtualLAB integration in e-learning education methods. In The 4th International Conference on Emerging e-learning Technologies and Applications, 2005, Information and Communications Technologies in Education. ELFA, Kosice. 2005. [ bib | Abstract ]
The article presents architecture of semivirtual campus technical infrastructure for Edinet project. Its aim is to integrate data network laboratories of multiple partners into single unified system accessible by students remotely via Internet. The architecture is defined to integrate various existing remotely accessible networking laboratories and education approaches. The intent was to reach maximum flexibility to support efficient sharing of lab equipment including a possibility to create temporary distributed lab topologies spanning multiple partners.
[35] Marek Lesso, Lucia Kapova, and Rastislav Orsulak. Technologies for building information systems: ESZ Sybase - Administration system case study. In 5th PhD Student Conference, 2005. Kosice. [ bib ]
[36] Jan Michlik, Lucia Kapova, and Frantisek Jakab. System for remote access to the laboratories - Virtual Lab. In 5th PhD Student Conference, 2005. Kosice. [ bib ]
[37] Frantisek Jakab, Jan Michlik, Lucia Kapova, and Juraj Galba. VirtualLab. In 3nd International Conference on Emerging Telecommunications Technologies and Applications, 2004. ELFA, Kosice. 2004. [ bib ]
[38] Jan Michlik, Frantisek Jakab, and Lucia Kapova. Project Virtual Lab. In Annual Cisco Systems Networking Conference 2004, 2004. Stara Lesna. [ bib ]

Technical Reports

[1] Erik Burger, Jörg Henß, Steffen Kruse, Martin Küster, Andreas Rentschler, and Lucia Happe. ModelJoin. A Textual Domain-Specific Language for the Combination of Heterogeneous Models. Technical Report 1, Karlsruhe Institute of Technology, Faculty of Informatics, 2014. [ bib | http ]
[2] 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.
[3] 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.
[4] Petr Hnetynka, Frantisek Plasil, Tomas Bures, Vladimir Mencl, and Lucia Kapova. SOFA 2.0 metamodel. Technical report, Dep. of SW Engineering, Charles University, December 2005. [ bib | Abstract ]
In this report, we present a new version of the SOFA component model � SOFA 2.0. SOFA component model now seamlessly integrates a component-based technology with service-oriented technology. Such a technology merge takes advantages of both approaches and allows for better management of features like dynamic reconfiguration, supporting multiple communication styles, heterogeneous applications, etc.

Theses

[1] Lucia Kapova. Support for interactive experiments and demonstrations: Conception of Virtual Laboratory (in the frame of CNA VirtualLab project). Master's thesis, Technical University of Kosice, Kosice, 2006. [ bib ]

Other

[1] Lucia Happe and Anne Koziolek. A common analysis framework for smart distribution networks applied to security and survivability analysis, 2014. [ bib | DOI | http ]