Don't miss our weekly PhD newsletter | Sign up now Don't miss our weekly PhD newsletter | Sign up now

  Dynamic Reconfiguration of Software Systems


   School of Computing & Communications

This project is no longer listed on FindAPhD.com and may not be available.

Click here to search FindAPhD.com for PhD studentship opportunities
  Dr Damian Arellanes  No more applications being accepted  Funded PhD Project (Students Worldwide)

About the Project

Project Description

Software components (e.g., microservices) can be composed together into more complex ones using well-defined composition mechanisms. Although manual composition is suitable for closed environments, fixed compositions are not sufficient to deal with open environments in which software specifications are constantly changing.

To address this problem, we propose an exciting PhD topic in the field of Computer Science, whose aim is to lay the foundations for dynamically changing the structure of pre-defined software compositions of component-based systems. Through this approach, new computational behaviours shall appear on the fly with minimal or no human intervention.

Candidate Profile

The appointment requires an MSc degree in Computer Science, Mathematics or a closely related area, with excellent marks in BSc and MSc degrees.

Studentship Details

The successful applicant will receive a scholarship for up to 3 years, which will cover full tuition fees and a monthly payment for living expenses. As part of the award, the PhD candidate will be required to assist with three computer science modules at Lancaster University College at Beijing-Jiaotong University. This will comprise one 12-week trip per year to Beijing, China, for which flights, accommodation and visa application fees will be covered.

For the rest of the year (40 weeks), the student will be working on their research project in the School of Computing and Communications at Lancaster University, Lancaster, UK under the supervision of Dr. Damian Arellanes.

How to Apply

For entry in October 2023, please send the following documents to [Email Address Removed]:

  • A CV summarising education, awards, positions, academic work and scientific publications. Having at least one publication is expected.
  • Academic transcripts of MSc (distinction is expected) and BSc (at least 2:1) degrees.
  • 1-page personal statement (motivation to work on this project and a little about your background).

For international applicants without a degree taught/researched in English, please also send proof of English proficiency according to the following requirements: https://www.lancaster.ac.uk/study/entry-requirements/postgraduate-english-requirements/#computing-and-communications-442540-1.

Computer Science (8) Mathematics (25)

References

Arbab (2004). Reo: a channel-based coordination model for component composition. In Mathematical Structures in Computer Science, 14(3):329-366.
Bruni et al. (2008). Modelling Dynamic Software Architectures using Typed Graph Grammars. In Electronic Notes in Theoretical Computer Science, 213(1):39-53.
Lau et al. (2004). Constructive Specification for Compositional Units. In International Symposium on Logic-Based Program Synthesis and Transformation, pp. 198-214.
Lio et al. (2022). Runtime Composition of Systems of Interacting Cyber-Physical Components. ArXiv e-prints, arXiv:2205.13008.
Wermelinger and Fiadeiro (2002). A graph transformation approach to software architecture reconfiguration. In Science of Computer Programming, 44(2):133-155.
Nahabedian et al. (2022). Assured automatic dynamic reconfiguration of business processes. In Information Systems, 104:1-19.
Khakpour et al. (2016). Synthesizing structural and behavioral control for reconfigurations in component-based systems”. In Formal Aspects of Computing, 28(1):21-43.
Castro et al. (2010). Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting. In Proceedings of the International Colloqium on Theoretical Aspects of Computing, pp. 306-321.

How good is research at Lancaster University in Computer Science and Informatics?


Research output data provided by the Research Excellence Framework (REF)

Click here to see the results for all UK universities

 About the Project