Functionality

  • Accuracy - How good/accurate are the results you get from the program.

Reliability

Usability

Efficiency

  • Time behaviour - this is based on uppaal and we are trying to connect to a real web system with real web latencies
  • Resource utilization - how efficiently can it use the resources (network speed, cpu, disk, or whatever)

Maintainability

  • Analysability - how easy is it to figure out what caused an error / what went wrong.
  • Changeability - How easily can you make relatively small changes to the system.
  • Modularity - rip out one part and replace it with another (be it uppaal model)

Portability

  • Adaptability - how easily can you adapt the system (make large changes) to fit your own implementation/system
  • Installability - how easily can you build or install it into your environment. Be it pc or phyiscally or socially
  • Replacability - replace the entire system wholesale