A Generic Model for State-based Agent Systems

Abstract

This paper presents a framework for modelling state-based agent systems. Agents are state-based entities in a possibly distributed environment. We will in particular address problems that arise when aspects of locality and shared objects have to be dealt with. The Irish School of Constructive Mathematics CM♣ provides an algebraic framework based on group theory and recursion theory. Monoids are used to model the foundations of state-based systems: states and state change. It offers extensivemethodologicalmeans to develop and verify specifications of distributed, state-based systems.

This paper is an investigation into structural and consistency aspects of dynamically evolving systems under consideration of locality and sharing. A model is presented which preserves the integrity of such systems by providing operators with appropriate algebraic properties.

Conference

Publication date: September 1997

Publication date (Print): September 1997

Pages: 1-14

Affiliations

Department of Computer Science, University of Dublin, Trinity College

Dublin 2, Ireland

Department of Information Technology, Technical University of Denmark

2800 Lyngby, Denmark

Article

DOI: 10.14236/ewic/FM1997.5

Copyright statement: © Arthur P. Hughes et al. Published by BCS Learning and Development Ltd. Proceedings of the 1st Irish Workshop on Formal Methods, Dublin

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Proceedings of the 1st Irish Workshop on Formal Methods

Conference acronym: FM

Conference number: 1

Conference location: Dublin

Conference date: 3-4 July 1997

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Irish Workshop on Formal Methods

Product

Product Information: 1477-9358BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FM1997.5

Self URI (journal page): https://ewic.bcs.org/

Categories

Series title: Electronic Workshops in Computing