지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers Journal of Computing Science and Engineering Journal of Computing Science and Engineering Vol.17 No.2
- 발행연도
- 2023.6
- 수록면
- 60 - 70 (11page)
- DOI
- 10.5626/JCSE.2023.17.2.60
이용수
초록· 키워드
오류제보하기
The activity diagram (AD) is one of the UML 2.0 diagrams. Research has sought a precise semantic representation for the AD, partly because such representations can help to verify whether a specific AD is semantically consistent with other corresponding UML diagrams. In this study, we propose the Action Transition Graph (ATG) for semantic representation of the AD. The ATG represents the AD behavior as a finite state machine. One benefit of the ATG is that it is derived from process algebra equations, according to a precise procedure that will be formally presented. The grammar of the process algebra is also given, including an extension for representing parallel steps. This grammar allows the AD’s behavior to be described by algebraic equations. Writing simple-text equations can help to simplify and structure the process of constructing ADs. In addition, these process algebra equations can be parsed by the grammar to obtain an overview diagram for ADs. The proposed overview diagram contains meaningful high-level information for the AD, and it is also shown to be directly relatable to both the underlying AD and the corresponding ATG that defines its semantic meaning.
목차
Abstract
I. INTRODUCTION
II. RELATED WORK
III. STRUCTURE-BEHAVIOR COALESCENCE FOR FORMALIZING UML 2.0 ACTIVITY DIAGRAMS
IV. EVALUATION OF THE SBC METHOD
V. SUMMARY AND CONCLUSION
REFERENCES
참고문헌 (17)
참고문헌 신청
Object Management Group, “Unified Modeling Language version 2.5,” 2017 [Online]. Available: https://www.omg.org/spec/UML/2.5.1/About-UML.
K. P. Lin and W. S. Chao, “The structure-behavior coalescence approach for systems modeling,” IEEE Access, vol. 7, pp. 8609-8620, 2019.
W. M. Ma and W. S. Chao, “Structure-behavior coalescence abstract state machine for metamodel-based language in model-driven engineering,” IEEE Systems Journal, vol. 15, no. 3, pp. 4105-4115, 2021.
S. Haga, W. M. Ma, and W. S. Chao, “Structure-behavior coalescence method for formal specification of UML 2.0 sequence diagrams,” Journal of Computing Science and Engineering, vol. 15, no. 4, pp. 148-159, 2021.
S. W. Haga, W. M. Ma, and W. S. Chao, “Formalizing UML 2.0 state machines using a structure-behavior coalescence method,” in Proceedings of 2022 IEEE Industrial Electronics and Applications Conference (IEACon), Kuala Lumpur, Malaysia, 2022, pp. 174-179.
K. P. Lin and W. S. Chao, “The structure-behavior coalescence approach for systems modeling,” IEEE Access, vol. 7, pp. 8609-8620, 2019.
W. M. Ma and W. S. Chao, “Structure-behavior coalescence abstract state machine for metamodel-based language in model-driven engineering,” IEEE Systems Journal, vol. 15, no. 3, pp. 4105-4115, 2021.
S. Haga, W. M. Ma, and W. S. Chao, “Structure-behavior coalescence method for formal specification of UML 2.0 sequence diagrams,” Journal of Computing Science and Engineering, vol. 15, no. 4, pp. 148-159, 2021.
S. W. Haga, W. M. Ma, and W. S. Chao, “Formalizing UML 2.0 state machines using a structure-behavior coalescence method,” in Proceedings of 2022 IEEE Industrial Electronics and Applications Conference (IEACon), Kuala Lumpur, Malaysia, 2022, pp. 174-179.
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Optimizing Content Duration for Mobile Ads
IEIE Transactions on Smart Processing & Computing
2016 .08
-
경기도 초등학교 학생수 변화 경향에 대한 조사 연구
교육녹색환경연구
2021 .01
-
Structure-Behavior Coalescence Method for Formal Specification of UML 2.0 Sequence Diagrams
Journal of Computing Science and Engineering
2021 .12
-
Single-cell RNA sequencing reveals B cell?related molecular biomarkers for Alzheimer’s disease
Experimental and Molecular Medicine
2021 .12
-
생성적 적대 신경망 기반의 3D 뇌 영상을 이용한 알츠하이머 질병 예측 모델
대한전자공학회 학술대회
2023 .06
-
멀티오믹스 데이터를 활용한 알츠하이머 질병 예측 딥러닝 모델 개발 연구
한국정보기술학회논문지
2022 .07
-
지방자치단체 광고효용성에 대한 탐색적 연구: KTX 광고노출 환경을 중심으로
멀티미디어학회논문지
2020 .01
-
UML 다이어그램을 위한 다이어그램 레포지토리의 정보구조화
한국정보통신학회논문지
2019 .12
-
Diagnosis of Alzheimer "s Disease using Combined Featur e Selection Method
멀티미디어학회논문지
2021 .05
-
상용 802.11ad 장비의 Power Management Mechanism 관측
한국통신학회 학술대회논문집
2018 .06
-
일 종합병원 외래환자와 보호자의 사전의료의향서에대한 지식, 인식 및 태도
보건정보통계학회지
2015 .01
-
Peripheral inflammatory biomarkers in Alzheimer’s disease: a brief review
BMB Reports
2020 .01
-
Factor Analysis of Visual Literacy Influencing Diagram Understanding and Drawing in Computer Science Education
JOURNAL OF ADVANCED INFORMATION TECHNOLOGY AND CONVERGENCE
2019 .07
-
Effective Relay-Node Selection for Clustering Ad Hoc Network
INTERNATIONAL CONFERENCE ON FUTURE INFORMATION & COMMUNICATION ENGINEERING
2016 .06
-
Ad-hoc 망에서 이동 노드 간 상호 인증
한국전자통신학회 논문지
2015 .01
-
Deep and Statistical-Based Methods for Alzheimer’s Disease Detection: A Survey
Journal of Computing Science and Engineering
2022 .03
-
Optimizing Mobile Advertising Using Ad Refresh Interval
IEIE Transactions on Smart Processing & Computing
2016 .04
-
Stem cell therapy for Alzheimer’s disease and related disorders: current status and future perspectives
Experimental and Molecular Medicine
2015 .01
-
뉴턴 반복을 이용한 AD-MUSIC 알고리즘 성능향상
한국전자파학회논문지
2017 .11
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0102-2023-569-001783108