Advancing Behavior Engineering: Toward Integrated Events Modeling
arXiv:2101.01325
Abstract
The term behavior engineering (BE) encompasses a broad integration of behavioral and compositional requirements needed to model large-scale systems. BE forms a connection between systems-engineering processes and software-engineering processes. In software engineering, interpreting requirements can be perceived as specifying behavior, which is viewed in terms of chronology of events in the modeled system. In this paper, we adopt BE in its general and integrating sense to search for a unifying notion of an event as a fundamental behavior-modeling concept. We examine several bodies of research with various definitions of an event and its basic units and structure. We use the thinging machine (TM) model to analyze notions related to events, including Dromey s behavior trees, fluents (change over time), recurrent events, and Davidson s events. The results point to an underlying meaning that can lead to a unifying event concept.
13 pages, 35 figures
References in corpus (7)
- Modeling the Semantics of States and State Machines
- Modeling Physical/Digital Systems: Formal Event-B vs. Diagrammatic Thinging Machine
- Computer Program Decomposition and Dynamic/Behavioral Modeling
- Changes, States, and Events: The Thread from Staticity to Dynamism in the Conceptual Modeling of Systems
- Conceptual Modeling of Time for Computational Ontologies
- Towards Conceptual Modeling Semantics: Eventizing Tarski's Truth Schema
- Exploration in Algorithm Engineering: Modeling Algorithms