A semantics of sequence diagrams

Information Processing Letters

Volumn 84, Issue 3, 2002, Pages 125-130

  Cho, Seung Mo ^a   Kim, Hyung Ho ^a   Cha, Sung Deok ^a   Bae, Doo Hwan ^a  

^a Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

Author keywords

Formal semantics; Sequence diagram; Specification languages; Temporal logic

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE; FORMAL LOGIC; STANDARDIZATION;

SEQUENCE DIAGRAMS;

SEMANTICS;

EID: 0037110727     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0020-0190(02)00270-3     Document Type: Article

References (7)

1. Object-oriented nets with algebraic specifications: The CO-OPN/2 formalism
2. Specification and validation of dynamic systems using temporal logic
3. Generating Oracles from your favorite temporal logic specifications
4. Towards a Petri net based semantics definition for message sequence charts
5. Half-order modal logic: How to prove real-time properties
6. Interpreting message flow graphs
7. Towards a formal semantics of message sequence charts