Logo des Repositoriums

Auflistung nach Autor:in "Mayr, Heinrich C."

1 - 10 von 525
  • Zeitschriftenartikel
    10 Antworten auf 11 Fragen an den Präsidenten der GI
    (Informatik Spektrum: Vol. 43, No. 4, 2020) Mayr, Heinrich C.
  • Konferenzbeitrag
    14. Workshop Automotive Software Engineering
    (Informatik 2016, 2016) Baunach, Marcel; Ribeiro, Leandro B.
  • Konferenzbeitrag
    1st international workshop on the adequacy of modeling methods (AQEMO'2016)
    (Modellierung 2016 - Workshopband, 2016) Fill, Hans-Georg; Mayr, Heinrich C.; Oberweis, Andreas; Thalheim, Bernhard
  • Konferenzbeitrag
    2nd International workshop on big data, smart data and semantic technologies - BDSDST 2016
    (Informatik 2016, 2016) Roedder, Nico; Zander, Stefan; Kleiner, Natalja; Sejdocic, Suad; Jähnichen, Stefan; Studer, Rudi
  • Konferenzbeitrag
    3D modeling of selected assets, security zones and conduits
    (Informatik 2016, 2016) Seibt, Simon; Waedt, Karl; Delfs, Hans; Odorfer, Simon
  • Konferenzbeitrag
    4. Workshop: Umweltinformatik zwischen Nachhaltigkeit und Wandel (UINW 2016)
    (Informatik 2016, 2016) Naumann, Stefan; Voigt, Kristina
  • Konferenzbeitrag
    50 Jahre Verhaltensmodellierung: Vom Modellieren mit Programmen zum Programmieren mit Modellen
    (Modellierung 2010, 2010) Reisig, Wolfgang
    Software entwickeln bedeutet, die Kluft zwischen algorithmischen Ideen und implementierten Programmen zu überbrücken. Dabei helfen Modelle: Ein adäquates Modell einer algorithmische Idee repräsentiert die relevanten Aspekte der Idee verständlich und unmittelbar einsichtig. Ein gutes Modell vermeidet Zusätze oder Abstriche, die lediglich der verwendeten Modellierungstechnik geschuldet wären. In diesem Beitrag konzentrieren wir uns auf Modelle zur Beschreibung des dynamischen Verhaltens von Systemen. Während „Datenmodellierung“ ein aus der Datenbanktheorie wohlbekanntes Konzept ist, gibt es für das Modellieren von Verhalten keinen gleichermaßen etablierten Begriff. Ein solcher Begriff würde weit mehr als den Kontrollund Datenfluss umfassen und auch generelle Fragen an das Konzept des „Algorithmus“ stellen. Eine Modellierungstechnik stellt Ausdrucksmittel bereit, um eine spezifische Art von Modellen zu charakterisieren. Eine zweckmäßige Modellierungstechnik bietet außerdem ausdrucksstarke Verfahren zur Analyse dieser Modelle, d.h. zum Nachweis spezieller Eigenschaften. Wir konzentrieren uns hier auf Techniken zur Verhaltensmodellierung, die ausdrucksstarke Analyseverfahren bereitstellen. Wir streifen ihre historische Entwicklung, versuchen eine Klassifikation solcher Techniken gemäß signifikanter Kriterien, und fragen nach den wichtigsten Gestaltungsprinzipien zukünftiger Modellierungstechniken.
  • Zeitschriftenartikel
    A Model Centered Perspective on Software-Intensive Systems.
    (EMISA Forum: Vol. 38, No. 1, 2018) Mayr, Heinrich C.; Michael, Judith; Shekhovtsov, Vladimir A.; Ranasinghe, Suneth; Steinberger, Claudia
  • Konferenzbeitrag
    An access control service for dynamic and hierarchical resources: Declarative model and implementation on top of XACML
    (Information systems technology and its applications, 3rd international conference ISTA'2004, 2004) Psaila, Giuseppe; Biondi, Fulvio
    The increasing complexity of (distributed) information systems requires new solutions for dealing with access control problems. In particular, information systems are based on a large number of resources, with very complex structure, that must be accessed by a large variety of users. Traditional and instance based solutions are not adequate. In this paper, we propose a new approach to the problem. First of all, we define an access control model which is declarative, modular, hierarchical and instance independent, so that it is suitable for highly dynamic contexts. Then, we reports about the implementation of a Profile Service, which effectively exploits the XACML technology to simplify and shorten the development.
  • Konferenzbeitrag
    Adaptable Model Versioning in Action
    (Modellierung 2010, 2010) Brosch, Petra; Kappel, Gerti; Seidl, Martina; Wieland, Konrad; Wimmer, Manuel; Kargl, Horst; Langer, Philip
    In optimistic versioning, multiple developers are allowed to modify an artifact at the same time. On the one hand this approach increases productivity as the development process is never stalled due to locks on an artifact. On the other hand conflicts may arise when it comes to merging the different modifications into one consolidated version. In general, the resolution of such conflicts is not only cumbersome, but also error-prone. Especially if the artifacts under version control are models, little support is provided by standard versioning systems. In this paper we present the enhanced versioning process of the model versioning system AMOR. We show how AMOR is configured in order to obtain a precise conflict report which allows the recommendation of automatically executable resolution patterns. The user of AMOR chooses either one of the recommendations or performs manual resolution. The manual resolution may be in collaboration with other developers and allows to infer new resolution patterns which may be applied in similar situations.