Engineering spatial concepts | The Knowledge Engineering Review | Cambridge Core (original) (raw)

Abstract

The success of a software system strongly depends on the ability of turning a precise domain analysis into a concrete architecture. Even if the domain model relies on sound ontological bases, there is often a wide semantic gap between the conceptual model and the concrete components that should reify it. To fill the semantic gap, relevant domain concepts should be engineered by identifying the corresponding architectural abstractions, which can be realized by concrete software components. Space plays a crucial role in many application domains, but surprisingly, related architectural abstractions have not emerged yet. This paper proposes space-related abstractions derived from the application of classical software engineering principles; in particular, the information hiding principle that leads to an operational definition of space. Basic abstractions are refined to deal with architectural aspects. As the underlying software engineering principles are close to principles that underlie the definition of space ontologies, the conjecture is that the proposed space architectural abstractions might be the basis for a formalization in ontological terms.

References

Bass, L., Clements, P.Kazman, R. 2003. Software Architecture in Practice, 2nd edn.Addison-Wesley.Google Scholar

Bateman, J., Farrar, S. 2004a. Modelling models of robot navigation using formal spatial ontology. In Spatial Cognition IV: Reasoning, Action, Interaction, Frauenchiemsee, 11–13 October 2004, Freksa, C., Knauff, M., Krieg-Brückner, B., Nebel, B. & Barkowsky, T. (eds). Springer, 366–389.Google Scholar

Bateman, J.Farrar, S. 2004b. Spatial Ontology Baseline. Collaborative Research Center for Spatial Cognition, University of Bremen (I1-[OntoSpace]:D2, SFB/TR8).Google Scholar

Bateman, J.Farrar, S. 2004c. Towards a generic foundation for spatial ontology. In Formal Ontology in Information Systems, 4–6 November 2004, Varzi, A. C. & Vieu, L. (eds). Torino, 237–248.Google Scholar

Borgo, S., Guarino, N.Masolo, C. 1996. Stratified ontologies: the case of physical objects. In Proceedings of the Workshop on Ontological Engineering at ECAI, Vet (ed). Budapest, 5–16.Google Scholar

Egenhofer, M.Rodrguez, A. 1999. Relation algebras over containers and surfaces: An ontological study of a room space. Spatial Cognition and Computation 1(2), 155–180.CrossRefGoogle Scholar

Fonseca, F. T., Egenhofer, M. J., Agouris, P.Camara, G. 2002. Using ontologies for integrated geographic information systems. Transactions in GIS 6(3), 231–257.CrossRefGoogle Scholar

Frank, A. U. 2001. Tiers of ontology and consistency constraints in geographical information systems. International Journal of Geographical Information Science 15(7), 667–678.CrossRefGoogle Scholar

Ghezzi, C., Jazayeri, M.Mandrioli, D. 2003. Fundamentals of Software Engineering, 2nd edn.Prentice-Hall.Google Scholar

Gibson, J. 1977. The theory of affordances. In Perceiving, Acting, and Knowing: Toward and Ecological Psychology, Shaw, R. & Brandsford, J. (eds). Erlbaum, 62–82.Google Scholar

Howarth, R. J. 2005. Spatial models for wide-area visual surveillance: computational approaches and spatial building-blocks. Artificial Intelligence Review 23(2), 97–155.CrossRefGoogle Scholar

Kuipers, B. 2000. The spatial semantic hierarchy. Artificial Intelligence 119(1–2), 191–233.CrossRefGoogle Scholar

Marchese, F. M. 2005. A reactive planner for mobile robots with generic shapes and kinematics on variable terrains. In Proceedings of the 12th International Conference on Advanced Robotics. IEEE Robotics and Automation Society, 23–30.Google Scholar

Parent, C., Spaccapietra, S.Zimányi, E. 1999. Spatio-temporal conceptual models: data structures+space+time. In Proceedings of the 7th ACM International Symposium on Advances in Geographic Information Systems. Kansas City, 26–33.Google Scholar

Parnas, D. L. 1972. On the criteria to be used in decomposing systems into modules. Communications of the ACM 15(12), 1053–1058.CrossRefGoogle Scholar

Pelekis, N., Theodoulidis, B., Kopanakis, I.Theodoridis, Y. 2004. Literature review of spatio-temporal database models. Knowledge Engineering Review 19(3), 235–274.CrossRefGoogle Scholar

Perry, M., Hakimpour, F.Sheth, A. 2006. Analyzing theme, space, and time: an ontology-based approach. In Proceedings of the 14th Annual ACM International Symposium on Advances in Geographic Information Systems. Arlington, 147–154.Google Scholar

Smith, B.Grenon, P. 2004. The cornucopia of formal–ontological relations. Dialectica 58(3), 279–296.CrossRefGoogle Scholar

Tarr, P., Harrison, W., Ossher, H., Finkelstein, A., Nuseibeh, B.Perry, D. 2000. Workshop on multi-dimensional separation of concerns in software engineering (workshop session). In Proceedings of the 22nd International Conference on Software Engineering. Limerick, 809–810.Google Scholar

Tisato, F., Micucci, D., Adorni, M.Cirasa, E. 2007. Architectural abstractions for space awareness. In Proceedings of the 2nd International Workshop on Ontology, Conceptualization and Epistemology for Software and Systems Engineering, Sicilia, M., Micucci, D. & Sartori, F. (eds). Centro Copie Bicocca. Available from http://www.lintar.disco.unimib.it/ONTOSE07/ONTOSE07-Proceedings/pdf/Micucci.pdf (accessed 18 June 2008).Google Scholar

Yuan, M. 1996. Modeling semantical, temporal and spatial information in geographic information systems. In Geographic Information Research: Bridging the Atlantic Craglia, M. & Couclelis, H. (eds) Taylor & Francis, 334–347.Google Scholar