WEKO3
アイテム
A DSL for Contract-centric Compatibility Assessment in Distributed Services
https://ipsj.ixsq.nii.ac.jp/records/107496
https://ipsj.ixsq.nii.ac.jp/records/107496e996bfc7-8896-41e2-9294-5b6e7a1fe7e3
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-JNL5512001 (1.0 MB)
|
Copyright (c) 2014 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Journal(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2014-12-15 | |||||||||
| タイトル | ||||||||||
| タイトル | A DSL for Contract-centric Compatibility Assessment in Distributed Services | |||||||||
| タイトル | ||||||||||
| 言語 | en | |||||||||
| タイトル | A DSL for Contract-centric Compatibility Assessment in Distributed Services | |||||||||
| 言語 | ||||||||||
| 言語 | eng | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | [一般論文] Domain-specific Language, distributed computing, distributed service, service contract, π-calculus | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||
| 資源タイプ | journal article | |||||||||
| 著者所属 | ||||||||||
| University of Tokyo | ||||||||||
| 著者所属 | ||||||||||
| University of Tokyo | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| University of Tokyo | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| University of Tokyo | ||||||||||
| 著者名 |
AurelioAkiraMelloMatsui
× AurelioAkiraMelloMatsui
× Hitoshi, Aida
|
|||||||||
| 著者名(英) |
Aurelio, AkiraMelloMatsui
× Aurelio, AkiraMelloMatsui
× Hitoshi, Aida
|
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | As distributed computing becomes part of the daily life of an expressive number of people, it becomes important to rethink the way we express compatibility between the components of distributed systems. This paper proposes a mechanism to check service compatibility based on service contracts. We propose that a contract should be specified in terms of a process calculus and that interacting services should have their algorithms verified against such contracts. This way, we can formally check if they can reach a target state, meaning that they can successfully interact. In order to guide the compatibility check we propose a variation of the Java programming language to create a Domain-Specific Language (DSL). This DSL, along with a run time model, was specially designed to allow for an automated examination of behavior in a message-oriented middleware environment. We provide a qualitative evaluation of our proposal through the analysis of an example involving the dynamic creation of interconnections. ------------------------------ This is a preprint of an article intended for publication Journal of Information Processing(JIP). This preprint should not be cited. This article should be cited as: Journal of Information Processing Vol.23(2015) No.1 (online) ------------------------------ |
|||||||||
| 論文抄録(英) | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | As distributed computing becomes part of the daily life of an expressive number of people, it becomes important to rethink the way we express compatibility between the components of distributed systems. This paper proposes a mechanism to check service compatibility based on service contracts. We propose that a contract should be specified in terms of a process calculus and that interacting services should have their algorithms verified against such contracts. This way, we can formally check if they can reach a target state, meaning that they can successfully interact. In order to guide the compatibility check we propose a variation of the Java programming language to create a Domain-Specific Language (DSL). This DSL, along with a run time model, was specially designed to allow for an automated examination of behavior in a message-oriented middleware environment. We provide a qualitative evaluation of our proposal through the analysis of an example involving the dynamic creation of interconnections. ------------------------------ This is a preprint of an article intended for publication Journal of Information Processing(JIP). This preprint should not be cited. This article should be cited as: Journal of Information Processing Vol.23(2015) No.1 (online) ------------------------------ |
|||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AN00116647 | |||||||||
| 書誌情報 |
情報処理学会論文誌 巻 55, 号 12, 発行日 2014-12-15 |
|||||||||
| ISSN | ||||||||||
| 収録物識別子タイプ | ISSN | |||||||||
| 収録物識別子 | 1882-7764 | |||||||||
