A concept lattice approach for requirements validation with UML state machine model

Proceedings - SERA 2007: Fifth ACIS International Conference on Software Engineering Research, Management, and Applications

Volumn , Issue , 2007, Pages 393-400

  Ng, Pin ^a  

^a CARITAS INSTITUTE OF HIGHER EDUCATION   (Hong Kong)

Author keywords

[No Author keywords available]

Indexed keywords

CONCEPT ANALYSIS; FORMAL CONCEPT ANALYSIS (FCA); STATE MACHINE MODELS;

ASSOCIATION RULES; COMPUTATIONAL METHODS; FORMAL METHODS; MATHEMATICAL MODELS;

UNIFIED MODELING LANGUAGE;

EID: 38649127221     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SERA.2007.8     Document Type: Conference Paper

References (20)

1. M. Fowler. UML distilled : a brief guide to the standard object modeling language, 3rd ed, Addison-Wesley, 2004.
2. B. Ganter and R. Wille. Formal Concept Analysis: Mathematical Foundations. Springer-Verlag, 1999.
3. R. Godin and P. Valtchev. "Formal Concept AnalysisBased Class Hierarchy Design in Object-Oriented Software Development" in B. Ganter et al. (Eds.): Formal Concept Analysis, LNAI 3626, Springer-Verlag Berlin Heidelberg 2005, pp. 304-323, 2005.
4. S.H. Hwang, S.H. Choi, and H.S. Yang. "Normalizing Class Hierarchies Based on the Formal Concept Analysis" in Software Engineering Research and Applications, CV. Ramamoorthy, R.Y. Lee, and K.W. Lee (Eds.), LNCS 3026, Springer-Verlag Berlin Heidelberg, pp. 239-252, 2004.
5. IEEE. IEEE Standard Glossary of Software Engineering Technology, IEEE Std 610.12-1990, Institute of Electrical and Electronics Engineers, New York, 1990.
6. C. Kobryn. "Modeling enterprise software architectures using UML", Proceedings of Second International Enterprise Distributed Object Computing Workshop, EDOC '98. 3-5 Nov. 1998, pp. 25-34.
7. X.Y. Ma, Z.F. He, B.K. Sheng, and C.Q. Ye. "A genetic algorithm for test-suite reduction", 2005 IEEE International Conference on Systems, Man and Cybernetics, Vol. 1, Oct. 2005, pp.133-139.
8. P.V.R. Murthy, P.C. Anitha, M. Mahesh, and R. Subramanyan. "Test ready UML statechart models", Proceedings of the 2006 international workshop on scenarios and state machines: models, algorithms, and tools SCESM '06, May 2006, pp. 75-81.
9. OMG. "Unified Modeling Language (UML): Superstructure, version 2.0", Object Management Group (OMG), http://www.omg.org, 2005-11-08, August, 2005.
10. R.S. Pressman. Software Engineering: A Practitioner's Approach, 6th ed., McGraw-Hill, 2005.
11. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual, 2nd ed., AddisonWesley, 2005.
12. G. Snelting and F. Tip. "Reengineering Class Hierarchies Using Concept Analysis", Proceedings of Foundations of Software Engineering, 1998, pp. 99-110.
13. I. Sommerville. Software engineering, 7th ed., Pearson/Addison-Wesley, 2004.
14. A. Sutcliffe. "Scenario-based requirements engineering", Proceedings of 11th IEEE International Requirements Engineering Conference, 8-12 Sept. 2003. pp.320-329.
15. A. Sutcliffe and A. Gregoriades. "Validating functional system requirements with scenarios", Proceedings of IEEE Joint International Conference on Requirements Engineering, Sept. 2002, pp.181-188.
16. S. Tallam and N. Gupta. "A concept analysis inspired greedy algorithm for test suite minimization", The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering PASTE '05, 2005, Vol. 31 Iss. 1, pp. 35-42.
17. T. Tilley, R. Cole, P. Becker, and P. Eklund. "A Survey of Formal Concept Analysis Support for Software Engineering Activities", in Formal Concept Analysis, LNAI 3626, B. Ganter et al. (Eds.). Springer-Verlag Berlin Heidelberg 2005, pp. 250-271.
18. P. Tonella. "Concept Analysis for Module Restructuring," IEEE Transactions on Software Engineering, vol. 27, no. 4, April 2001, pp. 351-363.
19. A. van Lamsweerde. "Requirements engineering in the year 00: a research perspective", Proceedings of the 22nd international conference on Software engineering, June 2000, Limerick, Ireland, pp. 5-19.
20. H. Zhu and L. Jin. "Scenario Analysis in an Automated Tool for Requirements Engineering", Journal Requirements Engineering, July 2000, vol. 5, no.1, pp.2-22.