|
Published Articles >> Table of Contents >> Abstract
19th IEEE International Conference on Automated Software Engineering (ASE'04)
pp. 56-66
Validating Personal Requirements by Assisted Symbolic Behavior Browsing
Robert J. Hall, AT&T Labs Research, Florham Park, NJ
Andrea Zisman, City University, London, UK
Full Article Text:
 
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASE.2004.10064
Send link to a friend
| Abstract |
|
Risks and hazards abound for users of today's large
scale distributed telecommunications and e-commerce systems.
Service nodes are documented loosely and incompletely,
omitting functional details that can violate stake-holder
requirements and thwart high level goals. For example,
it is not enough to know that a book finding service
will locate a book for no more than a set price; will the
chosen book vendor use an acceptable delivery mode and
service? Will it retain or abuse personal information? The
OpenModel paradigm provides the basis for a solution: instead
of interface information alone, each node publishes a
behavioral model of itself. However, large scale and multi-stakeholder
systems rule out the use of traditional validation
technologies, because state spaces are far too large and
incompletely known to support concrete simulation, exhaustive
search, or formal proof. Moreover, high level personal
requirements like privacy, anonymity, and task success are
impossible to formalize completely. This paper describes
a new methodology, assisted symbolic behavior browsing,
and an implemented tool, GSTVIEW, that embodies it to
help the user recognize potential violations of high level requirements.
The paper also describes case studies of applying
GSTVIEW in the domains of email and web services.
|
 Additional Information
|
Citation:
Robert J. Hall, Andrea Zisman,
"Validating Personal Requirements by Assisted Symbolic Behavior Browsing,"
ase,
pp. 56-66,
19th IEEE International Conference on Automated Software Engineering (ASE'04),
2004
|
|
