<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>A framework to specify Agent-Based Models in Geographic Sciences</article-title>
      </title-group>
      <contrib-group>
        <aff id="aff0">
          <label>0</label>
          <institution>Ce ́dric Grueau NOVA Laboratory for Computer Science and Informatics, Departamento de Informa ́tica, Faculdade de Cieˆncias e Tecnologia, Universidade Nova de Lisboa</institution>
          ,
          <addr-line>Quinta da Torre, 2829-516 Caparica</addr-line>
          ,
          <country country="PT">Portugal</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Copyright c by the paper's authors. Copying permitted for private and academic purposes. In: A. Comber, B. Bucher, S. Ivanovic (eds.): Proceedings of the 3rd AGILE Phd School</institution>
          ,
          <addr-line>Champs sur Marne, France, 15-17-September-2015, published at</addr-line>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>Joa ̃o Araujo NOVA Laboratory for Computer Science and Informatics, Departamento de Informa ́tica, Faculdade de Cieˆncias e Tecnologia, Universidade Nova de Lisboa</institution>
          ,
          <addr-line>Quinta da Torre, 2829-516 Caparica</addr-line>
          ,
          <country country="PT">Portugal</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>Agent-Based Modeling (ABM) and simulation have gained popularity in the Geographic Information Systems (GIS) domain. Despite the increasing number of models built by experts and users, it remains challenging for users to specify their models in a manner in which one can understand it. This constraint represents an inhibition to the development and acceptance of the ABM approach. In this paper, we raise the questions that need to be answered in order to cope with ABM specification issues. We review some of the existing solutions that have been developed. We propose a framework that includes a domain specific modeling language to respond to ABM specification problem. We finally present the first step towards its development.</p>
      </abstract>
      <kwd-group>
        <kwd>Domain ontology</kwd>
        <kwd>Agent-Based Modeling</kwd>
        <kwd>Domain Specific Modeling Language</kwd>
        <kwd>Geographic Information Science</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1 Introduction</title>
      <p>In the Geographic Information Systems (GIS) domain, Spatial Modeling and Spatial
Simulation are processes conducted by users of an information system in order to
understand phenomenons and plan ahead.</p>
      <p>
        From the different types of models used in the GIS community, Agent-Based
Models (ABMs) have become a popular paradigm to perform spatial simulation.
ABMS are employed to reason, experiment and extrapolate about systems. ABMs
are designed and developed by representing the key decision-making entities as
agents and by describing the environment in which they are interacting with a
spatial model of the landscape. In the last decade, the degree of flexibility and the
ability to represent social interactions induced multidisciplinary teams working in
geographical sciences to develop different models based on agents. Through
simulation, experts can reproduce agents’ interactions over time to approach spatial
problems. [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ] , [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ] and [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] provide a broad range of these applications.
      </p>
      <p>But despite its high degree of flexibility, the agent approach presents some
weaknesses when it comes to re-using, implementing and evaluating models. Experts are
experiencing difficulties to specify and share this type of model. They don’t have a
common representation as it happens in the software community with the Unified
Modeling Language (UML) for instance. Those weaknesses represent constraints
and inhibitions to the development and acceptance of the ABM field. To cope with
these limitations, the objective of our research project is to built a framework where
experts could specify their ABM, store them and share them with the community of
experts.</p>
    </sec>
    <sec id="sec-2">
      <title>2 Related Work</title>
      <p>
        Some authors have addressed the problem of communicating about ABM. The ODD
(Overview, Design concepts, Details) protocol, described in [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ] is aimed at
describing individual-based models and agent-based models in scientific publications and is
essentially focused on communication and reimplementation of ABM. ODD is
designed to describe only one definite model version [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ] and can not be directly
compiled to computer code. MR POTATOHEAD [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ] is another approach that tackles
the design of agent-based models of land use change. It is based on an ontology
tailored to a particular subset of models and enables a more detailed comparison to be
made than the more generally applicable ODD. In [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ], authors present an ontology
defining an agent-based simulation framework and discuss the possibilities for
using the Web Ontology Language’s (OWL) automated reasoning capabilities. How to
benefit from OWL and Semantic Web technologies for simulation is also the topic of
other works. In [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ] Polhill and colleagues illustrate how deploying an agent-based
model on the Semantic Grid facilitates international collaboration on investigations
using such a model, and contributes to establishing rigorous working practises with
agent-based models as part of good science in social simulation. Polhill and Gotts
[
        <xref ref-type="bibr" rid="ref12">12</xref>
        ] presented another interesting approach to address ABM transparency issues.
