Monitoring Web service requirements

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn 2003-January, Issue , 2003, Pages 65-74

  Robinson, W N ^a  

^a GEORGIA STATE UNIVERSITY   (United States)

Author keywords

Monitoring; Web services

Indexed keywords

MONITORING; REQUIREMENTS ENGINEERING; WEBSITES;

INTEGRATED METHOD; MONITORING ON LINE; ONLINE TRANSACTION; REQUIREMENTS ANALYSIS; SERVICE CONTRACT; SERVICE MONITORING; SERVICE REQUIREMENTS; SOFTWARE EXECUTION;

WEB SERVICES;

EID: 84942868542     PISSN: 1090705X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICRE.2003.1232738     Document Type: Conference Paper

References (40)

1. "Seller Beware," in The Economist, 2000, pp. 61-62.
2. J. H. Andrews, "Testing using log file analysis: Tools, methods and issues," presented at Proceedings of the 1998 International Conference on Automated Software Engineering (ASE'98), Honolulu, Hawaii, 1998.
3. J. H. Andrews and Y. Zhang, "Broad-Spectrum Studies of Log File Analysis," presented at Proceedings of the 22nd International Conference on Software Engineering (ICSE 2000), Limerick, Ireland,, 2000.
4. A. I. Antón, "Goal-Based Requirements Analysis," presented at Second IEEE International Conference on Requirements Engineering (ICRE '96), Colorado Springs, Colorado, 1996.
5. A. I. Antón and C. Potts, "The Use of Goals to Surface Requirements for Evolving Systems," presented at International Conference on Software Engineering (ICSE '98)., Kyoto, Japan, 1998.
6. J. Y. Bakos, "A strategic analysis of electronic marketplaces," MIS Quarterly, vol. 15, pp. p295, 16p, 1991.
7. A. Dardenne, A. van Lamsweerde, and S. Fickas, "Goal-Directed Requirements Acquisition.," Science of Computing Programming, vol. 20, pp. 3-50, 1993.
8. W. H. Davidow and M. S. Malone, The Virtual Corporation. New York: Harper Business, 1992.
9. M. Dodgson, "Learning, trust and technological collaboration," Human Relations, vol. 46, pp. 77-96, 1993.
10. S. Easterbrook and J. Callahan, "Formal methods for verification and validation of partial specifications: A case study," Journal of Systems Software, vol. 40, pp. 199-210, 1998.
11. ebXML, "ebXML Catalog of Common Business Processes v1.0," Business Process Team, ebXML 11 May 2001.
12. ebXML, "ebXML E-Commerce Patterns v1.0," Business Process Team, ebXML April 2001.
13. M. S. Feather, "FLEA : Formal Language for Expressing Assumptions Language Description," June 25 1997.
14. M. S. Feather, "Rapid application of lightweight formal methods for consistency analyses," IEEE Transactions on Software Engineering, vol. 24, 1998.
15. M. S. Feather, S. Fickas, A. van Lamsweerde, and C. Ponsard, "Reconciling System Requirements and Runtime Behavior," presented at Proceedings of the International Workshop on Software Specification and Design (IWSSD'98), Isobe, 1998.
16. S. Fickas and M. S. Feather, "Requirements Monitoring in Dynamic Environments," presented at Proceedings of the 2nd International Symposium on Requirements Engineering, York, England, 1995.
17. D. Georgakopoulos, M. F. Hornick, and A. P. Sheth, "An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure," Distributed and Parallel Databases, vol. 3, pp. 119-153, 1995.
18. A. Girgensohn, D. Redmiles, and F. Shipman, "Agent-Based Support for Communication between Developers and Users in Software Design," presented at Proceedings of the 9th Knowledge-Based Software Engineering (KBSE-94) Conference, Monterey, CA.
19. K. Gottschaik, S. Graham, H. Kreger, and J. Snell, "Introduction to Web services architecture," IBM Systems Journal, vol. 41, pp. 170-177, 2002.
20. R. J. Hall, "Open modeling in multi-stakeholder distributed systems: requirements engineering for the 21st Century," presented at First Workshop on the State of the Art in Automated Software Engineering,, 2002.
21. J. Hatcliff and M. Dwyer, "Using the Bandera Tool Set to Model-check Properties of Concurrent Java Software," presented at Proceedings of CONCUR 2001, 2001.
22. D. Heimbold and D. Luckham, "Debugging Ada tasking programs," IEEE Software, vol. 2, pp. 47-57, 1985.
23. A. Josang, "Security protocol verification using SPIN," presented at Proceedings of the First SPN Workshop, Montreal, Canada, 1995.
24. S. Kaplan and M. Sawhney, "E-Hubs: The New B2B Marketplace," Harvard Business Review, pp. 97-103, 2000.
25. R. Koymans, "Specifying message passing and time-critical systems with temporal logic," LNCS 651, Springer-Verlag 1992.
26. T. Kunz, J. Black, D. Taylor, and T. Basten, "Poet: Target-system-independent visualizations of complex distributed-application executions," The Computer Journal, vol. 40, pp. 499-512, 1997.
27. E. Letier and A. v. Lamsweerde, "Agent-Based Tactics for Goal-Oriented Requirements Elaboration," presented at Proceedings ICSE'2002 - 24th International Conference on Software Engineering, Orlando, FL, 2002.
28. N. Leveson, Safeware, System Safety and Computers. Reading, MA: Addison-Wesley,, 1995.
29. K. Myers and P. Berry, "Workflow management systems:An AI Perspective," Artificial Intelligence Center, SRI International, Menlo Park, CA Technical report, December 23 1999.
30. T. O. O'Malley, D. J. Richardson, and L. K. Dillon, "Efficient specication-based oracles for critical systems," presented at Proceedings of the California Software Symposium, 1996.
31. D. K. Peters and D. K. Parnas, "Using test oracles generated from program documentation," presented at Proceedings of the International Symposium on Software Testing and Analysis, 1984.
32. C. Potts, "Using Schematic Scenarios to Understand User Needs," presented at Proc. DIS'95 - ACM Symposium on Designing interactive Systems: Processes, Practices and Techniques, 1995.
33. S. Qiao and H. Zhang, "An automatic log analyzer for parallel programs," presented at Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, Nevada, USA, 1999.
34. W. N. Robinson, "Integrating multiple specifications using domain goals," presented at 5th International workshop on software specification and design, 1989.
35. W. N. Robinson, "Monitoring Web Services," Georgia State University', Atlanta September 2002.
36. W. N. Robinson and S. Pawlowski, "Surfacing Root Requirements Interactions from Inquiry Cycle Requirements," presented at The Third IEEE International Conference on Requirements Engineering (ICRE'98), Colorado Springs, CO, 1998.
37. W. N. Robinson and S. Volkov, "A Meta-Model for Restructuring Stakeholder Requirements," presented at Proc. ICSE 19 - 19th International Conference on Software Engineering, Boston, 1997.
38. R. A. Smith, "Trends in e-business technologies," IBM Systems Journal, vol. 40, pp. 4-7, 2001.
39. K.-C. Tai, R. H. Carver, and E. E. Obaid, "Debugging concurrent Ada programs by deterministic execution," IEEE Transactions on Software Engineering, vol. 17, pp. 45-63, 1991.
40. A. van Lamsweerde and E. Letier, "Handling obstacles in goal-oriented requirements engineering," in IEEE Transactions on Software Engineering, vol. 26, 2000, pp. 978-1005.