Abstract: UML sequence diagrams have been widely applied in modeling the interactive behavior among objects. However, the lack of formal semantics makes it difficult to analyze and validate the ...

Then they are restored into parallel binary data. Because of the multivalued data conversion, this logic makes it possible to achieve higher operating speeds than that of a conventional binary logic.