Combining sequence diagrams and OCL for liveness.

Combining sequence diagrams and OCL for liveness.

Pokaži ostale verzije (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...

Bibliografski detalji
Glavni autor:	Cavarra, A
Format:	Journal article
Jezik:	English
Izdano:	2005
Teme:	Computer science (mathematics)

Slični predmeti

Combining Sequence Diagrams and OCL for Liveness
od: Cavarra, A, i dr.
Izdano: (2005)

Formalizing Liveness−Enriched Sequence Diagrams Using ASMs
od: Cavarra, A, i dr.
Izdano: (2004)

Modeling the Dynamics of UML Behavioral Diagrams
od: Cavarra, A, i dr.
Izdano: (2000)

Sequence diagram synthesis theory for stitching together multiple sequence diagrams through formal semantics modelling
od: Ameedeen, Mohamed Ariff, i dr.

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

Word problems on string diagrams
od: Delpeuch, A
Izdano: (2021)

An ASM Semantics for UML Activity Diagrams
od: Börger, E, i dr.
Izdano: (2000)

Automata diagram for finite groups
od: Fong, Wan Heng, i dr.
Izdano: (2013)

Facile synthesis and characterizations of polypyrrole/BiOCl hybrid composites
od: Mohd Tarmizi, Emma Ziezie, i dr.
Izdano: (2017)

Diagrams of affine permutations and their labellings
od: Yun, Taedong
Izdano: (2014)

An ASM Semantics for UML Activity Diagrams and UML State Machines
od: Boerger, E, i dr.
Izdano: (2000)

String diagrams for text
od: Wang-Maścianica, V
Izdano: (2023)

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

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

Does noble metal modification improve the photocatalytic activity of BiOCl?
od: Kong, L, i dr.
Izdano: (2013)

Study of the photodeposition of noble metals on BiOCl for the photocatalytic decomposition of rhodamine B
od: Kong, L, i dr.
Izdano: (2011)

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

On a process algebraic representation of sequence diagrams
od: Jacobs, J, i dr.
Izdano: (2015)

Phase diagrams of multicomponent lattice models
od: Ganikhodjaev, Nasir, i dr.
Izdano: (2006)

Automata diagram for groups
od: Gan, Yee Siang, i dr.
Izdano: (2013)

Controlled synthesis of BiOCl hierarchical self-assemblies with highly efficient photocatalytic properties
od: Mhaisalkar, Subodh Gautam, i dr.
Izdano: (2014)

Low voltage low power output programmable OCL-LDO with embedded voltage reference
od: Nardi, Utomo, i dr.
Izdano: (2021)

BiOClBr-coated fabrics with enhanced antimicrobial properties under ambient light
od: Khin, Mya Mya, i dr.
Izdano: (2022)

A Model Driven Method to Represent Free Choice Petri Nets as Sequence Diagram
od: Thong , Weng Jie, i dr.
Izdano: (2015)

Permutation groups in automata diagrams
od: Gan, Yee Siang, i dr.
Izdano: (2013)

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

Automatic layout for pedigree diagram
od: Yampratoom, Ed
Izdano: (2005)

Impact of NaOCl ageing on reinforced PVDF hollow fiber membranes used in membrane bioreactor
od: Lye, Charmaine Jia Mei, i dr.
Izdano: (2022)

Formation mechanisms of emerging organic contaminants during on-line membrane cleaning with NaOCl in MBR
od: Cai, Weiwei, i dr.
Izdano: (2022)

Phase diagram and storage capacity of sequence processing neural networks
od: During, A, i dr.
Izdano: (1998)

Phase diagram and storage capacity of sequence storing neural networks
od: During, A, i dr.
Izdano: (1999)

Designer protein assemblies with tunable phase diagrams in living cells
od: Heidenreich, M, i dr.
Izdano: (2020)

Pressure-induced spin-Peierls to incommensurate charge-density-wave transition in the ground state of TiOCl
od: Lee, Young S., i dr.
Izdano: (2010)

Combining the box structure development method and CSP for software development
od: Hopcroft, P, i dr.
Izdano: (2005)

Rewriting context-free families of string diagrams
od: Zamdzhiev, V
Izdano: (2016)

Embedding chain movement in James Diagram for partitioning beta number
od: Mohommed, Eman F., i dr.
Izdano: (2015)

Phase diagram of the Ising model with next-nearest-neighbour interactions
od: Ganikhodjaev, Nasir, i dr.
Izdano: (2010)

Sequence reconstruction for deletions
od: Soh, Anna Li Lin
Izdano: (2023)

Phase diagram of the Potts Model with competing interactions
od: Ganikhodjaev, Nasir
Izdano: (2009)

Phase diagram of the Potts Model with competing interactions
od: Ganikhodjaev, Nasir
Izdano: (2009)