Requirements modeling and validation using Bi-layer use case descriptions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5301 LNCS, Issue , 2008, Pages 97-112

  Sinha, Avik ^a   Kaplan, Matthew ^a   Paradkar, Amit ^a   Williams, Clay ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED ANALYSES; AUTOMATED PROCESSING; CASE STUDIES; FEEDBACKS]; MODELING AND VALIDATIONS; MODELING ENVIRONMENTS; MODELING NOTATIONS; PRECISE MODELING; STEEP LEARNING CURVES; USE CASE MODELS; USE CASES;

FORMAL LANGUAGES; LINGUISTICS;

MODELS;

EID: 56649088003     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87875-9_7     Document Type: Conference Paper

References (24)

1. Carroll, J.M.: Five reasons for scenario-based design. In: HICSS (1999)
2. Firesmith, D.G.: Modeling the Dynamic Behavior of Systems, Mechanisms and Classes with Scenarios, pp. 32-36. SIGS Publication, New York (1994)
3. Hsia, P., Samuel, J., Gao, J., Kung, D., Toyoshima, Y., Chen, C.: Formal approach to scenario analysis. IEEE Softw. 11(2), 33-41 (1994)
4. Jacobson, I.: Object-oriented development in an industrial environment. In: OOPSLA 1987: Conference proceedings on Object-oriented programming systems, languages and applications, pp. 183-191. ACM Press, New York (1987)
5. Rosenberg, D., Scott, K.: Use case driven object modeling with UML: a practical approach. Addison-Wesley Longman Publishing Co., Inc., Boston (1999)
6. Rubin, K.S., Goldberg, A.: Object behavior analysis. Commun. ACM 35(9), 48-62 (1992)
7. Potts, C., Takahashi, K., Anton, A.: Inquiry-based requirements analysis. IEEE Software 11(2), 21-32 (1994)
8. Blain, T.: Use case series: Formal use case, http://tynerblain.wordpress. com/ 2005/12/19/use-case-series-formal-use-case/
9. Regnell, B., Kimbler, K., Wesslen, A.: Improving the use case driven approach to requirements engineering, re 00, 40 (1995)
10. Kösters, G., Pagel, B.U., Winter, M.: Coupling use cases and class models. In: BCS FACS/EROS Workshop on Making Object-oriented Methods more Rigorous (1997)
11. Lee, W.J., Cha, S.D., Kwon, Y.R.: Integration and analysis of use cases using mod- ular petri nets in requirements engineering. Software Engineering 24(12), 1115-1130 (1998)
12. Moreira, A., Jo a.A.: Generating object-z specications from use cases, pp. 43-50 (2000)
13. Hausmann, J.H., Heckel, R., Taentzer, G.: Detection of conicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation. In: ICSE, pp. 105-115 (2002)
14. Bures, F., Rysav, O.: Formal abstract architecture for use case specications. In: Proceedings of the 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, pp. 203-211. IEEE Computer Society Press, Los Alamitos (2004)
15. Jorgensen, J.B., Bossen, C.: Executable use cases: Requirements for a pervasive health care system. IEEE Softw. 21(2), 34-41 (2004)
16. Li, X., Liu, Z., He, J.: Consistency checking of uml requirements. In: ICECCS 2005: Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2005), Wasshington, DC, USA, pp. 411-420. IEEE Computer Society, Los Alamitos (2005)
17. Whittle, J., Jayaraman, P.K.: Generating hierarchical state machines from use case charts. In: Proc. of the 14th IEEE International Requirements Engineering Conference (RE 2006), Washington, DC, USA, pp. 16-25. IEEE, Los Alamitos (2006)
18. Glinz, M.: A lightweight approach to consistency of scenarios and class models. In: ICRE, pp. 49-58 (2000)
19. Sinha, A., Paradkar, A., Williams, C.: On generating efsm models from use cases. In: SCESM 2007: Proceedings of Sixth InternationalWorkshop on Scenario and State Machines, pp. 1-9 (2007)
20. Hayes, J.H.: Building a requirement fault taxonomy: Experiences from a nasa verication and validation research project. In: ISSRE 2003: Proceedings of the 14th International Symposium on Software Reliability Engineering, Washington,DC, USA, p. 49. IEEE Computer Society, Los Alamitos (2003)
21. Miller, L., Mirsky, S., Hayes, J.H.: Guidelines for the verication and validation of expert system software and conventional software. Technical Report NUREG/CR-6316, U.S. Nuclear Regulatory Commission and Electric Power Research Institute (March 1995)
22. Buhr, R.J.A.: Use case maps as architectural entities for complex systems. IEEE Trans. Softw. Eng. 24(12), 1131-1155 (1998)
23. Briand, L.C., Labiche, Y., O'Sullivan, L.: Impact analysis and change management of uml models. In: ICSM, Washington, DC, USA, p. 256. IEEE Computer Society, Los Alamitos (2003)
24. Egyed, A.: Fixing inconsistencies in uml design models. In: ICSE 2007: Proceedings of the 29th International Conference on Software Engineering, Washington, DC,USA, pp. 292-301. IEEE Computer Society, Los Alamitos (2007)