Specification and Validation of the MODAM Module Manager

Mark Utting; Fanny Boulaire

Back

Specification and Validation of the MODAM Module Manager

Conference paper

Open access

Peer reviewed

Specification and Validation of the MODAM Module Manager

Mark Utting and Fanny Boulaire

Proceedings of the 2nd International Workshop about Sets and Tools, pp.1-15

International Workshop about Sets and Tools (SETS 2015), 2nd (Oslo, Norway, 23-Jun-2015)

RWTH Aachen University

2015

Files and links (2)

pdf

PDF - Published Version528.11 kBDownload View

Published VersionPDF - Published Version Open Access

url

http://sets2015.cnam.fr/papers/00010055.pdfView

Webpage

Abstract

Computer Software

agent-based modelling

automation

modularity

composition

networked structures

ZLive

specification validation

animation

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 specifcations written in Z, and the specifcation is validated using the ZLive animation tool.

Details

Title: Specification and Validation of the MODAM Module Manager
Authors: Mark Utting (Author) - University of the Sunshine Coast - Faculty of Arts and Business
Fanny Boulaire (Author) - Queensland University of Technology
Publication details: Proceedings of the 2nd International Workshop about Sets and Tools, pp.1-15
Conference details: International Workshop about Sets and Tools (SETS 2015), 2nd (Oslo, Norway, 23-Jun-2015)
Publisher: RWTH Aachen University
Date published: 2015
ISSN: 1613-0073
Organisation Unit: School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
Language: English
Record Identifier: 99449298702621
Output Type: Conference paper

Metrics

86 File views/ downloads

695 Record Views