A semantics of sequence diagrams

Authors:
Seung Mo Cho;Hyung Ho Kim;Sung Deok Cha;Doo Hwan Bae
Affiliations:
Department of Computer Science and Advanced Information Technology Research Center (AITrc), Korea Advanced Institute of Science and Technology (KA1ST), 373-1, Kusong-dong, Yusong-gu, Taejon, South ...;Department of Computer Science and Advanced Information Technology Research Center (AITrc), Korea Advanced Institute of Science and Technology (KA1ST), 373-1, Kusong-dong, Yusong-gu, Taejon, South ...;Department of Computer Science and Advanced Information Technology Research Center (AITrc), Korea Advanced Institute of Science and Technology (KA1ST), 373-1, Kusong-dong, Yusong-gu, Taejon, South ...;Department of Computer Science and Advanced Information Technology Research Center (AITrc), Korea Advanced Institute of Science and Technology (KA1ST), 373-1, Kusong-dong, Yusong-gu, Taejon, South ...
Venue:
Information Processing Letters
Year:
2002

Citing 3
Cited 3

Half-order modal logic: how to prove real-time properties

PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Generating oracles from your favorite temporal logic specifications

SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Object-oriented nets with algebraic specifications: the CO-OPN/2 formalism

Concurrent object-oriented programming and petri nets

On the freeze quantifier in Constraint LTL: Decidability and complexity

Information and Computation
Run-Time Checking of Dynamic Properties

Electronic Notes in Theoretical Computer Science (ENTCS)
Required behavior of sequence diagrams: Semantics and conformance

ACM Transactions on Software Engineering and Methodology (TOSEM)

Quantified Score

Hi-index	0.89

Visualization

Abstract

We develop a formal semantics of sequence diagrams. The semantics is given in terms of our new temporal logic, named HDTL, which is designed to specify dynamically evolving systems. This approach allows to facilitate the generic feature of sequence diagrams as well as an automatic analysis, the identification of the instances of a sequence diagram over a trace.