In order to design large digital circuits using quantum-dot cellular automata (QCA) cells, CAD tools and automated design methodology for QCA circuits are essential. This paper presents a QCA circuits ...

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 studied. Then ...