A relational model for formal object-oriented requirement analysis in UML

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

Volumn 2885, Issue , 2003, Pages 641-664

  Liu, Zhiming ^a,c   Jifeng, He ^a   Li, Xiaoshan ^b   Chen, Yifeng ^c  

^a UNITED NATIONS UNIVERSITY   (Macao)

^b UNIVERSITY OF MACAU   (Macao)

^c UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

Conceptual models; Object orientation; Requirement specification; UML; Use cases

Indexed keywords

APPLICATION PROGRAMS; MODELING LANGUAGES; OBJECT ORIENTED PROGRAMMING; SEMANTICS; SOFTWARE DESIGN; SPECIFICATIONS;

CONCEPTUAL MODEL; OBJECT ORIENTATION; OBJECT ORIENTED SOFTWARE DEVELOPMENT; REQUIREMENT SPECIFICATION; REQUIREMENTS ANALYSIS; SOFTWARE DEVELOPMENT PROCESS; SYSTEM SPECIFICATION; UNIFIED SOFTWARE DEVELOPMENT PROCESS;

FORMAL METHODS;

EID: 0345255232     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39893-6_36     Document Type: Article

References (28)

1. N. Aguirre and T. Maibaum. A temporal logic approach to component-based system specification and verification. In Proc. ICSE'02, 2002.
2. R.J.R. Back, L. Petre, and I.P. Paltor. Formalizing UML use cases in the refinement calculus. Technical Report 279, Turku Centre for Computer Science, Turku, Finland, May 1999.
3. J. Cheesman and J. Daniels. UML Components. Component Software series. AddisonWesley, 2001.
4. J. Davies and C. Crichton. Concurrency and refinement in the unified modelling language. In Preliminary Proceedings of REFINE'02: An FME Sponsored Refinement Workshop in Collaboration with BCS FACS, Copenhagen, Denmark, 2002.
5. D. D'Souza and A.C. Wills. Objects, Components and Framework with UML: The Catalysis Approach. Addison-Wesley, 1998.
6. A. Egyed. Scalable consistency checking between diagrams: The Viewintegra approach. In Proc. of the 16th IEEE International Conference on Automated Software Engineering, San Diego, USA, 2001.
7. G. Engels, J.M. Kuster, R. Heckel, and L. Groenewewegen. A methodology for specifying and analyzing consistency of object-oriented behavioral models. In The Proc. of International Conference on Foundation of Software Engineering. FSE-10, Austria, 2001.
8. J. Fiadeiro and T. Maibaum. Design structures for object-based systems. In S. Goldsack and S. Kent, editors, Fomal Methods and Object Technology. Springer-Verlag, 1996.
9. C. Fischer, E-R. Olderog, and H. Wehrheim. A CSP view on UML-RT structure diagrams. In Heinrich Hussmann, editor, 4th FASE, Genova, Italy, 2001, Proceedings, volume 2029 of LNCS, pages 91-108. Springer, 2001.
10. R. France, A. Evans, K. Lano, and B. Rumpe. The UML as a formal modeling notation. Computer Standards & Interfaces, 19:325-334, 1998.
11. Object Modelling Group. Unified Modelling Language Specification, version 1.3. URL: uml.shl.corn:80/docs/UML.1.3799-06-08.pdf, 1999.
12. D. Harel and B. Rumpe. Modeling languages: Syntax, semantics and all that stuff - part I: The basic stuff. Technical Report MCS00-16, The Weizmann Institute of Science, Israel, September 2000.
13. J. He, Z. Liu, and X. Li. A relational model for object-oriented programming. Technical Report UNU/IIST Report No 231, UNU/IIST, P.O. Box 3058, Macau, March 2001.
14. J. He, Z. Liu, and X. Li. Towards a refinement calculus for object-oriented systems. In Proc. ICCI02, Alberta, Canada. IEEE Computer Scociety, 2002.
15. C.A.R. Hoare and J. He. Unifying theories of programming. Prentice-Hall International, 1998.
16. I. Jacobson, G. Booch, and J. Rumbaugh. The Unified Software Development Process. Addison-Wesley, 1999.
17. J. Jürjens. Formal semantics for interacting UML subsystems. In FMOODS 2002, pages 29-44, 2002.
18. S. Kent. Constraint diagrams: Visualising invariants in object-oriented models. In OOPSLA97. ACM Press, 1997.
19. P. Kruchten. The Rational Unified Process-An Introduction. 2nd edition.
20. C. Larman. Applying UML and Patterns. Prentice-Hall International, 2001.
21. X. Li, Z. Liu, and J. He. Formal and use-case driven requirement analysis in UML. In COMPSAC01, pages 215-224, Illinois, USA, October 2001. IEEE Computer Society.
22. X. Li, Z. Liu, and J. He. Generating a prototype from a UML model of system requirements. Submitted for publication, 2003.
23. J. Liu, Z. Liu, X. Li, and J. He. Towards an integrating a formal method with the Rational Unified Process. Submitted for publication, 2003.
24. Z. Liu, X. Li, and J. He. Using transition systems to unify uml models. In Chris George, editor, The Proceedings of 4th International Conference on Formal Engineering Methods, ICFEM2002, in LNCS 2495, pages 535-547, Shanghai, China, October 2002. Springer-Verlag.
25. Z. Mana and A. Pnueli. The temporal framework for concurrent programs. In R.S. Boyer and J.S. Moore, editors, The Correctness Problem in Computer Science, pages 215-274. Academic Press, 1981.
26. G. Reggio, M. Cerioli, and E. Astesiano. Towards a rigorous semantics of UML supporting its multiview approach. In H. Hussmann, editor, Proc. FASE 2001, number 2029, Lecture Notes in Computer Science. Springer Verlag, 2001.
27. B. Selic. Using UML for modelling complex real-time systems. In F. Muller and A. Bestavros, editors, Languages, compilers, and Tools for Embedded Systems, Volume 1474 of Lecture Notes in Computer Science, pages 250-262. Springer Verlag.
28. J. Warmer and A. Kleppe. the Object Constraint Language: precise modeling with UML. Addison-Wesley, 1999.