Specification of systems with parameterised events: An institution-independent approach

Hennicker, Rolf und Knapp, Alexander (2022): Specification of systems with parameterised events: An institution-independent approach. In: Journal of Logical and Algebraic Methods in Programming, Bd. 128, 100791

Abstract

Event-based systems operate in an environment that signals events upon which the system reacts. Besides the control flow of such systems also their data flow is of major importance. We present an event/data-based institution which is generic in the underlying data state institution. The logic is based on previous developments [14,8] and is now extended to take into account event parameters, quantification over data, and non-deterministic choice of arguments in an institution-independent way. We show that the resulting framework forms again an institution. (C) 2022 The Authors. Published by Elsevier Inc.

• Dokumententyp: Zeitschriftenartikel
• Fakultät: Mathematik, Informatik und Statistik > Informatik
• Themengebiete: 000 Informatik, Informationswissenschaft, allgemeine Werke > 004 Informatik
• ISSN: 2352-2208
• Sprache: Englisch