An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations-Reference-Cited by-同舟云学术

An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations

Published:2015 Issue: Volume:56 Page:604-611
ISSN:1877-0509
Container-title:Procedia Computer Science
language:en
Short-container-title:Procedia Computer Science

Author:

Messaoudi Nabil,Chaoui Allaoua,Bettaz Mohamed

Publisher

Elsevier BV

Subject

General Engineering

Reference15 articles.

1. Fundamentals of Algebraic Graph Transformation;Ehrig;Monographs in Theoretical Computer Science. Springer,2006

2. R. Grosu and A. Smolka. Safety Liveness Semantics for UML2.0 Sequence Diagrams, Available from http://citeseer.uark.edu:8080/citeseerx/viewdoc/summary?doi=10.1.1.127.7851; 2005.

3. OMG-PTC/03-08-02. UML2.0 Superstructure Specification; 2003.

4. J. Klose and H. Wittke. An Automata Based Interpretation of Live Sequence Charts, Springer-Verlag Berlin Heidelberg T. Margaria and W. Yi: TACAS 2001 vol.2031 pages 512-527; 2001.

5. Constructing Automata for UML2.0 Sequence Diagrams, Institut For Informatik Der Ludwig Maximilians;Wuttke;Universitat Munchen,2005

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

1. Analysis and design of the flow shop scheduling system in sausage production to minimize Makespan;THE 2ND NATIONAL CONFERENCE ON MATHEMATICS EDUCATION (NACOME) 2021: Mathematical Proof as a Tool for Learning Mathematics;2023

2. TimeLine Depiction: an approach to graphical notation for supporting temporal property specification;Innovations in Systems and Software Engineering;2022-12-06

3. Android Application for Crime Prevention with GPS Integrated Technology;IOP Conference Series: Materials Science and Engineering;2021-02-01

4. Integrating model checking and model based testing for industrial software development;Computers in Industry;2019-01

5. An Approach to UML Consistency Checking Based on Compositional Semantics;International Journal of Embedded and Real-Time Communication Systems;2017-07