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

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 bas...

Full description

Saved in:
Bibliographic Details
Published in:Journal of logical and algebraic methods in programming 2022-08, Vol.128, p.100791, Article 100791
Main Authors: Hennicker, Rolf, Knapp, Alexander
Format: Article
Language:English
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:2352-2208
DOI:10.1016/j.jlamp.2022.100791