Search

International audience; Giving accurate and relevant static analysis feedback to modeling tool users significantly helps them design useful models. This feedback is even more valuable when it comes with completion proposals, called quick fixes, which users can apply to automatically resolve specific issues. However, implementing such static analysis and quick fix tooling is tedious and error prone. For instance, providing accurate messages typically requires decomposing complex model queries into simpler ones, while suitably handling their dependencies. Moreover, each quick fix should actually resolve the issue it is supposed to fix, which is not always easy to ensure. This paper presents an approach that leverages reverse propagation of OCL-like boolean expressions to provide correct-by-construction quick fixes. It only requires adding specific annotations to expressions in order to guide quick fix computation. A proof-of-concept implementation of this approach on the AnimUML partial modeling tool is described. It is able to automatically construct messages, to report different messages depending on which part of a predicate fails, and to provide quick fixes.

Die EU strebt ein endgültiges und einheitliches Mehrwertsteuersystem an. Das Mehrsteuersteuersystem innerhalb der EU ist immer noch zu kompliziert und betrugsanfällig, aufgrund dessen gibt es schon seit längerer Zeit immer wieder auf europäischer Ebene Reformbestrebungen, um ein robusteres und weniger betrugsanfälliges Mehrwertsteuersystem zu schaffen. Die Kommission der EU plant die Entwicklung eines endgültigen Mehrwertsteuersystems, in dem eine Besteuerung nach dem Bestimmungslandprinzip verwirklicht werden soll. Bis zu der Umsetzung des endgültigen Mehrwertsteuersystems wurden vier Sofortmaßnahmen, die sogenannten Quick Fixes, beschlossen, um das derzeitige EU-Mehrwertsteuersystem zwischen den Mitgliedstaaten zu vereinfachen und vereinheitlichen. Die Quick Fixes sind mit 1. Jänner 2020 in Kraft getreten und sie umfassen die folgenden vier Bereiche: • Konsignationslager; • Reihengeschäfte; • Steuerbefreiung von innergemeinschaftlichen Lieferungen; • Nachweispflichten für innergemeinschaftliche Lieferungen. Die vorliegende Arbeit untersucht, wie sich die Einführung der Quick Fixes auf das Mehrwertsteuersystem auswirkt und wie die Maßnahmen schließlich in das österreichische Recht umgesetzt werden. An dieser Stelle wird zunächst bei jeder Sofortmaßnahme die bisherige umsatzsteuerliche Behandlung aufgezeigt und anschließend die Änderung infolge der Harmonisierung dargestellt. Außerdem erfolgt bei jeder Sofortmaßnahme ein Rechtsvergleich zu Deutschland. Das Ergebnis und die Beurteilung der Quick Fixes zeigt, dass die Einführung der Sofortmaßnahmen für die Verwirklichung eines endgütigen Mehrwertsteuersystems im Gesamten als positiv zu bewerten ist. Die Neuregelungen hinsichtlich des Konsignationslagers und der Reihengeschäfte tragen zur Schaffung von Rechtssicherheit bei. Bei der Steuerbefreiung für innergemeinschaftliche Lieferung sind mehr Formvorschriften zu beachten. Seit dem 1. Jänner 2020 sind für die Steuerbefreiung von innergemeinschaftlichen Lieferungen zwei materiell-rechtliche Voraussetzungen vorgesehen. Darunter fällt die Bekanntgabe der UID-Nummer und die Abgabe einer Zusammenfassenden Meldung. Die Harmonisierung der Nachweispflichten für innergemeinschaftliche Lieferungen ist grundsätzlich als positiv anzusehen, denn sie trägt zur Rechtssicherheit bei, allerdings ist die Regelung der Nachweisführung in der Praxis schwierig umzusetzen, wodurch schließlich auch ein höherer Verwaltungsaufwand entsteht. The EU aim at a final and consistent VAT system. The VAT system within the EU is still too complicated and susceptible to fraud. As a result, reform efforts have been underway for some time at European level to create a more robust and less fraud-susceptible VAT system. The EU Commission is planning to develop a final VAT system, in which taxation based on the destination principle. Pending the implementation of the final VAT system, four areas, the so-called Quick Fixes, have been adopted to simplify and harmonise the current VAT system between EU Member States. The Quick Fixes entered into force on 1 January 2020 and cover the following four areas: • Call-off stock arrangements; • Chain transactions; • Exemption of intra-Community supplies of goods; • Proof of transport. This thesis examines the impact of the introduction of the Quick Fixes Package on the VAT system and how the measures are implemented into Austrian law. Firstly, the previous VAT treatment of each Quick Fix is shown and subsequently the EU VAT changes resulting from the harmonisation. In addition, a legal comparison with Germany is made for each Quick Fix. The result and the evaluation of the Quick Fixes Package show that the introduction of the immediate measures for the realisation of a final VAT system can be assessed as positive overall. The new regulations regarding call-off stock arrangements and chain transactions create a legal certainty. In the case of the exemption for intra-Community supplies of goods more formal requirements have to be considered. Since 1 January 2020, two substantive legal requirements have been provided for the tax exemption of intra-Community supplies. These include the disclosure of the VAT number and the submission of a recapitulative statement. The harmonisation of the obligations of the proof of transport for intra- Community supplies is regarded as positive in principle, as it contributes legal certainty. However, in practice the proof of transport is difficult to implement, which ultimately also leads to a higher administrative burden. vorgelegt von: Melanie Kaltner Wien, FH Campus Wien, Masterarb., 2020

Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. J. Sánchez Cuadrado, E. Guerra and J. de Lara, "Quick fixing ATL model transformations," Model Driven Engineering Languages and Systems (MODELS), 2015 ACM/IEEE 18th International Conference on, Ottawa, ON, 2015, pp. 146-155. doi: 10.1109/MODELS.2015.7338245, The correctness of model transformations is key to obtain reliable MDE solutions. However, current transformation tools provide limited support to statically detect and correct errors. This way, the identification of errors and their correction are mostly manual activities. Our aim is to improve this situation. Based on a static analyser for ATL model transformations which we have previously built, we present a method and a system to propose quick fixes for transformation errors. The analyser is based on a combination of program analysis and constraint solving, and our quick fix generation technique makes use of the analyser features to provide a range of fixes, notably some nontrivial, transformation-specific ones. Our approach integrates seamlessly with the ATL editor. We provide an evaluation based on an existing faulty transformation, and automatically generated transformation mutants, showing overall good results., Work supported by the Spanish MINECO (TIN2011-24139 and TIN2014-52129-R), the R&D programme of the Madrid Region (S2013/ICE-3006), and the EU commission (FP7-ICT-2013-10, #611125).