A semantic and methodological essence of message sequence charts-Reference-Cited by-同舟云学术

A semantic and methodological essence of message sequence charts

Published:2005-02 Issue:2-3 Volume:54 Page:213-256
ISSN:0167-6423
Container-title:Science of Computer Programming
language:en
Short-container-title:Science of Computer Programming

Author:

Broy Manfred

Publisher

Elsevier BV

Subject

Software

Reference45 articles.

1. An analyzer for message sequence charts;Alur,1996

2. An analyzer for message sequence charts;Alur;Software—Concepts and Tools,1996

3. H. Ben-Abdallah, S. Leue, Syntactic analysis of Message Sequence Chart specifications, Technical Report 96-12, Department of Electrical and Computer Engineering, University of Waterloo, 1996

4. H. Ben-Abdallah, S. Leue, Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications, Technical Report 97-04, University of Waterloo, Department of Electrical and Computer Engineering, April, 1997

5. Timing constraints in message sequence charts specifications;Ben-Abdallah,1997

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

1. Inductive Diagrams for Causal Reasoning;Proceedings of the ACM on Programming Languages;2024-04-29

2. From Actions, Transactions, and Processes to Services;Application and Theory of Petri Nets and Concurrency;2016

3. From Actions, Transactions, and Processes to Services;NATO SCI PEAC SECUR;2015

4. Structured Communication-Centered Programming for Web Services;ACM Transactions on Programming Languages and Systems;2012-06

5. Required Behavior of Sequence Diagrams: Semantics and Refinement;2011 16th IEEE International Conference on Engineering of Complex Computer Systems;2011-04