Modelling and analysis techniques for spatio-temporal requirements

Modelling and analysis techniques for spatio-temporal requirements

Mounir Touzani Christophe Ponsard 

Académie de Toulouse, Rue Saint-Roch 75, 31400 Toulouse, France

Centre d’Excellence en Technologies de l’Information et de la Communication, Av. Jean Mermoz 28, Gosselies, Belgique

Corresponding Author Email:;
31 August 2017
| Citation



Requirements Engineering (RE) is a key step in any project aiming at evolving an information system (IS). Current developments, on mobile or cyber-physical systems for example, combine both spatial and temporal dimensions, often reserved to Geographic Information Systems (GIS). This requires more systematic methods for capturing and reasoning about the spatial and temporal nature of requirements. This paper presents a framework for systematically identifying, structuring and reasoning about such requirements, including the selection among alternative designs. In addition to specific techniques combining RE and GIS contributions, a guidance process is also detailed. The process has a dedicated tool support and was also validated on different cases. One of them is used as running example to illustrate our extensions. 


requirements engineering, spatio-temporal requirements, goal orientation, argumentation, traceability, process guidance, design decision

1. Introduction
2. État de l’art
3. Description de l’étude de cas : fusion de deux universités
4. Extension des modèles d’IE avec des notations spatiales et temporelles
5. Extension du processus de construction du modèle des exigences via les aspects spatiaux et temporels
6. Implémentation des extensions spatiotemporelles
7. Conclusion et perspectives

Ce travail a été financé en partie par le projet PIT de la Région wallonne (conv. nr.7481). Nous remercions Respect-IT pour la mise à disposition du SDK de son outil.


Allen A., Yabushita S. (1984). On galaxy interactions during violent relaxation of clusters. The Astrophysical Journal, vol. 278, p. 468468.

Amyot D., Mussbacher G. (2011). User requirements notation: The first ten years, the next ten years. JSW, vol. 6, n° 5, p. 747-768.

Bailly J., Méliet B., Pornon H. (2011). Sig: La dimension géographique du système d’informa tion. Dunod.

Becker R. et al. (1990). Network visualization. 4th International Symposium on Spatial Data Handling, Zurich, Switzerland, 23-27 juillet.

Berzuini C., Quaglini S., Bellazzi R. (1991). Belief Network Representations of Temporal Knowledge for Medical Expert Systems. In Proc. of the Workshop “System Engineering in Medicine”, Maastricht, March 16-18. Springer Berlin Heidelberg.

Bédard Y., Larrivée S. (2008). Modeling with pictogrammic languages. Encyclopedia of Geographic Information Sciences, Shekar S., Xiong H. (Eds), p. 716-725.

Cholley-Gomez M. (2015, 24 Janvier). Nouvelle Université de Montpellier : une fusion réussie.

Claramunt C., Jiang B. (2001). An integrated representation of spatial and temporal relationships between evolving regions. Journal of Geographical Systems, vol. 3, n° 4, p. 411-428.

Clementini E. (2009). A Conceptual Framework for Modelling Spatial Relations. Thèse de doctorat en informatique, INSA Lyon.

Dardenne A., van Lamsweerde A., Fickas S. (1993). Goal-directed requirements acquisition.

Darimont R., Ponsard C. (2015). Supporting quantitative assessment of requirements in goal orientation. In 23rd IEEE International Requirements Engineering Conference.

Darimont R., van Lamsweerde A. (1996). Formal refinement patterns for goal-driven requirements elaboration. In Proceedings of the 4th acm sigsoft symposium on foundations of software engineering, p. 179-190. New York, NY, USA, ACM.

Desconnets J.-C., Kazmierski M. (2015). Mutualiser des données spatiales et des traitements en environnement. Revue des sciences et technologies de l’information, vol. 20, n° 3,p. 89-115.

Diouf M. (2007). Spécification et mise en oeuvre d’un formalisme de règles métier. Thèse de doctorat non publiée.

Egenhofer M. J., Franzosa R. D. (1991). Point-set topological spatial relations. International Journal of Geographical Information Systems, vol. 5, n° 2, p. 161-174.

Frank A. U. (1994). Qualitative temporal reasoning in gisordered time scales. Proc. of the 6th Int. Symposium on Spatial Data Handling, Waugh T. C. et R.C.H. (Ed.).

Galton A. (1993). Towards an integrated logic of space, time, and motion. IJCAI, vol. 93, p. 1550-1555.

Hughes D. L., Dwivedi Y. K., Simintiras A. C., Rana N. P. (2015). Success and failure of is/it projects: A state of the art analysis and future directions (1re éd.). Springer Int. Publishing. IEEE. (1990). Standard glossary of software engineering terminology. ISO29148. (2011, Dec). Systems and software engineering – life cycle processes –requirements engineering. ISO/IEC/IEEE 29148:2011(E), p. 1-94.

Jarczyk A.P.J., Löffler P., Iii F. M. S. (1992). Design rationale for software engineering: A survey. In 25th Hawaii International Conference on System Sciences, p. 577-586. Press.

Kalogirou S. (2002). Expert systems and gis: an application of land suitability evaluation. Computers, Environment and Urban Systems, vol. 26, n° 2-3, p. 89-112.

