Synthesis and Refinement Check of Sequence Diagrams-Reference-Cited by-同舟云学术

Synthesis and Refinement Check of Sequence Diagrams

Published:2012 Issue:9 Volume:E95.D Page:2193-2201
ISSN:0916-8532
Container-title:IEICE Transactions on Information and Systems
language:en
Short-container-title:IEICE Trans. Inf. & Syst.

Author:

MIYAZAKI Hisashi¹,YOKOGAWA Tomoyuki²,AMASAKI Sousuke²,ASADA Kazuma²,SATO Yoichiro²

Affiliation:

1. Kawasaki University of Medical Welfare

2. Okayama Prefectural University

Publisher

Institute of Electronics, Information and Communications Engineers (IEICE)

Subject

Artificial Intelligence,Electrical and Electronic Engineering,Computer Vision and Pattern Recognition,Hardware and Architecture,Software

Link

https://www.jstage.jst.go.jp/article/transinf/E95.D/9/E95.D_2193/_pdf

Reference25 articles.

1. [1] Object Management Group, Unified Modeling Language Specification, Object Management Group, 2001. http://www.uml.org

2. [2] H. Störrle, “Assert, negate and refinement in UML-2 interactions,” Proc. 2nd Int'l Workshop on Critical Systems Development with UML (CSDUML'03), pp.79-93, 2003.

3. [3] M.V. Cengarle and A. Knapp, “UML 2.0 interactions: Semantics and refinement,” Proc. 3rd Int'l Workshop on Critical Systems Development with UML (CSDUML'04), pp.85-99, 2004.

4. [4] R. Milner, A Calculus of Communicating Systems, Springer-Verlag New York, Secaucus, NJ, USA, 1982.

5. [5] C.A.R. Hoare, “Communicating sequential processes,” Commun. ACM, vol.21, pp.666-677, Aug. 1978.

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

1. Event-Based Semantics of UML 2.X Concurrent Sequence Diagrams for Formal Verification;Journal of Computer Science and Technology;2022-01-31

2. Tool Support for Consistency Verification of UML Diagrams;LECT NOTES COMPUT SC;2017

3. Consistency Verification of UML Diagrams Based on Process Bisimulation;2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing;2013-12