The authors propose to implement ABM simulations using ontologies, instead of
object-oriented languages. The body of work, cited above, represents a step forward
to more transparent ABM. But they individually only respond partially to the issues
we want to address in our research.
      </p>
    </sec>
    <sec id="sec-3">
      <title>3 Research Questions</title>
      <p>In order to respond to ABM specification issues, we propose to follow an approach
that will address three questions. The first question is how to represent ABM
information structure in a manner in which it is decoupled from the simulation software
and can be independently processed. The second question to address relates to the
level of abstraction to achieve in order to represent the concepts of the domain. In
fact, the abstraction should enable to represent concepts and relationships for a
multidisciplinary audience who is not necessarily expert in computer science, but, at
the same time be precise enough to represent all concepts of the domain. A third
question to answer is which tools should be provided to users to create and explore
ABM? Finally our research project should respond to a last question, which is, how
can we ensure that an executable implementation conforms to a system’s model?</p>
    </sec>
    <sec id="sec-4">
      <title>4 Method and Expected Results</title>
      <p>In order to respond to the questions raised above, we advocate the development of
a framework (see figure 1) that would allow for specifying, exploring and
exporting ABM as linked data, using the semantic web approach. This framework should
integrate a domain specific language to manage models’ specifications and
visualise agent-based models for the GIS domain. The DSML should be supported by
a domain ontology that represents the main concepts used in ABM in GIS related
sciences. Those are essentially concepts related with model scheduling and
initialisation.</p>
      <p>
        Initial results consist in an ontology that represents not only the concepts
inherent to ABM but also concepts integrated in GIS domain like the spatial environment
and the concepts described in protocols such as the ODD protocol and its evolution
ODD+ [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ]. Since, ideally, domain ontologies should be grounded in foundational
ontologies [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ], our domain ontology is taking as basis the Unified Foundational
Ontology (UFO) [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ], [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ]. To support the implementation of this language, we have
designed an architecture depicted in figure 1. The architecture should allow the
conversion between models’ representation trough models transformation using MDE
techniques. We will build a model editor that will allow to create and explore ABM.
This editor will be supported, by widgets that could vary according to the type of
user. This widgets will implement visualisation of relevant aspects of the model such
as maps, text and so on.
      </p>
      <p>By providing an agent-based modeling platform to the GIS community, we aim
at empowering its users with a common platform to represent and communicate the
systems and sub-models they are working on.</p>
      <p>Protocols such as ODD and ODD+ describe model entities using natural
