%0 Conference Paper %1 ng_07_concept %A Ng, Pin %A Ng, Pin %B Software Engineering Research, Management & Applications, 2007. SERA 2007. 5th ACIS International Conference on %D 2007 %J Software Engineering Research, Management & Applications, 2007. SERA 2007. 5th ACIS International Conference on %K 2007 statecharts uml %P 393--400 %R 10.1109/SERA.2007.8 %T A Concept Lattice Approach for Requirements Validation with UML State Machine Model A Concept Lattice Approach for Requirements Validation with UML State Machine Model %U http://dx.doi.org/10.1109/SERA.2007.8 %X Formal Concept Analysis (FCA) is a mathematical technique for systematically combining and organizing individual concepts of a given context into hierarchically ordered conceptual structure - concept lattice. We are proposing to apply FCA in analyzing the association between a set of test scenarios with a set of transitions specified in a UML state machine model. By applying the concept analysis mechanism, we are able to determine a minimal set of test scenarios that can sufficiently cover all the transitions for the purpose of requirements validation.

@inproceedings{ng_07_concept, abstract = {Formal Concept Analysis (FCA) is a mathematical technique for systematically combining and organizing individual concepts of a given context into hierarchically ordered conceptual structure - concept lattice. We are proposing to apply FCA in analyzing the association between a set of test scenarios with a set of transitions specified in a UML state machine model. By applying the concept analysis mechanism, we are able to determine a minimal set of test scenarios that can sufficiently cover all the transitions for the purpose of requirements validation.}, added-at = {2009-02-11T20:53:04.000+0100}, author = {Ng, Pin and Ng, Pin}, biburl = {https://www.bibsonomy.org/bibtex/208319e223b69bdf83508b9efa59f57bc/leonardo}, booktitle = {Software Engineering Research, Management \& Applications, 2007. SERA 2007. 5th ACIS International Conference on}, citeulike-article-id = {2155747}, doi = {10.1109/SERA.2007.8}, interhash = {0d74f0abd240a1bef6f5a37ff57afe98}, intrahash = {08319e223b69bdf83508b9efa59f57bc}, journal = {Software Engineering Research, Management \& Applications, 2007. SERA 2007. 5th ACIS International Conference on}, keywords = {2007 statecharts uml}, pages = {393--400}, posted-at = {2007-12-21 14:58:59}, priority = {2}, timestamp = {2009-02-11T20:53:04.000+0100}, title = {A Concept Lattice Approach for Requirements Validation with UML State Machine Model A Concept Lattice Approach for Requirements Validation with UML State Machine Model}, url = {http://dx.doi.org/10.1109/SERA.2007.8}, year = 2007 }