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