Modelling Functional Behavior of Event-based Systems: A Practical Knowledge-based Approach

Functional behavior is considered to be the most basic, yet a critical notion in order to determine the characteristics of a system. However, how to reason about the functional behavior of a system in a systematic manner, is mostly limited by our cognitive processing abilities. While the UML-based behavior models can support a visual conceptualization of the functional behavior, they lack the rigorous, machine-processable reasoning capabilities. In this paper, we present a practical, knowledge-based approach to model the functional behavior that incorporates the notions of Commonsense Reasoning and Functional Reasoning over its core defining aspects. We demonstrate our approach with a detailed example, along with a set of use case scenarios. The main motivation behind this work was to develop a rigorous, logic-based approach to verify the levels of functional consistencies between cross-platform event-based systems. The focus of this paper, however, is to present the representational facility that can be utilized for the consistency validation system. While we provide a brief overview of the consistency validation system in this paper, a separate article will be dedicated for the comprehensive overview of the validation system itself.