Getting ‘whole picture’ behavior in a use case model

Journal of Integrated Design and Process Science

Volumn 7, Issue 4, 2003, Pages 63-79

  Plasil, Frantisek ^a   Mencl, Vladimir ^a  

^a CHARLES UNIVERSITY   (Czech Republic)

Author keywords

Behavior protocols; Generic UC view; Pro case; Use case model

Indexed keywords

EID: 85013568805     PISSN: 10920617     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (24)

1. Adamek, J., Plasil, F.: Behavior Protocols Capturing Errors and Updates, Accepted for publication in proceedings of the Second International Workshop on Unanticipated Software Evolution, ETAPS, Warsaw, 2003
2. Amyot, D., Mussbacher, G.: On the Extension of UML with Use Case Maps Concepts. UML 2000, York, UK, October 2-6, 2000, in Proceedings LNCS 1939, Springer 2000
3. Cockburn, A.: Writing Effective Use Cases, Addison-Wesley Pub Co, ISBN: 0201702258, 1st edition, January 2000
4. Cockburn, A.: Harnessing Convection Currents of Information, Invited Talk, OOPSLA 2001, October 14-18 2001, Tampa Convention Center, Tampa Bay, FL
5. D’Souza, D. Components with Catalysis, www.catalysis.org, 2001
6. Genova, G., Llorens, J., Quintana, V.: Digging into Use Case Relationships, UML 2002, Dresden, Germany, 2002
7. Graham, I.: Object-Oriented Methods: Principles and Practice, Addison-Wesley Pub Co, ISBN: 020161913X, 3rd edition December 2000
8. Grieskamp, W., Lepper, M., Schulte, W., Tillmann, N.: Testable Use Cases in the Abstract State Machine Language, APAQS’01, December 10 - 11, 2001, Hong Kong
9. Hausmann, J. H., Hecke, R., Taentzer, G.: Detection of Conflicting Functional Requirements in a Use Case-Driven Approach, ICSE 2002, Orlando, Florida, USA, May 19-25, 2002
10. Hurlbut R. R., 2003, A Survey of Approaches For Describing and Formalizing Use Cases, Expertech, Ltd., Document: XPT-TR-97-03
11. Jacobson, I., Object-Oriented Software Engineering: A Use Case Driven Approach, Addison-Wesley Pub Co; ISBN: 0201544350; 1st edition (June 30, 1992)
12. Jacobson, I.: Formalizing Use-Case Modeling., JOOP 8(3): 10-14 (1995b)
13. Jacobson, I., Christerson, M.: A Growing Consensus on Use Cases, JOOP 8(1): 15-19 (1995a)
14. Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process, Prentice Hall PTR, ISBN: 0130925691, 2nd ed, 2001
15. OMG, 2003, Unified Modeling Language (UML), version 1.4, formal/2001-09-67, http://www.omg.org/uml/
16. Plasil, F., Balek, D., Janecek, R.: SOFA/DCUP Architecture for Component Trading and Dynamic Updating, Proceedings of the ICCDS '98, Annapolis, IEEE Computer Soc., 1998
17. Plasil, F., Mencl, V.: Use Cases: Assembling "Whole Picture Behavior", TR 02/11, Dept. of Computer Science, University of New Hampshire, Durham, 2002
18. Plasil, F., Visnovsky, S., Besta, M.: Bounding Behavior via Protocols, Proceedings of TOOLS USA '99, Santa Barbara, CA, Aug. 1999.
19. Plasil F., Visnovsky, S.: Behavior Protocols for Software Components. Transactions on Software Engineering, IEEE, vol 28, no 11, Nov 2002
20. Schneider, G., Winters, J. P.: Applying Use Cases: A Practical Guide, Addison-Wesley Pub Co, ISBN: 0201708531, 2nd edition, March 2001
21. SOFA Behavior Protocol Verifier, 2003, the SOFA project, http://nenya.ms.mff.cuni.cz/projects/sofa/tools/
22. Stevens, P.: On Use Cases and Their Relationships in the Unified Modelling Language in Proceedings, FASE 2001 (Part of ETAPS 2001), Genova, Italy April 2-6, 2001, Springer LNCS 2029, ISBN 3-540-41863-6
23. Uchitel, S., Kramer, J.: A Workbench for Synthesising Behaviour Models from Scenarios, ICSE 2001, 12-19 May 2001, Toronto, Ontario, Canada
24. Zimmerman, M. K., Lundqvist, K., Leveson, N.: Investigating the Readability of State-Based Formal Requirements Specification Languages, ICSE 2002, Orlando, Florida, USA, May 19-25, 2002