Kosters G., Pagel B.-U., Six H.-W. (1996). Geoooa: object-oriented analysis for geographic information systems. In Proc. of the 2nd int. conf. on requirements engineering, p. 245-253.

Laurini R., Thompson D. (1992). Fundamentals of geographic information systems. Academic Press Limited. 0-12-438380-7.

Le Ber F., Ligozat G., Papini O. (2007). Raisonnements sur l’espace et le temps : des modèles aux applications. Lavoisier. Consulté sur

Le Parc-Lacayrelle A. et al. (2007). Entreposage de documents et données semistructurées. Hermes, Lavoisier.

Ligozat G. (1998). Reasoning about cardinal directions. Journal of Visual Languages and Computing, vol. 9, n° 1, p. 23-44.

Maguire D. J., Longley P. A. (2005). The emergence of geoportals and their role in spatial data infrastructures. Computers, Environment and Urban Systems, vol. 29, n° 1, p. 3-14.

Mahaux M. (2004). Vers une Spécification Allégée pour l’Analyse des Besoins Orientée-Objectifs. Mémoire de fin d’étude, EPL, Université catholique de Louvain.

Manna Z., Pnueli A. (1992). The temporal logic of reactive and concurrent systems. New York, NY, USA, Springer-Verlag New York, Inc.

Mathian H., Sanders L. (2014). Objets géographiques et processus de changement. London,ISTE.

Merilinna J. (2014). A mechanism to enable spatial reasoning in jboss drools. In Int. Conf. on Industrial Automation, Information and Communication Technology.

Papadias D., Kavouras M. (1994). Acquiring, representing and processing spatial relations. In Presented at sixth international symposium on spatial data handling. Taylor & Francis.

Pinet F. (2012, juillet). Entity-relationship and object-oriented formalisms for modeling spatial environmental data. Environ. Model. Softw., vol. 33, p. 80-91.

Ponsard C., Darimont R. (2017). Quantitative Assessment of Goal Models within and beyond the Requirements Engineering Tool: A Case Study in the Accessibility Domain. In Proc.of the 10th International i* Workshop, Essen, Germany, June 12-13, p. 13-18.

Ponsard C., Snoeck V. (2006). Objective accessibility assessment of public infrastructures. In Computers helping people with special needs, 10th int. conf. linz, Austria, July, p. 314-21.

Ponsard C., Touzani M. (2017). Extending land administration domain models with a goal perspective. In Proc. of the 3rd Int. Conference on Geographical Information Systems Theory, Applications and Management, Porto, Portugal, 27-28 April, p. 244-249.

Pullar D. V., Egenhofer M. J. (1988). Towards the defaction and use of topological relations among spatial objects. In Proc. of the 3rd Int. Symposium on Spatial Data Handling.

Randell D., Cui Z., Cohn A. (1992). A spatial logic based on regions and connection. In Proc. 3rd Int. Conf. on Knowledge Representation and Reasoning. San Mateo, Morgan Kaufmann.

Rathnayake Y., Senarath A. (2014). Developing and maintaining a fleet management system with wso2 cep.

Respect-IT. (2005). Objectiver Requirements Engineering Tool.

Rolland C., Salinesi C. (2005). Engineering and managing software requirements. A. Aurum, C. Wohlin (Eds.), Berlin, Heidelberg, Springer Berlin Heidelberg, p. 189-217.

Soltanpoor R., Sellis T. (2016). Prescriptive Analytics for Big Data. Databases Theory and Applications: 27th Australasian Data- base Conference, Sydney, M. A. Cheema, W. Zhang, L. Chang (Eds.), September 28-29, p. 245-256. Springer International Publishing.

Touzani M., Anne L., Libourel T., Quinqueton J. (2015). Towards Geographic Requirements Engineering. In KMIKS’15. Hammamet, Tunisia.

Touzani M., Ponsard C. (2016). Towards Modelling and Analysis of Spatial and Temporal Requirements. In 24th IEEE International Requirements Engineering Conference, RE 2016, Beijing, China, September 12-16, p. 389-394.

Touzani M., Ponsard C., Laurent A., Libourel Rouge T., Quinqueton J. (2016). Stratégies ouvertes d’intégration de règles métiers géomatiques dans un système d’information de gestion. In SAGEO: Spatial Analysis and GEOmatics. Nice, décembre, France.

van Lamsweerde A. (2009). Requirements engineering - From system goals to UML models to software specifications, Wiley.

van Lamsweerde A., Letier E. (2000). Handling obstacles in goal-oriented requirements engineering. IEEE Trans. Softw. Eng., vol. 26, n° 10, octobre, p. 978-1005.

van Lamsweerde A., Letier E., Darimont R. (1998). Managing Conflicts in Goal-Driven Requirements Engineering. IEEE Trans. Softw. Eng., vol. 24, n° 11, p. 908-926.

Yu E. S. K., Mylopoulos J. (1997, avril). Enterprise modelling for business redesign: The i* framework. SIGGROUP Bull., vol. 18, n° 1, p. 59-63.

Zimmermann K., Freksa C. (1996). Qualitative spatial reasoning using orientation, distance, and path knowledge. Applied Intelligence, vol. 6, p. 49-58.