Logo des Repositoriums

Auflistung nach Schlagwort "distributed systems"

1 - 2 von 2
  • Zeitschriftenartikel
    Hayeks Katallaxie — Ein zukunftsweisendes Konzept für die Wirtschaftsinformatik?
    (Wirtschaftsinformatik: Vol. 45, No. 5, 2003) Eymann, Torsten; Sackmann, Stefan; Müller, Günter
    The mobile and increasingly ubiquitous use of information technology leads to more dynamic, constantly self-reconfiguring networks. Their services are available anytime and anywhere; as software agents, they can make local, context-aware decisions. F. A. von Hayek developed a theory for economic coordination based on individual decision making. This paper presents the explanation concepts of economic self-organisation as at least one option for the design of decentralized coordination of information systems consisting of autonomous software agents with limited information processing capacity and incomplete information. Experiments using a multi-agent system show that a targeted change of this basic rule set directly influences the behaviour of the individual elements and indirectly the behaviour of the overall system.
  • Konferenzbeitrag
    A Theory for Event-Driven Specifications Using Focus and MontiArc on the Example of a Data Link Uplink Feed System
    (Software Engineering 2023 Workshops, 2023) Kausch, Hendrik; Pfeiffer, Mathias; Raco, Deni; Rath, Amelie; Rumpe, Bernhard; Schweiger, Andreas
    The development of avionics message communication systems is expensive due to their complexity and the need to get them accepted by the certification authorities. We need to develop high-integrity software, but we also face cost pressure. For managing complex large systems, several time-synchronous modeling languages have been proposed. While these are appropriate for hardware specifications, when it comes to specifying distributed software systems, an event-based specification style is better suited. We present an event-based specification theory based on the framework Focus by giving the signatures and data types for specifications using event automata. For this, we capture message processing order as a further dimension of non-determinism by specifying a general timed merge component. These event automata can represent underspecification of behavior, and a refinement calculus can be applied to these for a stepwise reduction of non-determinism. Furthermore, we present the necessary concepts for enabling a user-friendly specification and simulation of event-based systems by using the architecture description language MontiArc. Finally, we evaluate our approach by performing a top-down architecture design of an avionics case study and demonstrating event-based specifications of requirements in MontiArc. The presented methodology improves the management of complexity, reduces costs, and increases the system quality.