Optimization of Hybrid Plasmonic Photonic waveguide for confinement of Light at the Nanoscale

Abstract: The UML 2 Interaction Overview Diagram (IOD) provides a visual representation of system‟s overall interactions. The UML 2 IOD visualizes the behaviour of a system only for the interaction among the components and also a partial order between send and receive message events; however the semantics of communication among the interaction occurrences and process execution policy remains vague. It does not provide formal approach of specification and has a weak support for the validation. So, it is extremely important to improve the „quality‟ of the design model using formal description and thereby validating the highest level of abstraction of design. An attempt has been made in this paper towards formalizing the IOD Sequence diagrams by mapping it into Colored Petri nets (CPNs). This approach of formal translation allows a designer using UML 2.0 to verify and validate models using CPN tools.

Keywords: Colored Petri net (CPN), Unified Modeling Language (UML), and Interaction Overview Diagram (IOD).