Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets-Reference-Cited by-同舟云学术

Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets

Published:2005 Issue: Volume: Page:133-148
ISSN:0302-9743
Container-title:SDL 2005: Model Driven
language:
Short-container-title:

Author:

Eichner Christoph,Fleischhack Hans,Meyer Roland,Schrimpf Ulrik,Stehno Christian

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11506843_9.pdf

Reference23 articles.

1. Lecture Notes in Computer Science;G. Agha,2001

2. Bernardi, S., Donatelli, S., Merseguer, J.: From UML sequence diagrams and statecharts to analysable petri net models. In: Balsamo, S., Inverardi, P., Selic, B. (eds.) Workshop on Software and Performance 2002, Rome, Italy, pp. 35–45. ACM Press, New York (2002)

3. Best, E., Fra̧czak, W., Hopkins, R.P., Klaudel, H., Pelz, E.: M-nets: an Algebra of High-level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages. Acta Informatica 35(10), 813–857 (1998)

4. Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design 19(1), 45–80 (2001)

5. Devillers, R., Klaudel, H., Koutny, M., Pommereau, F.: Asynchronous Box Calculus. Fundamenta Informaticae 54(1), 1–50 (2003)

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

1. Equivalence of Denotational and Operational Semantics for Interaction Languages;Theoretical Aspects of Software Engineering;2022

2. Revisiting Semantics of Interactions for Trace Validity Analysis;Fundamental Approaches to Software Engineering;2020

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

4. On the Impact of the SDL Forum Society Conferences on Academic Research;SDL 2017: Model-Driven Engineering for Future Internet;2017

5. Refinement Verification of Sequence Diagrams Using CSP;Lecture Notes in Computer Science;2016