452
views
0
recommends
+1 Recommend
1 collections
    4
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      A Generic Model for State-based Agent Systems

      proceedings-article

      ,

      Proceedings of the 1st Irish Workshop on Formal Methods (FM)

      Irish Workshop on Formal Methods

      3-4 July 1997

      Bookmark

            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
            [0001]Department of Computer Science, University of Dublin, Trinity College

            Dublin 2, Ireland
            [0002]Department of Information Technology, Technical University of Denmark

            2800 Lyngby, Denmark
            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 (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article