Structure-Behavior Coalescence Method for Formal Specification of UML 2.0 Sequence Diagrams. - Steve Haga; Wei-Ming Ma; William Shanchung Chao (J. Comput. Sci. Eng., 2021)

Using the Structure-Behavior Coalescence Method to Formalize the Action Flow Semantics of UML 2.0 Activity Diagrams. - W. Haga Steve; Wei-Ming Ma; William Shanchung Chao (J. Comput. Sci. Eng., 2023)