[논문]UML Modeling to TM Modeling and Back

Al-Fedaghi, Sabah

doi:10.22937/ijcsns.2021.21.1.13

UML Modeling to TM Modeling and Back

International journal of computer science and network security : IJCSNS, v.21 no.1, 2021년, pp.84 - 96

Al-Fedaghi, Sabah (Computer Engineering Department, Kuwait University)

Abstract ▼ AI-Helper

Certainly, the success of the Unified Modeling Language (UML) as the de facto standard for modeling software systems does not imply closing the door on scientific exploration or experimentation with modeling in the field. Continuing studies in this area can produce theoretical results that strengthen UML as the leading modeling language. Recently, a new modeling technique has been proposed called thinging machine (TM) modeling. This paper utilizes TM to further understand UML, with two objectives: (a) Fine issues in UML are studied, including theoretical notions such as events, objects, actions, activities, etc. Specifically, TM can be used to solve problems related to internal cross-diagram integration. (b) TM applies a different method of conceptualization, including building a model on one-category ontology in contrast to the object-oriented paradigm. The long-term objective of this study is to explore the possibility of TM complementing certain aspects in the UML methodology to develop and design software systems. Accordingly, we alternate between UML and TM modeling. A sample UML model is redesigned in TM, and then UML diagrams are extracted from TM. The results clarify many notions in both models. Particularly, the TM behavioral specification seems to be applicable in UML.

주제어

표/그림 (14)

그림 Fig. 1 Thinging machine model.
그림 Fig. 2 Simplified TM model.
그림 Fig. 3 Mentcare system activity diagram (partial from [20]).
그림 Fig. 4 TM model that corresponds to the activity diagram (see Fig. 3).
그림 Fig. 6 A step toward converting TM diagram to
그림 Fig. 5 Simplification of Fig. 4.
그림 Fig. 7. Use case diagram (partial from [20]).
그림 Fig. 8 TM model, extended to include use cases.
그림 Fig. 9 Association between two classes (redrawn from [20]).
그림 Fig. 10 TM model after including the constraint that each patient has only one record (circle 51).
그림 Fig. 11 Simplified TM specification of the notion of class and its methods.
그림 Fig. 12 The event John was sent to the police station on 1/1/2021 because a secure location was not available.
그림 Fig. 13 TM behavioral model.
그림 Fig. 14 Behavioral model of the Mentcare system.

참고문헌 (24)

Watson, A.: Visual Modelling: Past, Present and Future. Object Management Group white paper. Accessed Jan. 14, 2021. http://www.uml.org/Visual_Modeling.pdf
Oliver, R.: Why the Software Industry Has a Love-Hate Relationship with UML Diagrams. Creately Blog, 19 October 2017. Accessed 12 Jan. 2021. https://creately.com/blog/diagrams/advantages-anddisadvantages-of-uml/
Genova, G., Valiente, M. C., Nubiola, J.: A semiotic approach to UML models. In: Proc. of the CAiSE '05 Workshops, vol. 2, pp. 547-557 (2005)
Ahmad, S., Saxena, V.: Design of Formal Air Traffic Control System Through UML. Ubiquitous Computing and Communication 3(6), pp. 11-20 (2009, June)
Steinpichler, D., Kargl, H.: UML-Glossary, Handbook Project Management with UML and Enterprise Architect for Version 9, ISBN-13:978-3-9502692-1-5. Releasing Enterprise Architect 11, Compendium of Enterprise Architect from SparxSystems, ISBN 978-3-9503784-1-2. 2020 Sparx Systems Ltd und SparxSystems Software GmbH. https://www.sparxsystems.eu/UML_Basics.pdf
Fairbanks, G.: Losing the Battle with Complexity. Feb 28, 2016. Accessed Jan. 12, 2021. https://www.georgefairbanks.com/blog/losing-thecomplexity-battle/
Chren, S., Buhnova, B., Macak, M., Daubner, L., Rossi, B.: Mistakes in UML Diagrams: Analysis of Student Projects in a Software Engineering Course. In: Mistakes in UML Diagrams (2019). doi: 10.1109/ICSE-SEET.2019.00019
Boberic-Krsticev, D., Tesendic, D.: Experience in Teaching OOAD to Various Students. Informatics in Education 12(1), pp. 43-58 (2013)
Peleg, M., Dori, D.: The Model Multiplicity Problem: Experimenting with Real-Time Specification Methods. IEEE Transactions on Software Engineering 26(8), pp. 742-759 (2000)

