Research

Research Interests

• Distributed computing: architecture description languages and support environments; distributed algorithms; dynamic configuration and self-organising systems.

• Software architectures: Architectural Description Languages (ADL): structural concepts; underlying theory; application to the specification, analysis and construction of concurrent and distributed software systems.

  • Darwin Architecture for Concurrent and Distributed systems

• Behaviour analysis: compositional techniques for modelling and analysis of concurrent and distributed systems specified in the Finite State Process (FSP) process algebra, Labelled Transition Systems (LTS) and Compositional Reachability Analysis (CRA); probabilistic models.

  • LTSA: LTS Analyser for Concurrent and Distributed systems

  • LTSA Extensions:

    • LTSA-PCA: A probabilistic extension to LTSA for Compositional Reliability Analysis
    • CF-LTSA: An extension to LTSA for Counting Fluent Linear Temporal Logic
    • LTSA-Delforge: An extension to LTSA adding extensive LTS layout capabilities

• Software evolution and change: Change as fundamental in architecture definition: rigorous techniques for unplanned change, decentralised development and conflict detection using ADLs.

  • Evolve is a flexible and lightweight software tool for software component reuse and evolution, providing a more principled way to construct and maintain software systems than approaches such as dependency injection

  • Evolve software tool and demo video

• Adaptive software systems: rigorous architectural approaches to self-organised adaptive software, including dynamic planning, component assembly and execution.

• Requirements analysis: multiple perspectives (ViewPoints): inconsistency; requirements evolution, synthesis of behaviour models from scenarios and goals; experimental plugin version of LTSA; requirements elaboration combining model checking and machine learning.

• More Tools