Combining sequence diagrams and OCL for liveness.

Combining sequence diagrams and OCL for liveness.

Show other versions (1)

<p>Sequence 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 <em>necessar...

Fuld beskrivelse

Bibliografiske detaljer
Hovedforfatter:	Cavarra, A
Format:	Journal article
Sprog:	English
Udgivet:	2005
Fag:	Computer science (mathematics)

Lignende værker

Combining Sequence Diagrams and OCL for Liveness
af: Cavarra, A, et al.
Udgivet: (2005)

Formalizing Liveness−Enriched Sequence Diagrams Using ASMs
af: Cavarra, A, et al.
Udgivet: (2004)

Object-oriented analysis and design for information systems : modeling with UML, OCL, and IFML /
af: Wazlawick, Raul Sidnei, author
Udgivet: (2014)

Modeling the Dynamics of UML Behavioral Diagrams
af: Cavarra, A, et al.
Udgivet: (2000)

Sequence diagram synthesis theory for stitching together multiple sequence diagrams through formal semantics modelling
af: Ameedeen, Mohamed Ariff, et al.

Sequence diagram synthesis theory for stitching together multiple sequence diagrams through formal semantics modelling
af: Ameedeen, Mohamed Ariff
Udgivet: (2010)

Word problems on string diagrams
af: Delpeuch, A
Udgivet: (2021)

An ASM Semantics for UML Activity Diagrams
af: Börger, E, et al.
Udgivet: (2000)

Automata diagram for finite groups
af: Fong, Wan Heng, et al.
Udgivet: (2013)

Facile synthesis and characterizations of polypyrrole/BiOCl hybrid composites
af: Mohd Tarmizi, Emma Ziezie, et al.
Udgivet: (2017)

Diagrams of affine permutations and their labellings
af: Yun, Taedong
Udgivet: (2014)

An ASM Semantics for UML Activity Diagrams and UML State Machines
af: Boerger, E, et al.
Udgivet: (2000)

Understanding freehand diagrams : combining appearance and context for multi-domain sketch recognition
af: Ouyang, Tom Yu
Udgivet: (2012)

Ultra low quiescent current slew rate enhanced OCL-LDO
af: Chua, Jocelyn Shin Hun
Udgivet: (2014)

Does noble metal modification improve the photocatalytic activity of BiOCl?
af: Kong, L, et al.
Udgivet: (2013)

String diagrams for text
af: Wang-Maścianica, V
Udgivet: (2023)

Study of the photodeposition of noble metals on BiOCl for the photocatalytic decomposition of rhodamine B
af: Kong, L, et al.
Udgivet: (2011)

On a process algebraic representation of sequence diagrams
af: Jacobs, J, et al.
Udgivet: (2015)

Specht modules and Schubert varieties for general diagrams
af: Liu, Ricky Ini
Udgivet: (2010)

Phase diagrams of multicomponent lattice models
af: Ganikhodjaev, Nasir, et al.
Udgivet: (2006)

Automata diagram for groups
af: Gan, Yee Siang, et al.
Udgivet: (2013)

Controlled synthesis of BiOCl hierarchical self-assemblies with highly efficient photocatalytic properties
af: Mhaisalkar, Subodh Gautam, et al.
Udgivet: (2014)

Low voltage low power output programmable OCL-LDO with embedded voltage reference
af: Nardi, Utomo, et al.
Udgivet: (2021)

BiOClBr-coated fabrics with enhanced antimicrobial properties under ambient light
af: Khin, Mya Mya, et al.
Udgivet: (2022)

A Model Driven Method to Represent Free Choice Petri Nets as Sequence Diagram
af: Thong , Weng Jie, et al.
Udgivet: (2015)

Permutation groups in automata diagrams
af: Gan, Yee Siang, et al.
Udgivet: (2013)

Automatic layout for pedigree diagram
af: Yampratoom, Ed
Udgivet: (2005)

Design and develop a UML diagram reader software application (Component Diagram)
af: Tan, Mick Xiang Hao
Udgivet: (2017)

Impact of NaOCl ageing on reinforced PVDF hollow fiber membranes used in membrane bioreactor
af: Lye, Charmaine Jia Mei, et al.
Udgivet: (2022)

Formation mechanisms of emerging organic contaminants during on-line membrane cleaning with NaOCl in MBR
af: Cai, Weiwei, et al.
Udgivet: (2022)

Combining the box structure development method and CSP for software development
af: Hopcroft, P, et al.
Udgivet: (2005)

Evaluating the complexity of UML class diagrams /
af: Shafiabady, Aida, et al.
Udgivet: (2013)

Phase diagram and storage capacity of sequence processing neural networks
af: During, A, et al.
Udgivet: (1998)

Phase diagram and storage capacity of sequence storing neural networks
af: During, A, et al.
Udgivet: (1999)

Pressure-induced spin-Peierls to incommensurate charge-density-wave transition in the ground state of TiOCl
af: Lee, Young S., et al.
Udgivet: (2010)

Sequence reconstruction for deletions
af: Soh, Anna Li Lin
Udgivet: (2023)

Designer protein assemblies with tunable phase diagrams in living cells
af: Heidenreich, M, et al.
Udgivet: (2020)

Rewriting context-free families of string diagrams
af: Zamdzhiev, V
Udgivet: (2016)

Embedding chain movement in James Diagram for partitioning beta number
af: Mohommed, Eman F., et al.
Udgivet: (2015)

Phase diagram of the Ising model with next-nearest-neighbour interactions
af: Ganikhodjaev, Nasir, et al.
Udgivet: (2010)