language. If we can improve on these protocols by linking these descriptions to
ontological entities that can easily be handled by machines, we look forward to
contribute for a better validation and reuse of theses models, among the domain
community. We also expect that the choice we made about using a foundational ontology
as a basis for our domain ontology will facilitate the adoption and extension of our
DSML to other related domains.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <given-names>F.</given-names>
            <surname>Bousquet</surname>
          </string-name>
          and
          <string-name>
            <surname>G.</surname>
          </string-name>
          <article-title>Tre´buil. Introduction to companion modeling and multi-agent systems for integrated natural resource management in Asia</article-title>
          ., pages
          <fpage>1</fpage>
          -
          <lpage>17</lpage>
          . IRRI Publications, Los Banos, Philippines,
          <year>2005</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <given-names>S.</given-names>
            <surname>Christley</surname>
          </string-name>
          ,
          <string-name>
            <given-names>X.</given-names>
            <surname>Xiang</surname>
          </string-name>
          , and
          <string-name>
            <surname>G. Madey.</surname>
          </string-name>
          <article-title>An ontology for agent-based modeling and simulation</article-title>
          .
          <source>Agent 2004 Conference on Social Dynamics: Interaction, Reflexivity and Emergence</source>
          ,
          <year>2004</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <given-names>V.</given-names>
            <surname>Grimm</surname>
          </string-name>
          ,
          <string-name>
            <given-names>U.</given-names>
            <surname>Berger</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            <surname>Bastiansen</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Eliassen</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Ginot</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Giske</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Goss-Custard</surname>
          </string-name>
          ,
          <string-name>
            <given-names>T.</given-names>
            <surname>Grand</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S. K.</given-names>
            <surname>Heinz</surname>
          </string-name>
          ,
          <string-name>
            <given-names>G.</given-names>
            <surname>Huse</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Huth</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J. U.</given-names>
            <surname>Jepsen</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Jrgensen</surname>
          </string-name>
          ,
          <string-name>
            <given-names>W. M.</given-names>
            <surname>Mooij</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Mller</surname>
          </string-name>
          , G. Peer,
          <string-name>
            <given-names>C.</given-names>
            <surname>Piou</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S. F.</given-names>
            <surname>Railsback</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A. M.</given-names>
            <surname>Robbins</surname>
          </string-name>
          ,
          <string-name>
            <surname>M. M. Robbins</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          <string-name>
            <surname>Rossmanith</surname>
            ,
            <given-names>N.</given-names>
          </string-name>
          <string-name>
            <surname>Rger</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          <string-name>
            <surname>Strand</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          <string-name>
            <surname>Souissi</surname>
            ,
            <given-names>R. A.</given-names>
          </string-name>
          <string-name>
            <surname>Stillman</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          <string-name>
            <surname>Vab</surname>
            ,
            <given-names>U.</given-names>
          </string-name>
          <string-name>
            <surname>Visser</surname>
            , and
            <given-names>D. L.</given-names>
          </string-name>
          <string-name>
            <surname>DeAngelis</surname>
          </string-name>
          .
          <article-title>A standard protocol for describing individual-based and agent-based models</article-title>
          .
          <source>Ecological Modelling</source>
          ,
          <volume>198</volume>
          (
          <issue>12</issue>
          ):
          <fpage>115</fpage>
          -
          <lpage>126</lpage>
          ,
          <year>2006</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <given-names>V.</given-names>
            <surname>Grimm</surname>
          </string-name>
          ,
          <string-name>
            <given-names>U.</given-names>
            <surname>Berger</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D. L.</given-names>
            <surname>DeAngelis</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J. G.</given-names>
            <surname>Polhill</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Giske</surname>
          </string-name>
          , and
          <string-name>
            <given-names>S. F.</given-names>
            <surname>Railsback</surname>
          </string-name>
          .
          <article-title>The odd protocol: A review and first update</article-title>
          .
          <source>Ecological Modelling</source>
          ,
          <volume>221</volume>
          (
          <issue>23</issue>
          ):
          <fpage>2760</fpage>
          -
          <lpage>2768</lpage>
          ,
          <year>2010</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <given-names>N.</given-names>
            <surname>Guarino</surname>
          </string-name>
          .
          <source>Formal Ontology in Information Systems: Proceedings of the 1st International Conference June 6-8</source>
          ,
          <year>1998</year>
          , Trento, Italy. IOS Press, Amsterdam, The Netherlands,
          <source>The Netherlands, 1st edition</source>
          ,
          <year>1998</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <given-names>G.</given-names>
            <surname>Guizzardi</surname>
          </string-name>
          .
          <article-title>Ontological foundations for structural conceptual models</article-title>
          .
          <source>PhD thesis</source>
          , University of Twente, Enschede, The Netherlands,
          <year>October 2005</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <given-names>G.</given-names>
            <surname>Guizzardi</surname>
          </string-name>
          and
          <string-name>
            <given-names>G.</given-names>
            <surname>Wagner</surname>
          </string-name>
          .
          <article-title>Towards an ontological foundation of agent-based simulation</article-title>
          .
          <source>In Winter Simulation Conference</source>
          , pages
          <fpage>284</fpage>
          -
          <lpage>295</lpage>
          ,
          <year>2011</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <given-names>A.</given-names>
            <surname>Heppenstall</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Crooks</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>See</surname>
          </string-name>
          , and M. Batty, editors.
          <source>Agent-based Models of Geographical Systems</source>
          . Springer: Dordrecht. Publication,
          <year>2012</year>
          . http://www.springer.com/social+sciences/population+studies/book/978-90-481-8926-7.
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <given-names>B.</given-names>
            <surname>Mu</surname>
          </string-name>
          ¨ller,
          <string-name>
            <given-names>F.</given-names>
            <surname>Bohn</surname>
          </string-name>
          ,
          <string-name>
            <surname>G.</surname>
          </string-name>
          <article-title>Dreß ler</article-title>
          , J. Groeneveld,
          <string-name>
            <given-names>C.</given-names>
            <surname>Klassert</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Martin</surname>
          </string-name>
          ,
          <string-name>
            <surname>M.</surname>
          </string-name>
          <article-title>Schlu¨ter</article-title>
          , J. Schulze,
          <string-name>
            <given-names>H.</given-names>
            <surname>Weise</surname>
          </string-name>
          , and
          <string-name>
            <given-names>N.</given-names>
            <surname>Schwarz</surname>
          </string-name>
          .
          <article-title>Describing human decisions in agent-based models - ODD+D, an extension of the ODD protocol</article-title>
          .
          <source>Environmental Modelling and Software</source>
          ,
          <volume>48</volume>
          :
          <fpage>37</fpage>
          -
          <lpage>48</lpage>
          ,
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <surname>D. C. Parker</surname>
            ,
            <given-names>D. G.</given-names>
          </string-name>
          <string-name>
            <surname>Brown</surname>
            ,
            <given-names>J. G.</given-names>
          </string-name>
          <string-name>
            <surname>Polhill</surname>
            , and
            <given-names>P. J. M.</given-names>
          </string-name>
          <string-name>
            <surname>Deadman</surname>
          </string-name>
          .
          <article-title>Agent-Based Modelling in Natural Resource Management, chapter Illustrating a new conceptual design pattern for agent-based models of land use via five case studies: the MR POTATOHEAD framework</article-title>
          , pages
          <fpage>29</fpage>
          -
          <lpage>62</lpage>
          . Valladolid, Spain,
          <year>2008</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <surname>D. C. Parker</surname>
            ,
            <given-names>S. M.</given-names>
          </string-name>
          <string-name>
            <surname>Manson</surname>
            ,
            <given-names>M. A.</given-names>
          </string-name>
          <string-name>
            <surname>Janssen</surname>
            ,
            <given-names>M. J.</given-names>
          </string-name>
          <string-name>
            <surname>Hoffmann</surname>
            , and
            <given-names>P.</given-names>
          </string-name>
          <string-name>
            <surname>Deadman</surname>
          </string-name>
          <article-title>. Multi-agent systems for the simulation of land-use and land-cover change: A review</article-title>
          .
          <source>Annals of the Association of American Geographers</source>
          ,
          <volume>93</volume>
          (
          <issue>2</issue>
          ):
          <fpage>314</fpage>
          -
          <lpage>337</lpage>
          ,
          <year>2003</year>
          . http://dx.doi.org/10.1111/
          <fpage>1467</fpage>
          -
          <lpage>8306</lpage>
          .
          <fpage>9302004</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <given-names>J.</given-names>
            <surname>Polhill</surname>
          </string-name>
          and
          <string-name>
            <given-names>N.</given-names>
            <surname>Gotts</surname>
          </string-name>
          .
          <article-title>Ontologies for transparent integrated human-natural system modelling</article-title>
          .
          <source>Landscape Ecology</source>
          ,
          <volume>24</volume>
          (
          <issue>9</issue>
          ):
          <fpage>1255</fpage>
          -
          <lpage>1267</lpage>
          , Nov.
          <year>2009</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13.
          <string-name>
            <given-names>J. G.</given-names>
            <surname>Polhill</surname>
          </string-name>
          ,
          <string-name>
            <given-names>E.</given-names>
            <surname>Pignotti</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N. M.</given-names>
            <surname>Gotts</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P.</given-names>
            <surname>Edwards</surname>
          </string-name>
          ,
          <article-title>and</article-title>
          <string-name>
            <given-names>A.</given-names>
            <surname>Preece</surname>
          </string-name>
          .
          <article-title>A semantic grid service for experimentation with an agent-based model of land-use change</article-title>
          .
          <source>Journal of Artificial Societies and Social Simulation</source>
          ,
          <volume>10</volume>
          (
          <issue>2</issue>
          ):
          <fpage>2</fpage>
          ,
          <year>2007</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>