Simulating Dynamic Vehicle Routing Problems with Athos (2019)
Conference Proceeding
Hoffman, B., Guckert, M., Chalmers, K., & Urquhart, N. (2019). Simulating Dynamic Vehicle Routing Problems with Athos. In Proceedings of the 33rd International ECMS Conference on Modelling and Simulation ECMS 2019 (296-302). https://doi.org/10.7148/2019-0296

Complex routing problems, such as vehicle routing problems with additional constraints, are both hard to solve and hard to express in a form that is accessible to the human expert and at the same time processible by a computer system that is supposed... Read More about Simulating Dynamic Vehicle Routing Problems with Athos.

Athos - A Model Driven Approach to Describe and Solve Optimisation Problems (2019)
Conference Proceeding
Hoffman, B., Chalmers, K., Urquhart, N., & Guckert, M. (2019). Athos - A Model Driven Approach to Describe and Solve Optimisation Problems. . https://doi.org/10.1145/3300111.3300114

Implementing solutions for optimisation problems with general purpose high-level programming languages is a time consuming task that can only be carried out by professional software developers who typically are not domain experts. We address this pro... Read More about Athos - A Model Driven Approach to Describe and Solve Optimisation Problems.

Towards reducing complexity of multi-agent simulations by applying model-driven techniques (2018)
Conference Proceeding
Hoffman, B., Chalmers, K., Urquhart, N., Farrenkopf, T., & Guckert, M. (2018). Towards reducing complexity of multi-agent simulations by applying model-driven techniques. In Y. Demazeau, B. An, J. Bajo, & A. Fernández-Caballero (Eds.), Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection. PAAMS 2018 (187-199). https://doi.org/10.1007/978-3-319-94580-4_15

Creating multi-agent simulations is a challenging task often requiring programming skills at the professional software developer level. Model driven methods of software development are an appropriate tool for reducing the complexity of the developmen... Read More about Towards reducing complexity of multi-agent simulations by applying model-driven techniques.

Using a task classification in the visualisation design process for task understanding and abstraction: an empirical study (2018)
Conference Proceeding
Kerracher, N., Kennedy, J., & Chalmers, K. (2018). Using a task classification in the visualisation design process for task understanding and abstraction: an empirical study. In J. Johansson, F. Sadlo, & T. Schreck (Eds.), Proceedings of the 2018 Eurographics Conference on Visualization (EuroVis 2018) - Short Papers (79-83). https://doi.org/10.2312/eurovisshort.20181082

Task classifications are widely purported to be useful in the design process, with various suggestions having been made for their use at the different stages. However, little has been written regarding the actual use of task classifications in these... Read More about Using a task classification in the visualisation design process for task understanding and abstraction: an empirical study.

A Domain-Specific Language For Routing Problems (2018)
Conference Proceeding
Hoffmann, B., Hoffman, B., Guckert, M., Farrenkopf, T., Chalmers, K., & Urquhart, N. (2018). A Domain-Specific Language For Routing Problems. In L. Nolle, A. Burger, C. Tholen, J. Werner, & J. Wellhausen (Eds.), Proceedings of the 32nd EUROPEAN CONFERENCE ON MODELLING AND SIMULATION. https://doi.org/10.7148/2018-0262

Vehicle Routing Problems (VRPs) are commonly used as benchmark optimisation problems and they also have many applications in industry. Using agent-based approaches to solve VRPs allows the analysis of dynamic VRP instances that incorporate congestion... Read More about A Domain-Specific Language For Routing Problems.

Communicating Connected Components: Extending Plug-and-Play to Support Skeletons (2017)
Conference Proceeding
Chalmers, K., Kerridge, J., & Pedersen, J. B. (2017). Communicating Connected Components: Extending Plug-and-Play to Support Skeletons. In Communicating Process Architectures 2016

For a number of years, the Communicating Process Architecture (CPA) community have developed languages and runtimes supporting message passing concurrency. For these we always provide a set of reusable processes called plug and play. These components... Read More about Communicating Connected Components: Extending Plug-and-Play to Support Skeletons.

The Design and Evaluation of a Modern C++ Library (2016)
Conference Proceeding
Chalmers, K. (2016). The Design and Evaluation of a Modern C++ Library. In Communicating Process Architectures 2016

