[논문 리뷰] The Emerging Web of Social Machines

Sílvio R. L. Meira, Vanilson Burégio외 5명|arXiv (Cornell University)|2010. 10. 14.

Advanced Malware Detection Techniques인용 수 4

한 줄 요약

이 논문은 인간과 기계 프로세스를 통합하는 소프트웨어 시스템인 소셜 머신을 입력, 출력, 프로세스, 제약 조건, 상태 등의 구조적 튜플로 정의함으로써, 소셜 머신에 대한 형식적인 대수적 모델을 제안한다. 저자들은 연결자와 조건문을 사용하여 소셜 머신 간의 상호작용을 모델링하는 복합적 프레임워크를 제안하며, 트위터나 AWS 호스팅 서비스와 같은 소셜 머신의 상호작용을 다룰 수 있는 실용적인 기반을 제공한다. 이는 상호 연결된 소셜 시스템의 웹 환경을 이해하고 설계하는 데 기여한다.

ABSTRACT

We define a notion of social machine and envisage an algebra that can describe networks of such. To start with, social machines are defined as tuples of input, output, processes, constraints, state, requests and responses, apart from defining the machines themselves, we define their connectors and conditionals that can be used to describe the interactions between any number of machines in a multitude of ways, as a means to represent real machines interacting in the real web, such as Twitter, Twitter running on top of Amazon AWS, mashups built using Twitter and, obviously, other social machines. This work is not a theoretical paper as yet, but, in more than one sense, we think we have found a way to describe web based information systems and are starting to work on what could be a practical way of dealing with the complexity of this emerging web of social machines that is all around us.

연구 동기 및 목표

• 소셜 머신을 인간과 기계 간의 상호작용을 포함하는 구조적 시스템으로 형식화하는 것.
• 인간의 입력과 자동화된 프로세스가 융합된 웹 기반 정보 시스템의 복잡성 증가 문제를 다루는 것.
• 다중 소셜 머신 간의 상호작용을 모델링하기 위한 실용적인 대수적 프레임워크를 개발하는 것.
• 소셜 미디어 플랫폼이나 메이크업과 같은 동적이고 현실적인 웹 애플리케이션을 설계하고 분석하며 조합하는 데 기초를 제공하는 것.
• 사회적 및 클라우드 인fra를 기반으로 한 시스템을 위한 소프트웨어 공학 관행의 발전을 지원하는 것.

제안 방법

• 입력, 출력, 프로세스, 제약 조건, 상태, 요청, 응답을 포함하는 튜플로 소셜 머신을 정의하는 것.
• 다중 소셜 머신 간의 상호작용을 조합하고 추론하기 위해 연결자와 조건문을 포함한 형식적 대수를 도입하는 것.
• 실제 시스템인 트위터와 AWS에서 호스팅되는 트위터를 복합 소셜 머신으로 모델링하기 위해 대수를 적용하는 것.
• 소셜 머신 구성 요소의 구조적 조합을 통해 메이크업 및 기타 복합 웹 애플리케이션을 표현하기 위해 프레임워크를 적용하는 것.
• 동적이고 분산된 웹 상호작용을 지원하는 확장 가능하고 실용적인 모델을 설계하는 것.
• 해당 접근법을 진행 중인 작업으로 프레젠테이션하며, 커뮤니티 피드백 수용과 향후 학술 저널에의 출판을 유도하는 것.

실험 결과

연구 질문

• RQ1 소셜 머신은 어떻게 형식적으로 정의되고, 서로 조합 가능한 구조적 시스템으로 모델링될 수 있는가?
• RQ2 다양한 웹 환경에서 다중 소셜 머신 간의 상호작용을 표현하기 위해 필요한 대수적 구조는 무엇인가?
• RQ3 실제 시스템인 트위터나 클라우드 호스팅 서비스는 어떻게 소셜 머신의 조합으로 표현될 수 있는가?
• RQ4 소셜 머신 상호작용에서 제약 조건, 상태 전이, 조건부 행동을 모델링하는 데 어떤 메커니즘이 필요한가?
• RQ5 이 프레임워크는 인간이 참여하는 복잡한 웹 애플리케이션을 공학적으로 설계하는 데 실용적인 기초가 될 수 있는가?

주요 결과

• 제안된 대수적 모델은 입력, 출력, 프로세스, 제약 조건, 상태와 같은 소셜 머신의 핵심 구성 요소를 성공적으로 포괄한다.
• 대수 내의 연결자와 조건문은 다양한 상호작용 패턴에서 다중 소셜 머신을 민첩하고 형식적으로 조합할 수 있도록 한다.
• 프레임워크는 트위터와 AWS 호스팅 서비스와 같은 실제 시스템을 복합 소셜 머신으로 모델링할 수 있다.
• 모델은 순수한 이론적 추상화를 넘어서 실용적인 도구로서 시스템 설계 및 분석을 위한 것으로 설계되었다.
• 저자들은 초기 적용 사례를 통해 프레임워크의 실현 가능성을 확인하며, 향후 개선을 위해 커뮤니티 피드백을 초대한다.
• 이 작업은 향후 학술적 출판과 사회적 및 클라우드 기반 시스템을 위한 소프트웨어 공학 관행에의 통합을 위한 기초를 마련한다.