Optimizing the Solutions for Socio-technical Systems

10.6459/JCM.200703_4(1).0007

W. C. Chang

evolutionary computing ； requirements engineering ； nonfunctional requirements ； scenario-based requirements analysis

危機管理學刊

4卷1期（2007 / 03 / 01）

59 - 70

英文

Software tools for scenario-based requirements analysis of complex socio-technical systems are described. The first, the System Reliability Analysis tool, uses Bayesian Belief Networks to assess the reliability of human and machine agent combinations by running the BBN against executable operational scenarios. This tool enabled the reliability of alternative system models to be compared, but this was still a labour intensive process. The Evolutionary Requirements Analysis tool improved the process by applying evolutionary computing techniques to automatically select optimal combinations of human and machine agents in a system model to match nonfunctional requirements (NFRs). The tool assessed the reliability, performance times and cost of different system models by executing the models with scenarios and different combinations of environment variables. Better performing models were selected to converge on an optimal solution. Use of both tools is illustrated with a case study of requirements analysis for a command and control system.

1. Basili, V. R.,Rombach, H. D.(1988).The TAME Project: Towards improvement-Orientated Software Environments.IEEE Transactions on Software Engineering,14,758-773.
2. Breuker, J.,Van Der Velde, J.(1994).Common KADS Library for Expertise Modelling.Amsterdam:IOS Press.
3. Carroll, J. M. (ed.)(1995).Scenario-Based Design: Envisioning Work and Technology in System Development.New York:Wiley.
4. Castro, J.,Kolp, M.,Mylopoulos, J.(2002).Towards Requirements-Driven Information Systems engineering: The Tropos Project.Elsevier:Information Systems Amsterdam.
5. Fickas, S.,Feather, M. S.(1995).Requirements Monitoring in Dynamic Environments.1995 IEEE International Symposium on Requirements Engineering (RE '95),Los Alamitos CA:
6. Galliers, J.,Sutcliffe, A. G.,Minocha, S.(1999).An Impact Analysis Method for Safety-Critical User Interface Design.ACM Transactions on Computer-Human Interaction,6,341-369.
7. Helmreich, R. L.(1997).Managing Human Error in Aviation.Scientific American,40-45.
8. Hollnagel, E.(1998).Cognitive Reliability and Error Analysis Method: CREAM.Oxford:Elsevier.
9. Hollnagel, E.(1993).Human Reliability Analysis: Context and Control.London:Academic Press.
10. Kasik, D. J.,George, H. G.(1996).Toward Automatic Generation of Novice User Test Scripts.CHI 96 Conference Proceedings,New York:
11. Maiden, N. A. M.,Minocha, S.,Sutcliffe, A. G.,Manuel, D.,Ryan, M.(1999).A Co-Operative Scenario Based Approach to Acquisition and Validation of System Requirements: How Exceptions Can Help.Interacting with Computers,11,645-664.
12. Michalewicz, Z.(1994).Algorithm+Data Structure.New York:Springer-Verlag.
13. Mylopoulos, J.,Chung, L.,Yu, E.(1999).From Object-Oriented to Goal-Oriented Requirements Analysis.Communications of the ACM,42,31-37.
14. Potts, C.,Takahashi, K.,Smith J.,Ora, K.(1995).An Evaluation of Inquiry Based Requirements Analysis for an Internet Service.1995 IEEE International Symposium on Requirements Engineering (RE '95),Los Alamitos CA:
15. Reason, J.(2000).Managing the Risks of Organizational Accidents.Aldershot:Ashgate.
16. Reason, J.(1990).Human Error.Cambridge:Cambridge University Press.
17. Rolland C.,Achour, C. B.,Cauvet, C.,Ralyte, J.,Sutcliffe, A. G.,Maiden, N. A. M.(1998).A Proposal for a Scenario Classification Framework.Requirements Engineering,3,23-47.
18. Smart Procurement Implementation Team(2000).The acquisition Handbook: A Guide to Smart Procurement.London:Ministry of Defence.
19. Sutcliffe, A. G.(2002).The Domain Theory: Patterns for Knowledge and Software Reuse.Mahwah NJ:Lawrence Erlbaum Associates.
20. Sutcliffe, A. G.(1997).A Technique Combination Approach to Requirements Engineering.ISRE '97: 3rd IEEE International Symposium on Requirements Engineering,Los Alamitos, CA:
21. Sutcliffe, A. G.,Galliers, J.,Minocha, S.(1999).Human Errors and System Requirements.4th IEEE International Symposium on Requirements Engineering,Los Alamitos CA:
22. Sutcliffe, A. G.,Gregoriades, A.(2002).Validating Functional System Requirements with Scenarios.
23. Sutcliffe, A. G.,Maiden, N. A. M.,Minocha, S.,Manuel, D.(1998).Supporting Scenario-Based Requirements Engineering.IEEE Transactions on Software Engineering,24,1072-1088.
24. Tavares, R.,Teofilo, A.,Silva, P.,Rosa, A. C.(1999).Infected Genes Evolutionary Algorithm.ACM Symposium on Applied Computing
25. Van Lamsweerde,Letier, E.(2000).Handling Obstacles in Goal-Oriented Requirements Engineering.IEEE Transactions on Software Engineering,26,978-1005.
26. Yu, E.(1994).Modelling Strategic Relationships for Process Reengineering: Technical Report DKBS-TR-94-6.Toronto:University of Toronto.