Although many CSP inspired libraries exist, none yet have targeted modern C++ (C++11 onwards). The work presented has a main objective of providing a new C++ CSP library which adheres to modern C++ design principles and standards. A secondary objecti... Read More about The Design and Evaluation of a Modern C++ Library.

A Task Orientated Requirements Ontology for Cloud Computing Services (2016)
Conference Proceeding
Greenwell, R., Liu, X., Chalmers, K., & Pahl, C. (2016). A Task Orientated Requirements Ontology for Cloud Computing Services. In Proceedings of the 6th International Conference on Cloud Computing and Services Science (CLOSER 2016) (121-128). https://doi.org/10.5220/0005752301210128

Requirements ontology offers a mechanism to map requirements for cloud computing services to cloud computing resources. Multiple stakeholders can capture and map knowledge in a flexible and efficient manner. The major contribution of the paper is the... Read More about A Task Orientated Requirements Ontology for Cloud Computing Services.

Pricing Ontology for Task-Oriented Cloud Sourcing (2016)
Conference Proceeding
Greenwell, R., Liu, X., & Chalmers, K. (2016). Pricing Ontology for Task-Oriented Cloud Sourcing. In 2016 IEEE 4th International Conference on Future Internet of Things and Cloud (FiCloud). https://doi.org/10.1109/ficloud.2016.17

Cloud computing allows access to computing resources from a number of providers, who offer multiple pricing strategies for selected product characteristics. The service offerings are becoming increasingly complex, with innovations such as spot market... Read More about Pricing Ontology for Task-Oriented Cloud Sourcing.

Semantic description of cloud service agreements (2015)
Conference Proceeding
Greenwell, R., Liu, X., & Chalmers, K. (2015). Semantic description of cloud service agreements. In Science and Information Conference (SAI), 2015 (823-831). https://doi.org/10.1109/sai.2015.7237239

To provide cloud services as a utility there must be a mechanism for comprehensively and precisely specifying cloud service agreements to reduce differences in service perception between customers and suppliers. This paper proposes a description... Read More about Semantic description of cloud service agreements.

