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

Deskribapen osoa

Xehetasun bibliografikoak
Egile nagusia:	Cavarra, A
Formatua:	Journal article
Hizkuntza:	English
Argitaratua:	2005
Gaiak:	Computer science (mathematics)

Antzeko izenburuak

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

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

Student's intention to use wikis for online collaborative learning (OCL) /
nork: Sharifah Masitah Syed Salim, 1981-, author 612544, et al.
Argitaratua: (2018)

Student's intention to use wikis for online collaborative learning (OCL) /
nork: Sharifah Masitah Syed Salim, 1981-, author 612544
Argitaratua: (2018)

Test case generation from UML sequence diagram and statechart diagram /
nork: Nurelisa Mohd. Efendi, 1993- , author 611951
Argitaratua: (2017)

Test case generation from UML sequence diagram and statechart diagram /
nork: Nurelisa Mohd. Efendi, 1993- , author 611951, et al.
Argitaratua: (2017)

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

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

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

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

Word problems on string diagrams
nork: Delpeuch, A
Argitaratua: (2021)

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

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

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

Diagrams of affine permutations and their labellings
nork: Yun, Taedong
Argitaratua: (2014)

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

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

String diagrams for text
nork: Wang-Maścianica, V
Argitaratua: (2023)

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

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

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

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

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

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

Automata diagram for groups
nork: Gan, Yee Siang, et al.
Argitaratua: (2013)

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

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

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

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

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

Automatic layout for pedigree diagram
nork: Yampratoom, Ed
Argitaratua: (2005)

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

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

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

Sequence reconstruction for deletions
nork: Soh, Anna Li Lin
Argitaratua: (2023)

Test case prioritization technique using sequence diagram and labeled transition systems in regression testing /
nork: Nur Fatimah As'Sahra, 1990-, author, et al.
Argitaratua: (2015)

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

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

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

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