- Record: found
- Abstract: found
- Conference Proceedings: found
A Generic Model for State-based Agent Systems
proceedings-article
September 1997
Proceedings of the 1st Irish Workshop on Formal Methods (FM)
Irish Workshop on Formal Methods
3-4 July 1997
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.
Content
Author and article information
Conference
September
1997
September
1997
: 1-14
Affiliations
Article
10.14236/ewic/FM1997.5
02ab3971-d809-46d0-8b2a-b403f431eced
© Arthur P. Hughes et al. Published by BCS Learning and Development Ltd. Proceedings
of the 1st Irish Workshop on Formal Methods, Dublin
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/
Proceedings of the 1st Irish Workshop on Formal Methods
FM
1
Dublin
3-4 July 1997
Electronic Workshops in Computing (eWiC)
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
Electronic Workshops in Computing