Visual techniques to support exploratory analysis of temporal graph data. (2015)
Conference Proceeding
Kerracher, N., Kennedy, J., Chalmers, K., & Graham, M. (2015). Visual techniques to support exploratory analysis of temporal graph data. In E. Bertini, J. Kennedy, & E. Puppo (Eds.), Proceedings of the Eurographics Conference on Visualization (EuroVis '15), Short Papers Track (103-107). https://doi.org/10.2312/eurovisshort.20151133

Recently, much research has focused on developing techniques for the visual representation of temporal graph data. This paper takes a wider look at the visual techniques involved in exploratory analysis of such data, considering the variety of sub ta... Read More about Visual techniques to support exploratory analysis of temporal graph data..

A Task Taxonomy for Temporal Graph Visualisation (2015)
Journal Article
Kerracher, N., Kennedy, J., & Chalmers, K. (2015). A Task Taxonomy for Temporal Graph Visualisation. IEEE Transactions on Visualization and Computer Graphics, 21(10), 1160-1172. https://doi.org/10.1109/tvcg.2015.2424889

By extending and instantiating an existing formal task framework, we define a task taxonomy and task design space for temporal graph visualisation. We discuss the process involved in their generation, and describe how the design space can be ‘sliced... Read More about A Task Taxonomy for Temporal Graph Visualisation.

The design space of temporal graph visualisation. (2014)
Conference Proceeding
Kerracher, N., Kennedy, J., & Chalmers, K. (2014). The design space of temporal graph visualisation. In N. Elmqvist, M. Hlawitschka, & J. Kennedy (Eds.), Proceedings of the 18th Eurographics Conference on Visualization (EuroVis '14). https://doi.org/10.2312/eurovisshort.20141149

This paper presents our work in mapping the design space of techniques for temporal graph visualisation. We identify two independent dimensions upon which the techniques can be classified: graph structural encoding and temporal encoding. Based on the... Read More about The design space of temporal graph visualisation..

An Upper Ontology for Benefits Management of Cloud Computing (2014)
Journal Article
Greenwell, R., Liu, X., & Chalmers, K. (2014). An Upper Ontology for Benefits Management of Cloud Computing. International Journal of Advanced Computer Science and Applications, 5(12), https://doi.org/10.14569/IJACSA.2014.051211

Benefits Management provides an established approach for decision making and value extraction for IT/IS investments and, can be used to examine cloud computing investments. The motivation for developing an upper ontology for Benefits Management is th... Read More about An Upper Ontology for Benefits Management of Cloud Computing.

Benefits management of cloud computing investments (2014)
Journal Article
Greenwell, R., Liu, X., & Chalmers, K. (2014). Benefits management of cloud computing investments. International Journal of Advanced Computer Science and Applications, 5(7), 1-9. https://doi.org/10.14569/IJACSA.2014.050701%23sthash.KtMts9Zz.dpuf

This paper examines investments in cloud computing using the Benefits Management approach. The major contribution of the paper is to provide a unique insight into how organizations derive value from cloud computing investments. The motivation for wri... Read More about Benefits management of cloud computing investments.

Evolution feature oriented model driven product line engineering approach for synergistic and dynamic service evolution in clouds: A04BPEL3.0 proposal. (2013)
Conference Proceeding
Wang, Z., Chalmers, K., & Liu, X. (2013). Evolution feature oriented model driven product line engineering approach for synergistic and dynamic service evolution in clouds: A04BPEL3.0 proposal.

Model Driven based approach for Service Evolution in Clouds will mainly focus on the reusable evolution patterns' advantage to solve evolution problems. During the process, evolution pattern will be driven by MDA models to pattern aspects. Weaving th... Read More about Evolution feature oriented model driven product line engineering approach for synergistic and dynamic service evolution in clouds: A04BPEL3.0 proposal..

A quality-driven approach to game physics engine development using the Entity Component System. (2013)
Journal Article
Reilly, C., & Chalmers, K. (2013). A quality-driven approach to game physics engine development using the Entity Component System. The Computer Games Journal, 2, 125

The games industry is a broad, multi-discipline industry, which continues to grow in terms of revenue and cultural significance. Despite the accolades of this “recession-proof” industry, video game projects often fail either to deliver on time and on... Read More about A quality-driven approach to game physics engine development using the Entity Component System..

Pricing Intelligence as a Service for Cloud Computing (2013)
Conference Proceeding
Greenwell, R., Liu, X., & Chalmers, K. (2013). Pricing Intelligence as a Service for Cloud Computing. In Proceedings of 5th IEEE International Conference on Cloud Computing Technology and Science (CloudCom'13) (244-247). https://doi.org/10.1109/cloudcom.2013.139

Pricing Intelligence as a service (PINaaS) can be seen as the brokerage of user requirements to pricing of available resources in a cloud computing environment. Users of both public and private clouds have to consider the price of services they consu... Read More about Pricing Intelligence as a Service for Cloud Computing.

Verifying the CPA Networking Stack using SPIN/Promela. (2013)
Conference Proceeding
Chalmers, K., & Kerridge, J. (2013). Verifying the CPA Networking Stack using SPIN/Promela. In P. H. Welch, F. R. M. Barnes, J. F. Broenink, K. Chalmers, J. B. Pedersen, & A. T. Sampson (Eds.), Communicating Process Architectures 2013 (39-56)

This paper presents a verification of the CPA Networking Stack, using the SPIN Model Checker. Our work shows that the system developed for general networking within CPA applications works under the conditions defined for it. The model itself focuses... Read More about Verifying the CPA Networking Stack using SPIN/Promela..

Evolution Feature Oriented Model Driven Product Line Engineering Approach for Synergistic and Dynamic Service Evolution in Clouds (2013)
Journal Article
Wei, H., Wang, Z., Liu, X., Chalmers, K., & Cheng, G. (2013). Evolution Feature Oriented Model Driven Product Line Engineering Approach for Synergistic and Dynamic Service Evolution in Clouds. Journal of Industrial and Intelligent Information, 1(1), 6-9. https://doi.org/10.12720/jiii.1.1.6-9

The proposed research will focus on developing a novel approach to solve Software Service Evolution problems in Computing Clouds. The approach will support dynamic evolution of the software service in clouds via a set of discovered evolution patterns... Read More about Evolution Feature Oriented Model Driven Product Line Engineering Approach for Synergistic and Dynamic Service Evolution in Clouds.