The Lowell Center for Space Science and Technology gathers today’s leaders in space science to study and understand interactions between Earth and the solar system and beyond. We focus our ...

In this paper, we present the formal semantics of sequence diagrams. The semantics of a sequence diagram is interpreted as a consecutive execution of steps in UTP. The semantics clearly captures the ...