All Outputs (8)

Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models (2022)
Journal Article
Paige, R. F., Polack, F. A., Zschaler, S., Chiang, T., & Annable, N. (2022). Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models. Journal of Object Technology, 21(4), 4:1-13. https://doi.org/10.5381/jot.2022.21.4.a6

Workflow models are used to rigorously specify and reason about diverse types of processes. The Workflow+ (WF+) framework has been developed to support unified modelling of the control and data in processes that can be used to derive assurance cases... Read More about Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models.

The role of ‘living laboratories’ in accelerating the energy system decarbonization (2022)
Journal Article
Fan, Z., Cao, J., Jamal, T., Fogwill, C., Samende, C., Robinson, Z., …Healey, D. (2022). The role of ‘living laboratories’ in accelerating the energy system decarbonization. Energy Reports, 8, 11858-11864. https://doi.org/10.1016/j.egyr.2022.09.046

To decarbonize the energy system by the year 2050, it is crucial that innovations are trialled in a ‘real world’ setting for the purpose of increasing public adoption and support, and for providing insights to decision-makers to ensure their decision... Read More about The role of ‘living laboratories’ in accelerating the energy system decarbonization.

On developing and validating dynamic systems: simulation engineering (2020)
Journal Article
Polack, F., & Alden, K. (2020). On developing and validating dynamic systems: simulation engineering. Journal of Object Technology, 19(3), 3:1-13. https://doi.org/10.5381/jot.2020.19.3.a6

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... Read More about On developing and validating dynamic systems: simulation engineering.

Report on workshop: Planning the future of agent simulation (2020)
Journal Article
Polack, F., & Zschaler, S. (2020). Report on workshop: Planning the future of agent simulation. Artificial Life, 26(2), 307-313. https://doi.org/10.1162/artl_a_00320

In May 2019, a workshop on principled development of future agent-based simulations was held at Keele University. Participants spanned companies and academia, and a range of domains of interest, as well as participant career stages. This report summa... Read More about Report on workshop: Planning the future of agent simulation.

Towards efficient comparison of change-based models (2019)
Journal Article
Yohannis, A., Rodriguez, H. H., Polack, F., & Kolovos, D. (2019). Towards efficient comparison of change-based models. Journal of Object Technology, 18(2), 7:1-21. https://doi.org/10.5381/jot.2019.18.2.a7

Comparison of large models can be time-consuming since every element has to be visited, matched, and compared with its respective element in other models. This can result in bottlenecks in collaborative modelling environments, where identifying diffe... Read More about Towards efficient comparison of change-based models.

Dynamic optimisation of preventative and corrective maintenance schedules for a large scale urban drainage system (2016)
Journal Article
Chen, Y., Cowling, P., Polack, F., Remde, S., & Mourdjis, P. (2017). Dynamic optimisation of preventative and corrective maintenance schedules for a large scale urban drainage system. European journal of operational research, 257(2), 494-510. https://doi.org/10.1016/j.ejor.2016.07.027

Gully pots or storm drains are located at the side of roads to provide drainage for surface water. We consider gully pot maintenance as a risk-driven maintenance problem. We explore policies for preventative and corrective maintenance actions, and bu... Read More about Dynamic optimisation of preventative and corrective maintenance schedules for a large scale urban drainage system.

Filling gaps in simulation of complex systems: the background and motivation for CoSMoS (2014)
Journal Article
Polack, F. (2015). Filling gaps in simulation of complex systems: the background and motivation for CoSMoS. Natural Computing, 14(1), 49-62. https://doi.org/10.1007/s11047-014-9462-5

Modelling and simulation of complex systems can create scientific research tools that allow the inaccessible dynamic aspects of systems to be explored in ways that are not possible in live systems. In some scientific contexts, there is a need to be a... Read More about Filling gaps in simulation of complex systems: the background and motivation for CoSMoS.

Principled simulation of cell proliferation dynamics using the CoSMoS approach (2014)
Journal Article
Polack, F., & Droop, A. (2014). Principled simulation of cell proliferation dynamics using the CoSMoS approach. Natural Computing, 14(1), 63-82. https://doi.org/10.1007/s11047-014-9468-z

A collaboration between cancer biologists and academic software engineers has been exploring the development of an agent-based simulator to inform and support work on the dynamics of cell proliferation in the study of prostate disorders. The research... Read More about Principled simulation of cell proliferation dynamics using the CoSMoS approach.