In programs written in object-oriented languages, an object may have rules that describe the order in which methods of the object should be called by its clients. The rules about order are called Object Protocols. This paper investigates the rate of occurrence of object protocols in Java programs and the common behavioral patterns of protocols. Furthermore, protocols are based on the common patterns and the classification includes a behavioral pattern description and formal description of generalized protocols in each category using state machines. Our contributions provide benefits to object-oriented developers and researchers as follows: (1) identification of the existence and frequency of protocols in Java programs, discovering their common behavioral patterns, and (2) classification of object protocols based on their behavioral patterns. This work will help researchers establish that protocols are important to study because they are frequent. It will also help developers identify and specify protocols and guide them in their design decisions. To determine the rate of occurrence of protocols, an empirical study has been performed and common behavioral patterns of protocols have been discovered by examining the results of the study. Moreover, protocols are categorized according to the behavioral patterns.
객체 지향 언어를 사용하여 작성된 프로그램 내에서 사용되는 오브젝트는 오브젝트 내의 메소드가 호출되어야 하는 순서를 정의하는 규칙을 가질 수 있다. 이러한 규칙은 오브젝트 프로토콜이라 불린다. 이러한 오브젝트 프로토콜의 실재를 증명하고 자바 프로그램 내에서의 사용 빈도를 조사하고자 실증 연구를 진행하면서, 이를 통하여 사용 빈도뿐만 아닌 자주 사용되는 오프젝트 프로토콜의 유형도 파악이 되었다. 따라서, 본 논문은 자바 프로그램에서의 오브젝트 프로토콜 사용 빈도를 보이고 오브젝트 프로토콜에서 자주 나타나는 행동 패턴을 정의하였다. 또한, 빈번히 나타나는 행동 패턴을 기반으로 오브젝트 프로토콜을 그룹화하여 분류하고 그 유형을 정리하였다. 이렇게 패턴에 따라 분류된 오브젝트 프로토콜 유형은 각 유형에서 나타나는 행동 패턴의 정의 및 State Machine 을 사용한 정규화된 표현과 함께 본 논문에 제시되어 있다. 자바에서의 오브젝트 프로토콜 사용 빈도를 보여줌으로써 객체 지향 언어 연구자들은 오브젝트 프로토콜 연구의 중요성을 확립할 수 있고 오브젝트 프로토콜 유형의 행동 패턴을 기존의 프로토콜 검사 시스템을 개선하는데 적용시킬 수 있다. 또한, 객체 지향 언어 개발자들은 오브젝트 프로토콜의 유형별 분류와 패턴정의 및 State Machine 표현을 적용함으로써 오브젝트 프로토콜을 식별하고 명세화하는데 도움을 얻고, 프로토콜 설계 시에 더 나은 결정을 내릴 수 있게 될 것이다.
