Polack, F and Alden, K (2020) On Developing and Validating Dynamic Systems: Simulation Engineering. The Journal of Object Technology, 19 (3). ISSN 1660-1769

[thumbnail of Gogolla_Polack_Final (3).pdf]
Gogolla_Polack_Final (3).pdf - Published Version
Available under License Creative Commons Attribution.

Download (1MB) | Preview


Dynamic systems, where the behaviour is the dominant characteristic, pose engineering challenges that are often neglected in model-based software engineering. However, supporting simulation development from design models is important in demonstrating that a simulator and simulation experiments are fit for their intended purpose. In engineering agent-based simulations, observable system behaviour is built up from the behaviour of low-level components; such simulations are used as research tools in (for instance) biological systems research. We have found that domain experts can validate diagrammatic models of behaviour and accompanying text, but we need model-based software development, and ideally automatable model transformation, to maintain fitness for purpose into code and experimentation. We present an exploration of behavioural model transformation, devising and applying manual transformation guidelines to an existing, published Java Mason simulator, created using the CoSMoS approach and UML-style state diagrams. We succeed in recreating part of the class structure of the code, but also expose many issues to be overcome, in terms of what needs to be modelled to enable transformation, and how and when design decisions are taken and documented. We also identify the need to generate the creation of low-level simulation, visualisation, and data capture mechanisms, and a means to design and encode simulation experimentation.

Item Type: Article
Additional Information: Any extra and relevant information can be found online with any relevant copyrights at; http://www.jot.fm/contents/issue_2020_03/article6.html
Uncontrolled Keywords: Complex systems, Simulation, Validation, Model-driven engineering
Subjects: T Technology > T Technology (General)
T Technology > TA Engineering (General). Civil engineering (General)
Divisions: Faculty of Natural Sciences > School of Computing and Mathematics
Depositing User: Symplectic
Date Deposited: 29 Oct 2020 15:39
Last Modified: 12 Nov 2020 10:25
URI: https://eprints.keele.ac.uk/id/eprint/8842

Actions (login required)

View Item
View Item