Consistency checking of UML requirements

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2005, Pages 411-420

  Li, Xiaoshan ^a   Liu, Zhiming ^b   He, Jifeng ^b  

^a UNIVERSITY OF MACAU   (Macao)

^b UNITED NATIONS UNIVERSITY   (Macao)

Author keywords

Consistency Checking; Formal requirement Specification; Requirement Analysis; UML

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; CONSTRAINT THEORY; FORMAL LOGIC; MATHEMATICAL MODELS; SEMANTICS;

CONSISTENCY CHECKING; FORMAL CHECKING; REQUIREMENTS MODEL; UML;

COMPUTER PROGRAMMING LANGUAGES;

EID: 27144501091     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modelling Language User Guide. Addison-Wesley, 1999.
2. J. Hausmann, R. Heckel, and G. Taentzer. Detection of conflicting functional requirements in a use-case driven approach: a static analysis technique based on graph transformation. In Proc of the 24th International Conference on Software Engineering, pages 105-115, 2002.
3. J. He, Z. Liu, X. Li, and S. Qin. A relational model for object-oriented designs. In Proc of the 2nd Asian Symposium on Programming Language and Systems (APLAS 2004), LNCS 3302, pages 415-436, Taiwan, November 2004. Springer.
4. C. Heitmeyer, R. Jeffords, and B. Labaw. Automated consistency checking of requirements specifications. ACM Transations on Software Engineering and Methodology, 5:231-261, 1996.
5. C. Hoare and J. He. Unifying theories of programming. Prentice-Hall International, 1998.
6. I. Jacobson, G. Booch, and J. Rumbaugh. The Unified Software Development Process. Addison-Wesley, 1999.
7. S. Kent. Constraint diagrams: Visualising invariants in object-oriented models. In OOPSLA97. ACM Press, 1997.
8. G. Kotonya and I. Sommerville. Requirements Engineering: process and techniques. John Wiley, 1998.
9. C. Larman. Applying UML and Patterns. Prentice-Hall International, 2001.
10. X. Li, Z. Liu, and J. He. Formal and use-case driven requirement analysis in UML. In Proc of the 25th Annual International Computer Software & Applications Conference (COMPSAC01), pages 215-224, Illinois, USA, October 2001. IEEE Computer Society.
11. X. Li, Z. Liu, J. He, and Q. Long. Generating a prototype from a UML model of system requirements. In Proceedings of 1st International Conference on Distributed Computing & Internet Technology(ICDCIT 2004), in LNCS 3347, pages 255-265, Bhubaneswar, India, December 2004. Springer.
12. Z. Liu, J. He, and X. Li. Toward a formal use of UML for software requirement analysis. In H. Arabnia, editor, The Proceedings of PDPTA'2001 International Conference, pages 27-33, Las Vegas, USA, June 2001. CSREA.
13. Z. Liu, X. Li, and J. He. Using transition systems to unify UML models. In C. 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.
14. B. Meyer. Object-oriented Software Construction (2nd Edition). Prentice Hall PTR, 1997.
15. J. Odell. Advanced Object-Oriented Analaysis & Design Using UML. Cambridge University Press, 1998.
16. R. Plosch. Contracts, Scenarios and Prototypes: an Integrated Approach to High Quality Software. Springer, 2004.
17. I. Sommerville. Software Engineering (7th Edition). Addison-Wesley, 2004.
18. I. Sommerville and P. Sawyer. Requirements Engineering: a good practive guide. John Wiley, 1997.
19. J. Warmer and A. Kleppe. the Object Constraint Language: precise modeling with UML. Addison-Wesley, 1999.