A Concept Lattice Approach for Requirements Validation with UML State Machine Model

Authors:
Pin Ng
Affiliations:
Caritas Francis Hsu College, Hong Kong
Venue:
SERA '07 Proceedings of the 5th ACIS International Conference on Software Engineering Research, Management & Applications
Year:
2007

Citing 0
Cited 1

On integrating structure and behavior modeling with OCL

MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

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.