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...

書目詳細資料
主要作者:	Cavarra, A
格式:	Journal article
語言:	English
出版:	2005
主題:	Computer science (mathematics)

相似書籍

Combining Sequence Diagrams and OCL for Liveness
由: Cavarra, A, et al.
出版: (2005)

Formalizing Liveness−Enriched Sequence Diagrams Using ASMs
由: Cavarra, A, et al.
出版: (2004)

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

Modeling the Dynamics of UML Behavioral Diagrams
由: Cavarra, A, et al.
出版: (2000)

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

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

Word problems on string diagrams
由: Delpeuch, A
出版: (2021)

An ASM Semantics for UML Activity Diagrams
由: Börger, E, et al.
出版: (2000)

Automata diagram for finite groups
由: Fong, Wan Heng, et al.
出版: (2013)

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

Diagrams of affine permutations and their labellings
由: Yun, Taedong
出版: (2014)

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

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

Ultra low quiescent current slew rate enhanced OCL-LDO
由: Chua, Jocelyn Shin Hun
出版: (2014)

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

String diagrams for text
由: Wang-Maścianica, V
出版: (2023)

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

On a process algebraic representation of sequence diagrams
由: Jacobs, J, et al.
出版: (2015)

Specht modules and Schubert varieties for general diagrams
由: Liu, Ricky Ini
出版: (2010)

Phase diagrams of multicomponent lattice models
由: Ganikhodjaev, Nasir, et al.
出版: (2006)

Automata diagram for groups
由: Gan, Yee Siang, et al.
出版: (2013)

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

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

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

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

Permutation groups in automata diagrams
由: Gan, Yee Siang, et al.
出版: (2013)

Automatic layout for pedigree diagram
由: Yampratoom, Ed
出版: (2005)

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

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

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

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

Evaluating the complexity of UML class diagrams /
由: Shafiabady, Aida, et al.
出版: (2013)

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

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

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

Sequence reconstruction for deletions
由: Soh, Anna Li Lin
出版: (2023)

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

Rewriting context-free families of string diagrams
由: Zamdzhiev, V
出版: (2016)

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

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