%%%%%%%%%%%%%%%%%%%%%%%
\documentclass{doublecol}
%%%%%%%%%%%%%%%%%%%%%%%

\usepackage{amssymb}
\usepackage{amsbsy,natbib}
\usepackage{amsthm}
\usepackage{amsfonts,amsmath,bm}
\usepackage[dvipsone]{epsfig}
\RequirePackage{graphics,epsf}

%%%%%%%%%%%%%%%%%
\newtheorem{definition}{Definition}[section]
\newtheorem{example}{Example}[section]
\newtheorem{exemple}{Exemple}[section]
\newtheorem{hypothese}{Hypothesis}[section]
\newtheorem{property}{Property}[section]
%\newtheorem{proof}{Proof}[section]
\newtheorem{remark}{Remark}[section]

%%%%%%%%%%%%%%%%%
\begin{document}
%%%%%%%%%%%%%%%%%

\LRH{Consistent Updating of Geographical DataBase as Emergent Property over Influence System}

\RRH{H. Kadri-Dahmani, C. Bertelle, G.H.E. Duchamp and A. Osmani}

\VOL{x}

\ISSUE{x/y/z}

\PUBYEAR{2006}

\setcounter{page}{1}

\LRH{Consistent Updating of Geographical DataBase as Emergent Property over Influence System}

\RRH{H. Kadri-Dahmani, C. Bertelle, G.H.E. Duchamp and A. Osmani}

\VOL{x}

\ISSUE{x/y/z}

\PUBYEAR{2006}

\BottomCatch

\title{Consistent Updating of Geographical DataBase as Emergent Property over Influence System}

\authorA{Hakima Kadri-Dahmani*}

\affA{LIPN - University of Paris 13\\
99, avenue Jean-Baptiste Cl\'ement \\ 
93430 Villetaneuse - France \\
E-mail: hkd@lipn.univ-paris13.fr \\ *Corresponding author}

\authorB{Cyrille Bertelle}

\affB{LITIS - University of Le Havre\\
25 rue Ph. Lebon - BP 540\\
76058 Le Havre cedex - France\\
E-mail: cyrille.bertelle@univ-lehavre.fr}

