Abstract: The paper firstly analyzes the basic structure of UML Sequence Diagram and gives the formal description of Object Petri Nets. For reuse, the formal description of reusable interaction is ...

This research proposes a new architecture for classifying entailments between requirements in the software specification document. The proposed architecture builds a training model using use case ...