Specification and validation of the MODAM module manager
Citation
Export citationUtting, 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
2015Rights
This is an author’s accepted version of an article published in the Proceedings of 2nd International Workshop about Sets and Tools.