\authorC{G\'erard H. E. Duchamp}

\affC{LIPN - University of Paris 13\\
99, avenue Jean-Baptiste Cl\'ement \\ 
93430 Villetaneuse - France \\
E-mail: gheduchamp@gmail.com}

\authorD{Aomar Osmani}

\affD{LIPN - University of Paris 13\\
99, avenue Jean-Baptiste Cl\'ement \\ 
93430 Villetaneuse - France \\
E-mail: ao@lipn.univ-paris13.fr}

\begin{abstract}
Geographic Information Systems will be expected in the future to evolve to integrate social simulations or ecological processes inside complex systems of active and interactive entities. In a more practical aspect, GIS has now to evolve to manage updating. We will explain how the updating processes can be described as an evolution processus for GIS and make them transform from complicated systems to complex systems.
This evolution processus is decomposed in an influence table which corresponds to elementary canonical operations. The application of these elementary operations as basic rules for each step of the GIS evolution over the connection graph which links the Geographical Database objects will create a dynamic interaction network which charaterizes the complexity. 
In addition to these updating elementary operations, we verify, during the processus, the maintenancy of the whole geographical database using a constraint-based system. Our goal is to make the updating satisfying the global consistent property which emerges from the computation over the whole evolutive system. 
In this paper, we will give the whole processus description which leads to obtain this emergent property of consistence from a dynamic propagation processus which allows to obtain the global consistence from a local satisfaction property.   
\end{abstract}

\KEY{geographical database; complex systems; spatial constraints; evolution; emergence.}

\REF{to this paper should be made as follows: Kadri-Dahmani, H.,Bertelle, C., 
Duchamp, G.H.E. and Osmani, A. (2006)
`Consistent Updating of Geographical DataBase as Emergent Property over Influence System', Int. J. of Modeling, Identification and Control,
Special Issue Modelling Complex Systems, Vol. x, Nos. x/y/z, pp.xx--yy.}

\BIO{Hakima Kadri-Dahmani is researcher at LIPN in the Institute Galil\'ee
at the University of Paris 13, France. She completed her PhD degree from University of Paris 13 in 2005. Since many years, she has been researching in artificial intelligence,
and geomatic at IGN-France and University of Paris 13.}

\maketitle

%\section{INTRODUCTION}
\input{intro-h2.tex}

%\section{FROM GIS TO CGIS}
\input{gis2cgis-h2.tex}

%\section{FORMALISM OF EVOLUTIVE GIS AS A CGIS}
\input{formalism2-vgd2.tex}

%\section{DYNAMIC INTERACTION NETWORK \\BASED ON INFLUENCE TABLE}
\input{inetwork.tex}

%\section{PROPAGATION AND CONSISTENCY \\MAINTENANCE BASED ON INTERACTION \\NETWORK}
\input{propagation-hkd.tex}

%\input{propriete.tex}

%\section{IMPLEMENTATION AND EXPERIMENTS}
\input{experiments.tex}

%\section{CONCLUSION}
\input{conclusion.tex}

% \section{ACKNOWLEDGMENT}
% 
% We would like to thank Dr. Gonzalo Travieso for his collaboration
% in this work.

\bibliographystyle{apalike}

\begin{thebibliography}{99}

\bibitem{oxygene}
Badard, T. and Braun, A. (2003),  
"{OXYGENE: an open framework for the deployement of geographic web services.}", 
in {\it Proceedings/Actes, 21th International Cartographic Conference, Durban, South Africa}.

\bibitem{barabasi}
Barabasi, A.-L. (2003),
{\it Linked},
A Plume Book.

\bibitem{bossomaier}
Bossomaier, T.R.J. and Green, D.G. ed. (2000),
{\it Complex Systems}
Cambridge University Press.

\bibitem {cooper}
Cooper, A. and Peled, A. (2000),
"Updating and Versionning of Spatial Data Bases",
in {\it Proceedings of the International Cartographic Association's Working Group on Incremental Updating and Versionning}, Amsterdam, The Netherlands.

\bibitem{EH}
Egenhofer, M. and Herring, J. R. (1991),
"Categorizing Binary Topological Relations Between Regions, Lines and Points in Geographic Databases.", 
Technical Report, Department of Surveying, University of Maine.

\bibitem{gimblett}
Gimblett, H.R. (2002),
{\it "Integrating Geographic Information Systems and Agent-based Modeling Techniques"},
Santa Fe Institute Studies in the Sciences of Complexity, Oxford University Press.

\bibitem {kadri1}
Kadri-Dahmani, H. (2001),
"Updating in GIS: Towards a more generic approach",
in {\it Proceedings 20th International Cartographic Conference}, Beijing, China.

\bibitem {kadri2}
Kadri-Dahmani, H. and Osmani, A. (2002),
"Updating Data in GIS: How to maintain Database Consistency?",
in {\it Proceedings 4th International Conference of Entreprise Information System"},
Ciudad Real.

\bibitem{hkdphd}
Kadri-Dahmani, H. (2005), 
{\it " Mise \`a jour des Bases de Donn\'ees g\'eographiques et maintien de leur coh\'erence"},
Ph.D. thesis, University of Paris 13.

\bibitem{lemoigne}
Le Moigne, J.-L. (1999),
{\it "La mod\'elisation des syst\`emes complexes"},
Dunod.

\bibitem {rigaux}
Rigaux, P., Scholl, M. and Voisard A. (2002),
{\it "Spatial Databases - with applications to GIS"},
Morgan Kaufmann.

\bibitem[\protect\citeauthoryear{Tang and Usery}{1996}]{Tang} %%1
Tang, T.M.A.A. Y. and Usery, E.L. {\it et al.} (1996) "A spatial data model design for
feature-based geographical information system", {\it Int. J. of Geographical Information Science}, Vol.~10, No.~5, pp.643--659.


\end{thebibliography}

\end{document}
