Towards Modelling and Analysis of Spatial and Temporal Requirements
Mounir Touzani, Christophe Ponsard · 2016
Requirements Engineering is a key step in any project aiming at evolving an information system. The temporal dimension of requirements is already supported by specific formalisms which enable the verification of the temporal behaviour of the system under construction. In contrast, space requirements have for long been reserved to Geographic Information Systems. Nowadays, systems are becoming ubiquitous due to generalisation of mobile technologies and the emergence of the Internet of Things and Cyber-Physical Systems. This increasing level of connection of the software with the real-world requires more systematic methods for capturing and reasoning about the system not only from the temporal but also from the spatial point of views. Here, we present our ongoing effort for systematically identifying, structuring and reasoning about spatial and temporal requirements. Our work lies at the cross-roads of goal-oriented requirements engineering and geomatics. We discuss our current progress on the design of a coherent set of notations borrowed from both fields to enrich domain and goal models with spatial and temporal properties. We also sketch how specific methodologicalsupport can be provided on top of them to achieve high quality requirements.