We present a way to handle exceptions in sequence diagrams. The proposal is inspired by the UML 2 Testing Profiles (U2TP) default mechanism and introduces the use of multiple logical levels of ...

In Sequence diagrams, a loop section draws a box with the word "loop" in the top left corner. This is all good. In addition, the title of the loop is in the center of the box, near the top of the b ...

Our Idea is to work on integration of UML Sequence Diagram’s attributes with formal specification methods like Z notations to bridge a gap between both (formal and informal) methods.

To address and realize the bene-fits of UML and formal methods our project on “formalization of UML diagrams using Z notation” is under progress. This paper is continuation of the same project in ...

A group of scientists in the systems biology community propose visual conventions for drawing biological diagrams.

This article, Part 3 of a three-part series, discusses the aesthetics of preparing and presenting data models – no matter what notation is used.