Branching Time Semantics for UML 2.0 Sequence Diagrams-Reference-Cited by-同舟云学术

Branching Time Semantics for UML 2.0 Sequence Diagrams

Published:2006 Issue: Volume: Page:259-274
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Hammal Youcef

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11888116_20

Reference12 articles.

1. Alur, R., Dill, D.: A theory of timed automata. Theorical Computer Science 126, 183–235 (1994)

2. Cardoso, J., Sibertin-Blanc, C.: An operational semantics for UML interaction: sequencing of actions and local control. European Journal of Automatised Systems. APII-JESA 36, 1015-1028 (ISBN 2-7462-0573-4), Hermés-Lavoisier (2002)

3. Grosu, R., Smolka, S.A.: Safety-Liveness Semantics for UML 2.0 sequence diagrams. In: Proc. of ACSD 2005, the 5th International Conference on Application of Concurrency to System Design, Saint-Malo, France (June 2005)

4. Haugen, Æ., Husa, K.E., Runde, R.K., StÆlen, K.: STAIRES towards formal design with sequence diagrams. Software & System Modeling, online first: 1-13, 2005

5. ITU-T. Z.120. Message sequence charts (MSC) (November 1999)

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Operational Semantics of UML2.X Sequence Diagrams for Distributed Systems;Communications in Computer and Information Science;2018

2. A Logic-Based Approach for the Verification of UML Timed Models;ACM Transactions on Software Engineering and Methodology;2017-10-05

3. Forward and Backward Analysis of Weak Sequencing Specification;Formalisms for Reuse and Systems Integration;2015

4. Required behavior of sequence diagrams;ACM Transactions on Software Engineering and Methodology;2014-03

5. Efficient Representation of Timed UML 2 Interactions;System Analysis and Modeling: Models and Reusability;2014