Combining Sequence Diagrams and OCL for Liveness | Zendy

Alessandra Cavarra | Zendy; Juliana Küster-Filipe | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Combining Sequence Diagrams and OCL for Liveness

Author(s) -

Alessandra Cavarra,

Juliana Küster-Filipe

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.09.025

Subject(s) - sequence diagram , liveness , sequence (biology) , computer science , programming language , unified modeling language , theoretical computer science , software , biology , genetics

equence diagrams in UML 2.0 have been considerably extended, partially influenced by variants of Message Sequence Charts (MSCs) and Live Sequence Charts (LSCs). However, sequence diagrams cannot satisfactorily express liveness/progress properties or differentiate between necessary and possible behaviour. To address this limitation, we propose to use an OCL template for liveness and enrich sequence diagrams with constraints as needed. We argue that our extended sequence diagrams are more expressive than LSCs. Further, if automatic code generation from inter-object behaviour specifications is feasible it will lead to more realistic solutions.Additionally, we discuss several problems and ambiguities in sequence diagrams as defined in the UML 2.0 superstructure specification. We discuss directions for future work

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research