Autor*innen mit den meisten Dokumenten
Auflistung nach:
Neueste Veröffentlichungen
- KonferenzbeitragEnriching OSGI service interfaces with formal sequential contracts(Software Engineering 2011 – Workshopband, 2011) Müller, Marco; Balz, Moritz; Goedicke, MichaelArchitecture description languages define component interfaces with sequential contracts, which allow for static analysis of method call sequences in component or service interactions. However, component and service platforms like OSGi for Java do not provide mechanisms for the specification or enforcement of such sequential contracts. Thus the contracts are only defined in the documentation which might be outdated when long-living systems evolve at the implementation level. This vision paper proposes to attach formal sequential models, in our case interface automata, to the interface definition of OSGi services, so that the modeling information is permanently and tightly coupled to the implementation. This enables consistent documentation, static analysis of component interactions at design time, and real-time enforcement of behavioural contracts at run time. By this means, component interactions can be seamlessly verified in long-living systems when components and their connections are added or changed over time.
- KonferenzbeitragKompatibilitätsanalyse bei Evolution framework-basierter Anwendungen(Software Engineering 2011 – Workshopband, 2011) Christ, Fabian; Bals, Jan-ChristopherDie Entwicklung betrieblicher Informationssysteme basiert auf dem Einsatz von Frameworks. Diese bieten ein hohes Maß an Wiederverwendung und sind flexibel anpassbar. Mit der Evolution der eingesetzten Frameworks unabhängig von der Anwendung entsteht die Notwendigkeit, Frameworks durch neuere Versionen zu ersetzen, um Fehler zu beheben oder neue Funktionen benutzen zu können. Etwaige Inkompatibilitäten neuer Versionen erfordern Anpassungen an der Anwendung. In der Praxis entsteht das Problem, dass die erforderlichen Anpassungen schwierig zu bestimmen sind. In dieser Arbeit zeigen wir einen Ansatz zur automatischen Kompatibilitätsanalyse bei der Evolution framework-basierter Anwendungen.
- Editiertes Buch
- KonferenzbeitragA seamless model-based development process for automotive systems(Software Engineering 2011 – Workshopband, 2011) Holtmann, Jörg; Meyer, Jan; Meyer, MatthiasSafety critical functions for embedded systems are increasingly realized with software. Current and future standards and maturity models impose high accuracy and quality for the development process of such software-intensive, embedded systems. But nowadays, there are process and tooling gaps between different modeling aspects for the system under development (SUD). Furthermore, the SUD is usually verified and validated not until it is completely implemented, which leads to expensive corrections. In this paper we present a seamless, model-based development process, which is intended for the automotive supplier domain and conforms to the process reference model of Automotive SPICE®1. The development process addresses the issues mentioned above by using systematic transitions between different modeling aspects and simulations in early development stages.
- KonferenzbeitragENVISION 2020: Zweiter Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme(Software Engineering 2011 – Workshopband, 2011) Lauenroth, Kim; Rzepka, Mark
- KonferenzbeitragTowards software sustainability guidelines for long-living industrial systems(Software Engineering 2011 – Workshopband, 2011) Koziolek, Heiko; Weiss, Roland; Durdik, Zoya; Stammel, Johannes; Krogmann, KlausLong-living software systems are sustainable if they can be cost-effectively maintained and evolved over their complete life-cycle. Software-intensive systems in the industrial automation domain are typically long-living and cause high evolution costs, because of new customer requirements, technology changes, and failure reports. Many methods for sustainable software development have been proposed in the scientific literature, but most of them are not applied in industrial practice. We identified typical evolution scenarios in the industrial automation domain and conducted an extensive literature search to extract a number of guidelines for sustainable software development based on the methods found in literature. For validation purposes, we map one evolution scenario to these guidelines in this paper.
- KonferenzbeitragIntroducing adaptivity to achieve longevity for software(Software Engineering 2011 – Workshopband, 2011) Derakhshanmanesh, Mahdi; Ebert, Jürgen; Amoui, Mehdi; Tahvildari, LadanLong living software systems (LLSSs) must provide the flexibility to react to changes in their operating environment as well as to changes in the user's requirements, even during operation. Self-adaptive software systems (SASSs) face adaptivity at runtime within predefined bounds. Yet, not all types of necessary variations can be anticipated and unforeseen changes to software may happen. Thus, systems that are meant to live in such an open-ended world must provide self-adaptivity (micro adaptation), but there is an additional need for adaptability of the system so that it can be adjusted externally (macro adaptation). This paper gives an overview of the graphbased runtime adaptation framework (GRAF) and sketches how it targets both types of adaptation.
- KonferenzbeitragIdentifikation der Potenziale dreidimensionaler Softwarevisualisierung - Zielstellung und Vorgehen(Software Engineering 2011 – Workshopband, 2011) Müller, RichardDie Softwarevisualisierung ist ein wesentlicher Bestandteil der ingenieurmäßigen Softwareentwicklung. Sie macht statische, dynamische und evolutionäre As- pekte von Softwareartefakten in den verschiedenen Phasen des Softwarelebenszyklus sichtbar. Mithilfe von aufgaben- und rollenspezifischen Sichten kann die Software schneller verstanden und ihr Entwicklungsprozess besser gesteuert und kontrolliert werden. Das zentrale Ziel der Arbeit liegt in der Optimierung des Softwareentwicklungsprozesses, indem Nutzenpotenziale der dreidimensionalen Softwarevisualisierung für einzelne Aufgaben dieses Prozesses identifiziert werden. Der tatsächliche Nutzen dieser Potenziale soll dann theoretisch und empirisch überprüft werden und neue Erkenntnisse für Wissenschaft und Praxis liefern.
- KonferenzbeitragTowards the combination of clustering-based and pattern-based reverse engineering approaches(Software Engineering 2011 – Workshopband, 2011) Travkin, Oleg; Detten, Markus von; Becker, SteffenReverse Engineering, i.e. the analysis of software for the purpose of recovering its design documentation, e.g. in form of the conceptual architecture, is an important area of software engineering. Today, two prevalent reverse engineering approaches have emerged: (1) the clustering-based approach which tries to analyze a given software system by grouping its elements based on metric values to provide the reverse engineer with an overview of the system and (2) the pattern-based approach which tries to detect predefined structural patterns in the software which can give insight about the original developers' intentions. These approaches operate on different levels of abstraction and have specific strengths and weaknesses. In this paper, we sketch an approach towards combining these techniques which can remove some of the specific shortcomings.
- KonferenzbeitragModel synchronization for mechatronic systems(Software Engineering 2011 – Workshopband, 2011) Rieke, JanThe development of complex mechatronic systems requires the close collaboration of different disciplines on models of the system under development. During such a model-based development, inconsistencies between the different disciplinespecific models are likely to occur, which could lead to increased development time and costs if they remain unresolved. Model transformation and synchronization are promising techniques to detect and resolve such inconsistencies. However, existing model synchronization solutions are not yet powerful enough to support such an application scenario. My goal is to extend and improve model synchronization techniques so that they allow for synchronized models with multiple views and abstraction levels, as required by this development process.