Using Abstract Quality Types to Construct High Quality Internetware
HE Guo-long · Jisuanji kexue yu tansuo · 2008
In the development of software systems on the Internet (referred to as Internetware), multiple quality properties should be considered along with the development process so that the quality of Internetware can be inferred and predicted at the specification and design stages and be evaluated and verified at the deployment and execution stages. A new abstraction notion, Abstract Quality Type (AQT), is put forward to encapsulate data types, associated operations, quality properties and the environment guaranteeing the qualities into an uniform syntactical unit, which provides rigorous ways to model software entities and to reason about the functional and non-functional properties. The composition of AQTs is also studied based on the software architecture and the process of interactions, which offers a solid foundation for constructing high quality Internetware. Finally, a prototype is described to illustrate how to construct Internetware by using AQTs as well as how to verify and improve a special kind of quality property of Internetware.