Research Commons
      • Browse 
        • Communities & Collections
        • Titles
        • Authors
        • By Issue Date
        • Subjects
        • Types
        • Series
      • Help 
        • About
        • Collection Policy
        • OA Mandate Guidelines
        • Guidelines FAQ
        • Contact Us
      • My Account 
        • Sign In
        • Register
      View Item 
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computing and Mathematical Sciences Papers
      • View Item
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computing and Mathematical Sciences Papers
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      Specification and validation of the MODAM module manager

      Utting, Mark; Boulaire, Fanny
      Thumbnail
      Files
      Utting_Boulaire_SETS2015_v2.pdf
      Accepted version, 746.1Kb
      Citation
      Export citation
      Utting, M., & Boulaire, F. (2015). Specification and validation of the MODAM module manager. In 2nd International Workshop about Sets and Tools. Oslo, Norway.
      Permanent Research Commons link: https://hdl.handle.net/10289/9796
      Abstract
      Electricity distribution networks are large complex systems that are continuously evolving. Agent-based models are a useful way of exploring possible future scenarios for these networks. This paper introduces MODAM, a software framework developed to support building large-scale agent-based models for electricity distribution network planning. This paper describes how models can be assembled in an automated manner at runtime, even though an agent may be composed of aspects that come together from separate components. The Module Manager, which weaves the components together in an automated manner, is described in this paper using formal specifications written in Z, and the specification is validated using the ZLive animation tool.
      Date
      2015
      Type
      Conference Contribution
      Rights
      This is an author’s accepted version of an article published in the Proceedings of 2nd International Workshop about Sets and Tools.
      Collections
      • Computing and Mathematical Sciences Papers [1454]
      Show full item record  

      Usage

      Downloads, last 12 months
      19
       
       

      Usage Statistics

      For this itemFor all of Research Commons

      The University of Waikato - Te Whare Wānanga o WaikatoFeedback and RequestsCopyright and Legal Statement