[論文レビュー] The Emerging Web of Social Machines

Sílvio R. L. Meira, Vanilson Burégio+5 more|arXiv (Cornell University)|Oct 14, 2010

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やクラウドインfraに基づくシステムのソフトウェア工学的手法の進化を支援すること。

提案手法

• 入力、出力、プロセス、制約、状態、リクエスト、応答を含むタプルとしてソーシャルマシンを定義すること。
• 複数のソーシャルマシン間の相互作用を合成・推論可能にするために、接続子と条件式を用いた形式的代数を導入すること。
• 実世界のシステム、例えばツイッター や AWS 上で動作するツイッター を、合成可能なソーシャルマシンとして代数でモデル化すること。
• マッシュアップ やその他の複合ウェブアプリケーションを、ソーシャルマシンコンポONENTの構造的合成によって表現するためのフレームワークを適用すること。
• 動的かつ分散型のウェブ上での相互作用をサポートするように、拡張可能で実用的なモデルを設計すること。
• アプローチを進行中の作業として位置づけ、コミュニティからのフィードバックを募り、将来的に学術誌への発表を想定すること。

実験結果

リサーチクエスチョン

• RQ1 ソーシャルマシンは、形式的かつ構造的で合成可能なシステムとしてどのように定式化できるか？
• RQ2 動的ウェブ環境における複数のソーシャルマシン間の相互作用を表現するために、どのような代数的構成要素が必要か？
• RQ3 実世界のシステム、例えばツイッター やクラウドホスティングサービスは、どのようにソーシャルマシンの合成として表現できるか？
• RQ4 制約、状態遷移、条件付き動作のモデリングを可能にするメカニズムは何か？
• RQ5 このフレームワークは、人間が関与する複雑なウェブアプリケーションの工学的基盤として実用的になれるか？

主な発見

• 提示された代数的モデルは、入力、出力、プロセス、制約、状態といったソーシャルマシンの本質的要素を効果的に捉えている。
• 代数における接続子と条件式により、多様な相互作用パターンにおける複数のソーシャルマシンの柔軟かつ形式的な合成が可能である。
• このフレームワークは、ツイッター や AWS ホスティングサービスのような実世界のシステムを、合成可能なソーシャルマシンとしてモデル化できる。
• このモデルは、理論的抽象化ではなく、システム設計・分析の実用的ツールとして設計されている。
• 著者らは、初期の応用事例を通じてフレームワークの実現可能性を確認し、洗練のためのコミュニティフィードバックを招待している。
• 本研究は、将来的な学術的出版およびソーシャル・クラウドベースのシステムにおけるソフトウェア工学的手法への統合の基盤を築いている。