DocumentCode :
1514967
Title :
Death, Taxes, & Scalability
Author :
Duboc, Leticia ; Rosenblum, D.S. ; Letier, Emmanuel
Author_Institution :
Univ. Coll. London, London, UK
Volume :
27
Issue :
4
fYear :
2010
Firstpage :
20
Lastpage :
21
Abstract :
The London Ambulance System and the online tax return system of Her Majesty´s Revenue and Customs are two systems that have experienced significant problems of scalability. However, we´ve never seen a precise discussion of their scalability concerns. In this column we use those systems to illustrate how the scalability of software systems can be more precisely understood and characterized, and we describe recent research on goal-obstacle analysis that can help elaborate the scalability requirements of such systems, in an effort to mitigate scalability problems early in development.
Keywords :
formal specification; formal verification; systems analysis; London Ambulance System; goal-obstacle analysis; online tax return system; scalability; Finance; Scalability; Software systems; KAOS; obstacles; requirements; scalability; software engineering;
fLanguage :
English
Journal_Title :
Software, IEEE
Publisher :
ieee
ISSN :
0740-7459
Type :
jour
DOI :
10.1109/MS.2010.97
Filename :
5484110
Link To Document :
بازگشت