Project Description

The project is an open-ended project. In general it focuses on methodological issues: how to understand the domain, how to formulate requirements to computing applications, how to develop the software (indeed overall computing systems) architecture, and similar for underlying (distributed, concurrent) program structures.

• Domain theories -- Mathematical models (in RSL) of:
  • A Concrete Model of Banking: Customer Operations
  • Strategic & Tactical Bank Operations
  • Interbank Operations, etc.
  • etc.
• Requirements theories -- Mathematical models (in RSL) of:
  • Customer Operations
  • Strategic & Tactical Bank Operations
  • Interbank Operations, Clearing, etc.
  • etc.
• Software Architectures -- Mathematical models (in RSL) of:
  • Software architectures for individually required sub-systems
  • Software architecture of overall, air traffic management computing support system -- contained one or more of the required sub-systems
• Program Organisation / Program Structures -- Mathematical models (in RSL) of:
  • Concurrency
  • Distribution
  • Modularity
  • etc.