Introduction. Supporting multiple, heterogeneous platforms for the modern eventdriven systems, e.g., mobile computing based applications, is a common requirement for any large-scale software engineering projects. When dealing with the functional behavior of these systems, an effective software engineering approach must tackle the following key challenges: (a) validating the level of functional consistencies between the crossplatform application systems; (b) maintaining a consistent co-evolution of the crossplatform functionalities based on the evolving requirements of the system's domain; and, (c) comprehending the functional changes that can be both human comprehensible and machine processable. The ultimate goal of this work is to develop an approach that can promote a machine-processable, intelligent decision-support mechanism for the kinds of functional reasoning that is required in order to mitigate these latter challenges for the Software Engineers. In order to achieve our goal, we consider the following research questions to be the critical driving force.
Methodology. The idea is to utilize the powerful notion of ontology in order to
mitigate the heterogeneity issues among the systems that are intended to have a set of
identical functional goals. By representing the functional behavior of the systems into an
ontology, we can have an effective mechanism to validate the levels of functional consistency
among the systems. Since we are dealing with the event-based systems like mobile apps,
the focus of the representation should be the functionalities that can be observed from
its User Interface (UI) elements. Since the events associated with the UI elements are
indicative of the system’s behavior [
Results. Based on the theory of action, events, and change, as understood from
the literature of commonsense reasoning [