Combining sequence diagrams and OCL for liveness.

Combining sequence diagrams and OCL for liveness.

Mostra altre versioni (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...

Descrizione completa

Dettagli Bibliografici
Autore principale:	Cavarra, A
Natura:	Journal article
Lingua:	English
Pubblicazione:	2005
Soggetti:	Computer science (mathematics)

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

Word problems on string diagrams
di: Delpeuch, A
Pubblicazione: (2021)

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

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

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

Diagrams of affine permutations and their labellings
di: Yun, Taedong
Pubblicazione: (2014)

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

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

String diagrams for text
di: Wang-Maścianica, V
Pubblicazione: (2023)

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

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

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

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

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

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

Automata diagram for groups
di: Gan, Yee Siang, et al.
Pubblicazione: (2013)

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

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

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

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

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

Automatic layout for pedigree diagram
di: Yampratoom, Ed
Pubblicazione: (2005)

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

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

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

Sequence reconstruction for deletions
di: Soh, Anna Li Lin
Pubblicazione: (2023)

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

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

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

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

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