- Publications
- Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments
Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments
- Manage
- Copy
- Actions
- Export
- Annotate
- Print Preview
Choose the export format from the list below:
- Office Formats (1)
-
Export as Portable Document Format (PDF) using Apache Formatting Objects Processor (FOP)
-
- Other Formats (1)
-
Export as HyperText Markup Language (HTML)
-
Lars Braubach, Jean-Pierre Briot, John Thangarajah (eds.)
Programming Multi-Agent Systems, pages 133–150
LNAI 5919
Springer
2010
Even if in literature the role of environment in designing and engineering Multi-Agent Systems (MAS) has been largely acknowledged and explored, no abstract formal model have been developed so far to rigorously define the main features of environment programming in the context of MAS programming, in particular to be integrated and exploited with existing agent programming languages/platforms and related formalisations. Accordingly, in this paper we present a formalisation of a general-purpose model for environment programming, based on the notion of artifact as introduced in the A&A metamodel and implemented by the CArtAgO framework. Even if based on the A&A meta-model, we argue that the model can be useful to understand and analyse aspects that are important - more generally - for any general-purpose environment model used in MAS programming. |
(keywords) Agents, Artifacts, CArtAgO |
Publications / Personal
Publications / Views
Home
— clouds
tags | authors | editors | journals
— per year
2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014–1927
— per sort
in journal | in proc | chapters | books | edited | spec issues | editorials | entries | manuals | tech reps | phd th | others
— per status
online | in press | proof | camera-ready | revised | accepted | revision | submitted | draft | note
— services
ACM Digital Library | DBLP | IEEE Xplore | IRIS | PubMed | Google Scholar | Scopus | Semantic Scholar | Web of Science | DOI
Publication
— authors
— editors
Lars Braubach, Jean-Pierre Briot, John Thangarajah
— status
published
— sort
paper in proceedings
— publication date
2010
— volume
Programming Multi-Agent Systems
— series
LNAI
— volume
5919
— pages
133–150
URLs
identifiers
— DOI
— print ISSN
0302-9743
— online ISSN
1611-3349
— print ISBN
978-3-540-79042-6
notes
— note
7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers