Skip to main content

Research Repository

Advanced Search

All Outputs (14)

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.

Living with Uncertainty in Model-Based Development (2021)
Book Chapter
Bernardi, S., Famelis, M., Jézéquel, J., Mirandola, R., Palacin, D. P., Polack, F. A. C., & Trubiani, C. (2021). Living with Uncertainty in Model-Based Development. In R. Heinrich, F. Durán, C. Talcott, & S. Zschaler (Eds.), Composing Model-Based Analysis Tools (159-185). Cham: Springer. https://doi.org/10.1007/978-3-030-81915-6_8

Uncertainty is present in model-based developments in many different ways. In the context of composing model-based analysis tools, this chapter discusses how the combination of different models can increase or decrease the overall uncertainty. It exp... Read More about Living with Uncertainty in Model-Based Development.

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.

Evaluating hyperheuristics and local search operators for periodic routing problems
Presentation / Conference Contribution
Chen, Y., Mourdjis, P., Polack, F., Cowling, P., & Remde, S. Evaluating hyperheuristics and local search operators for periodic routing problems

Meta-heuristics and hybrid heuristic approaches have been successfully applied to Periodic Vehicle Routing Problems (PVRPs). However, to be competitive, these methods require careful design of specific search strategies for each problem. By contrast,... Read More about Evaluating hyperheuristics and local search operators for periodic routing problems.

Towards efficient loading of change-based models
Presentation / Conference Contribution
Yohannis, A., Rodriguez, H. H., Polack, F., & Kolovos, D. Towards efficient loading of change-based models. Presented at European Conference on Modelling Foundations and Applications (ECMFA 2018), Toulouse, France

This paper proposes and evaluates an efficient approach for loading models stored in a change-based format. The work builds on language-independent change-based persistence (CBP) of models conforming to object-oriented metamodelling architectures suc... Read More about Towards efficient loading of change-based models.

Competition and cooperation in pickup and multiple delivery problems
Presentation / Conference Contribution
Mourdjis, P., Polack, F., Cowling, P., Chen, Y., & Robinson, M. Competition and cooperation in pickup and multiple delivery problems

Logistics is a highly competitive industry; large hauliers use their size to benefit from economies of scale while small logistics companies are often well placed to service local clients. To obtain economies of scale, small hauliers may seek to coop... Read More about Competition and cooperation in pickup and multiple delivery problems.

A tutorial on metamodelling for grammar researchers
Presentation / Conference Contribution
Paige, R. F., Kolovos, D. S., & Polack, F. A. A tutorial on metamodelling for grammar researchers

A metamodel has been defined as: a model of a model; a definition of a language; a description of abstract syntax; and a description of a domain. Because of these varied definitions, it is difficult to explain why metamodels are constructed, what can... Read More about A tutorial on metamodelling for grammar researchers.