Show simple item record  

dc.contributor.authorUtting, Marken_NZ
dc.contributor.authorBoulaire, Fannyen_NZ
dc.coverage.spatialOslo, Norwayen_NZ
dc.date.accessioned2015-12-06T20:44:59Z
dc.date.available2015en_NZ
dc.date.available2015-12-06T20:44:59Z
dc.date.issued2015en_NZ
dc.identifier.citationUtting, M., & Boulaire, F. (2015). Specification and validation of the MODAM module manager. In 2nd International Workshop about Sets and Tools. Oslo, Norway.en
dc.identifier.urihttps://hdl.handle.net/10289/9796
dc.description.abstractElectricity 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.
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.rightsThis is an author’s accepted version of an article published in the Proceedings of 2nd International Workshop about Sets and Tools.
dc.sourceSETS 2015en_NZ
dc.subjectagent-based modelling
dc.subjectautomation
dc.subjectmodularity
dc.subjectcomposition
dc.subjectnetworked structures
dc.subjectZ
dc.subjectZLive
dc.subjectspecification validation
dc.subjectanimation
dc.subjectcomputer science
dc.titleSpecification and validation of the MODAM module manageren_NZ
dc.typeConference Contribution
dc.relation.isPartOf2nd International Workshop about Sets and Toolsen_NZ
pubs.elements-id134022
pubs.finish-date2015-06-23en_NZ
pubs.start-date2015-06-23en_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record