상세보기
Soffer, P., Golany, B., Dori, D., and Wand, Y.: Modeling Off-The-Shelf Information Systems Requirements: An Ontological Approach. Requirement Engineering 6(3), pp. 183-199 (2001)

상세보기
Dori, D.: Model-Based Systems Engineering with OPM and SysML. Springer, New York (2016)
Dori, D.: Synergistic Model-Based Systems Engineering with SysML and OPM. INCOSE International Symposium (2011). doi.org/10.1002/j.2334-5837.2011.tb01298.x

상세보기
ISO/PAS (2015) ISO/PAS 19450:2015-Automation Systems and Integration-Object-Process Methodology.iso.org.
Al-Fedaghi, S., Al-Fadhli, J.: Thinging-Oriented Modeling of Unmanned Aerial Vehicles. International Journal of Advanced Computer Science and Applications 11(5), pp. 610-619 (2020). doi: 10.14569/IJACSA.2020.0110575

상세보기
Al-Fedaghi, S., Behbehani, B.: How to Document Computer Networks. Journal of Computer Science 16(6), pp. 423-434 (2020). doi: 10.3844/jcssp.2020.723.434
Al-Fedaghi, S., Al-Qemlas, D.: Modeling Network Architecture: A Cloud Case Study. International Journal of Computer Science and Network Security 20(3), pp. 195-209 (2020)
Al-Fedaghi, S., Bayoumi, M.: Modeling Advanced Persistent Threats: A Case Study of APT38. In: 14th International Conference for Internet Technology and Secured Transactions (ICITST) (2019)
Al-Fedaghi, S., Aldamkhi, G.: Conceptual Modeling of an IP Phone Communication System: A Case Study. In: 18th Annual Wireless Telecommunications Symposium (WTS) (2019)
Breu, R., Grosu, R., Huber, F., Rumpe, B., Schwerin, W.: Systems, Views and Models of UML: The Unified Modeling Language, Technical Aspects and Applications, pp. 93-109, Physica Verlag, Heidelberg, 1998
Sommerville, I.: Software Engineering (10th ed.). Pearson Education Limited, Essex, England (2016). ISBN 10: 1-292- 09613-6
Heidegger, H.: The Thing. In: Poetry, Language, Thought, A. Hofstadter (Ed.), pp. 161-184. Harper and Row, New York (1975)
Bruegge, B.: Dynamic Modeling, slides, Software Engineering 1 Lecture 10, Applied Software Engineering, Technische Universitaet Muenchen (2006). Accessed Jan. 10, 2021.
Erickson, J., Siau, K.: Theoretical and Practical Complexity of Modeling Methods. In: Communication of the ACM, vol. 50(8), pp. 46-51 (2007). doi:10.1145/1278201.1278205

상세보기
Fakhroutdinov, K.: The Unified Modeling Language site, Actions, 2009-2020. Accessed Jan. 10, 2021. https://www.uml-diagrams.org/activity-diagramsactions.html

내보내기 구분	파일저장 인쇄 메일전송
구성항목	기본정보 상세정보 관리번호, 논문명, 저널/프로시딩명, 저자 , 발행년, 권, 호, 시작페이지, 끝페이지, 발행기관 관리번호, 논문명, 대등논문명, 저자 , 저널/프로시딩명, 발행기관, 발행년, 발행언어, 권, 호, 시작페이지, 끝페이지, ISBN, ISSN, 주제분야, 키워드, 초록(한글), 초록(영문), 저자(소속기관)
저장형식	Text(ASCII format) Excel format RefWorks Direct Export RIS format (for Reference Manager, ProCite, EndNote), Scholar's Aids, Mendeley
메일정보	받는사람 (필수) @ 보내는사람 (선택) @ 제목 내용 KISTI 검색결과 이메일 서비스
안내	총 건의 자료가 검색되었습니다. 다운받으실 자료의 인덱스를 입력하세요. (1-10,000) 검색결과의 순서대로 최대 10,000건 까지 다운로드가 가능합니다. 데이타가 많을 경우 속도가 느려질 수 있습니다.(최대 2~3분 소요) 다운로드 파일은 UTF-8 형태로 저장됩니다. 파일의 내용이 제대로 보이지 않을실 때는 웹브라우저 상단의 보기 -> 인코딩 -> 자동선택 여부를 확인하십시오. ~ Text(ASCII format) Excel format

연합인증