[논문 리뷰] Thinging for Software Engineers

Sabah Al‐Fedaghi|arXiv (Cornell University)|2018. 07. 27.

Advanced Database Systems and Queries참고 문헌 15인용 수 14

한 줄 요약

이 논문은 소프트웨어 공학 모델링의 기초 개념으로 'thinging'(실재의 일부를 경계로 둘러싸고 레이블을 붙이는 행위)을 도입한다. 이는 요구사항 분석 단계에서 더 명확한 개념 모델링을 가능하게 하기 위해 'Thinging Machine'(TM)이라는 형식적 모델을 제안하며, 핵심 기여는 소프트웨어 공학의 모델링 정확성과 교육에 기여하는 체계적인 프레임워크를 제공하는 데 있다.

ABSTRACT

The aim of this paper is to promote the terms thing and thinging (which refers to the act of defining a boundary around some portion of reality and labeling it with a name) as valued notions that play an important role in software engineering modeling. Additionally, we attempt to furnish operational definitions for terms thing, object, process, and thinging. The substantive discussion is based on the conception of an (abstract) machine, named the Thinging Machine (TM), used in several research works. The TM creates, processes, receives, releases, and transfers things. Accordingly, a diagrammatic representation of the TM is used to model reality. In the discussion section, this paper clarifies interesting issues related to conceptual modeling in software engineering. The substance of this paper and its conclusion suggest that thinging should be more meaningfully emphasized as a valuable research and teaching topic, at least in the requirement analysis phase of the software development cycle.

연구 동기 및 목표

• 소프트웨어 공학 모델링에서 'thinging'을 중심적이고 형식화된 개념으로 정립하기.
• thing, object, process, thinging 등의 핵심 모델링 용어에 대한 운영 정의를 제공하기.
• conceptual modeling에서 things의 생성, 처리, 관리를 위한 형식적 모델로 'Thinging Machine'(TM)을 도입하기.
• 요구사항 분석 단계에서 thinging의 관점에서 개념 모델링 과제를 명확히 하기.
• 소프트웨어 공학 분야의 연구 및 교육에서 thinging에 더 큰 중시를 기울이기

제안 방법

• Thinging Machine(TM)은 things의 생성, 처리, 수신, 해제, 이관을 수행할 수 있는 추상 기계로 개념화된다.
• TM은 경계를 정의하고 실체를 이름 붙임으로써 현실 세계 현상을 모델링하기 위해 다이어그램적으로 표현된다.
• TM의 행동에 기반하여 'thing', 'object', 'process', 'thinging'에 대한 운영 정의가 수립된다.
• 이 방법은 이전의 TM 관련 연구에 기반하며, 이를 소프트웨어 공학 모델링에 응용하여 확장한다.
• 논문은 TM의 다이어그램적 표현을 사용하여 개념 모델링에서 things가 어떻게 다루어지는지 설명한다.
• 모델링의 核심 활동으로 경계 정의와 이름 붙이기를 강조한다.

실험 결과

연구 질문

• RQ1 소프트웨어 공학에서 'thinging'은 어떻게 형식적으로 정의하고 운영화할 수 있는가?
• RQ2 Thinging Machine(TM)은 things의 생성과 조작을 모델링하는 데 어떤 역할을 하는가?
• RQ3 thinging은 요구사항 분석에서 명확성과 정밀성을 어떻게 향상시키는가?
• RQ4 thinging은 소프트웨어 공학 교육 및 연구에 어떻게 통합될 수 있는가?
• RQ5 명시적으로 thinging을 일등 활동으로 간주함으로써 어떤 개념 모델링 과제가 해결되는가?

주요 결과

• thinging은 소프트웨어 공학의 개념 모델링 정확성을 향상시키는 기초 개념으로 제안된다.
• Thinging Machine(TM)은 things의 생성, 처리, 이관 방식을 모델링하기 위한 형식적이고 다이어그램적 프레임워크를 제공한다.
• thing, object, process, thinging에 대한 운영 정의가 수립되어 모델링의 모호성을 줄인다.
• 논문은 thinging이 연구 및 교육 전반에서 더 강조되어야 하며, 특히 요구사항 분석 단계에서 그러한 강조가 필요하다고 결론 내린다.
• TM 기반 접근법은 경계 정의와 이름 붙이기에 초점을 맞춤으로써 현실을 모델링하는 체계적인 방법을 제공한다.
• 형식화된 thinging은 더 일관되고 의미 있는 소프트웨어 모델링 관행으로 이어질 수 있다.