UML Consistency Rules:a Case Study with Open-Source UML Models

in Proceedings of the 8th International Conference on Formal Methods in Software Engineering (2020, July)

UML models are standard artifacts used by software engineers for designing software. As software is designed, different UML diagram types (e.g., class diagrams and sequence diagrams) are produced by ... [more ▼]

UML models are standard artifacts used by software engineers for designing software. As software is designed, different UML diagram types (e.g., class diagrams and sequence diagrams) are produced by software designers. Since the various UML diagram types describe different aspects of a software system, they are not independent but strongly depend on each other, hence they must be consistent. Inconsistencies cause faults in the final software systems. It is, therefore, paramount that they get detected, analyzed, and fixed. Consistency rules are a useful tool proposed in the literature to detect inconsistencies. They categorize constraints that help in identifying inconsistencies when violated. This case study aims at collecting and analyzing UML models with OCL consistency rules proposed in the literature and at promoting the development of a reference benchmark that can be reused by the (FM-)research community. We collected 33 UML consistency rules and 206 different UML diagrams contained in 34 open-source UML models presented in the literature. We propose an FM-based encoding of the consistency rules in OCL. This encoding allows analyzing whether the consistency rules are satisfied or violated within the 34 UML models. To assess the proposed benchmark, we analyzed how the UML models, consistency rules, diagram types contained in the benchmark help in assessing the consistency of UML models, and the consistency of diagrams across the different software development phases. Our results show that the considered UML models and consistency rules allowed identifying 2731 inconsistencies and that those inconsistencies refer to different software development phases. We concluded that the considered UML models and consistency rules could be considered as an initial benchmark that can be further extended by the research community. [less ▲]

Umsatzsteuerrückerstattung für geförderte EU-Forschungsprojekte als Folge der Umsatzsteuerbefreiung der Europäischen Union?

in Österreichische Steuerzeitung (2010), (8), 175-182

(Forschungs)instituten von Universitäten oder anderen Körperschaften öffentlichen Rechts steht nach dem UStG idR kein Recht auf Vorsteuerabzug zu, was gerade für die Anschaffung teurer ... [more ▼]

(Forschungs)instituten von Universitäten oder anderen Körperschaften öffentlichen Rechts steht nach dem UStG idR kein Recht auf Vorsteuerabzug zu, was gerade für die Anschaffung teurer Forschungsgeräte ein massives Hindernis darstellen kann. Auf Grundlage einer Vereinbarung der österreichischen Bundesregierung mit der Europäischen Kommission könnte allerdings die Möglichkeit bestehen, eine Rückerstattung jener Mehrwertsteuerbeträge zu erlangen, die auf Anschaffungen für von der EU geförderte Projekte lasten. Das Bundesministerium für Finanzen erstattet danach die Mehrwertsteuer, die auf Anschaffungen nicht vorsteuerabzugsberechtigter Forschungseinrichtungen entfällt, wenn sie von der EU im Rahmen der Forschungsförderung finanziert wurden. Die Entlastung scheitert allerdings an der strengen Sichtweise des BMF, welches das Antragsrecht nur der EU selbst zugesteht und damit die Erstattung effektiv ins Leere laufen lässt. Der Beitrag unterzieht vor diesem Hintergrund vor allem auch die Umsatzsteuerbefreiung der EU einer eingehenden Untersuchung. [less ▲]

Umsetzung der Inklusion in der Bildungslandschaft der EU: Anregungen für die Schweiz

in FACHFORUM SUPPORTED EDUCATION (2016, May 29)

Umstellung eines Campingplatzes auf solare Energieversorgung

in Konferenzbeiträge Bauphysiktage Kaiserslautern 2022 (2022), 5

Der fortschreitende Klimawandel verlangt ein Umschwenken, weg von der fossilen Energieversorgung und hin zu den Erneuerbaren, wobei nachhaltige Tourismusangebote auch verstärkt einbezogen werden müssen ... [more ▼]

Der fortschreitende Klimawandel verlangt ein Umschwenken, weg von der fossilen Energieversorgung und hin zu den Erneuerbaren, wobei nachhaltige Tourismusangebote auch verstärkt einbezogen werden müssen. Der Campingplatz Treviris liegt auf dem Gelände des Rudervereins Treviris Trier und verzeichnet jährlich von Mitte April bis Mitte Oktober zwischen 40 und 50.000 Übernachtungen. Im Zuge des Neubaus des Bootshauses wird der vorhandene Gasanschluss zurückgebaut und die gesamte Wärme- und Stromversorgung der Liegenschaft muss auf regenerative Energien umgestellt werden. So soll der Bedarf des Campingplatzes, des Bootshauses (KfW 40 EE), der angegliederten Wohnbebauung mit zehn Wohneinheiten (KfW 40+) sowie mehrere Ladestationen emissionsneutral durch Sonnenenergie versorgt werden. Hauptbestandteile des Konzeptes sind eine 105 kWpeak PV Anlage mit 90 kWh Batteriespeicher sowie zwei Wärmepumpen, die um eine 80 m² hybride solarthermische Photovoltaikanlage (PVT) auf dem Campingplatz ergänzt werden soll. Insbesondere die Warmwasserversorgung des Campingplatzes ist hierbei eine Herausforderung, da die auftretenden Leistungsspitzen von 4m3 Warmwasser (WW) in 2 h nicht ausschließlich mittels Wärmepumpe bereitgestellt werden können. Es wird auf Wärmespeicher mit zentraler Frischwasserstation zurückgegriffen. Für die Dimensionierung der Hauptkomponenten: PVT Feld, Wärmepumpe und Pufferspeicher wird eine Zeitreihenanalyse mit variierendem Bedarf und schwankendem Solarangebot durchgeführt. [less ▲]

UMTG: A Toolset to Automatically Generate System Test Cases from Use Case Specifications

in 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Bergamo 30 August - 4 September 2015 (2015, September)

We present UMTG, a toolset for automatically generating executable and traceable system test cases from use case specifications. UMTG employs Natural Language Processing (NLP), a restricted form of use ... [more ▼]

We present UMTG, a toolset for automatically generating executable and traceable system test cases from use case specifications. UMTG employs Natural Language Processing (NLP), a restricted form of use case specifications, and constraint solving. Use cases are expected to follow a template with restriction rules that reduce imprecision and enable NLP. NLP is used to capture the control flow implicitly described in use case specifications. Finally, to generate test input, constraint solving is applied to OCL constraints referring to the domain model of the system. UMTG is integrated with two tools that are widely adopted in industry, IBM Doors and Rhapsody. UMTG has been successfully evaluated on an industrial case study. [less ▲]

Umweltmanagement. Neue Ansätze durch EG-Öko-Audit und DIN-ISO 14001.

in Internationales Verkehrswesen (1996), 48(9), 39-44

Umweltschutz in der Industrieproduktion. Vom notwendigen Übel zum strategischen Wettbewerbsvorteil.

in Praxis Geographie (2003), 33(2), 35-39

Umweltschutz in Frankreich - eine stille Revolution?

in Dokumente : Zeitschrift für den deutsch-französischen Dialog = Documents : revue du dialogue franco-allemand (2000), 56(5), 369-378

Umweltverhältnisse im saarländischen Biosphärenreservat Bliesgau – Wahrnehmung durch die Bevölkerung und „Realität“ physisch-geographischer Untersuchungsergebnisse

Scientific Conference (2012, November 06)

Un exemple de ''marketing arbitral'': le réseau associatif

in Revue de l'Arbitrage (2012)