Download now Free registration required
The quality of an architectural design of a software system has a great influence on achieving nonfunctional requirements to the system. Here, the authors present a technique for describing behavioral aspects of software architectures formally based on Coloured Petri Nets (CPNs) and a technique for evaluating their non-functional qualities by analyzing CPNs. They provide quality models for evaluating security, efficiency and reliability, and integrate them with CPN descriptions of software architectures. Their qualities are evaluated by simulating the CPNs on CPN analysis tool called Design/CPN. It allows them to clarify tradeoff on issues of selecting which architecture should be selected.
- Format: PDF
- Size: 85.72 KB