For real-time systems, UML sequence diagrams describe interaction among objects, which show the scenarios of system behaviour. In this paper, we give the solution for timing analysis of simple UML sequence diagrams which describe exactly one scenario without any alternatives and loops, and develop an algorithm for checking the compositions of UML sequence diagrams, which describe multiple scena...

The microscopic effect of the exchange interaction parameter for the 2-Dimensional ising model with nearest neighbor interaction has been studied. By supposing simple temperature dependent relationship for the exchange parameter, graphs were straightforwardly obtained that show the reentrant closed looped phase diagrams symptomatic of some colloids and complex fluids and some binary liquids mix...

The grand-canonical potential of many-body physics can be considered as a functional of the interaction-free correlation function. As such it obeys a nonlinear functional differential equation which can be turned into a recursion relation. This is solved graphically order by order in the two-particle interaction to find all connected vacuum diagrams with their proper weights. As a special case,...

The free energy of a field theory can be considered as a functional of the free correlation function. As such it obeys a nonlinear functional differential equation that can be turned into a recursion relation. This is solved order by order in the coupling constant to find all connected vacuum diagrams with their proper multiplicities. The procedure is applied to a multicomponent scalar field th...

The retrieval and browsing of diagrammatic information extracted from hand-drawn diagrams would open up a rich form of information interaction. However, such sketches currently require handannotations in order to be understood by the computer. While improvements in sketch recognition algorithms have enabled automatic recognition for Tablet PCsketched diagrams, such progress has been constrained...

This paper presents a new event-B based approach to reasoning about interaction protocols. We show how an event-B model can be structured from AUML protocol diagrams and then used to give a formal semantic to protocol diagrams which supports proofs of their correctness. More precisely, we give rules for the translation of protocol diagrams into event-B language. In particular, we focus on the t...

This paper presents a novel approach to generate and execute graphical user interfaces from decision based UML sequence diagrams .This has been designed especially for efficient user interfaces where with less generation and verification effort are required different types of decision tables and UML sequence diagrams. The decision based sequence diagrams test sets did better at revealing integr...

Modern software systems are huge, complex, and greatly distributed. In order to design and model such systems, software architects are faced with the problem of cross-cutting concerns much earlier in the development process. At this level, cross-cutting concerns result in model elements that cross-cut the structural and behavioral views of the system. Research has shown that Aspect Oriented (AO...