| 作成者 |
|
|
|
| 本文言語 |
|
| 出版者 |
|
| 発行日 |
|
| 収録物名 |
|
| 収録物名 |
|
| 出版タイプ |
|
| アクセス権 |
|
| 関連DOI |
|
| 関連URI |
|
| 関連情報 |
|
| 概要 |
In this paper, we introduce M-Trans system, which has an ability of recording the specification of the design process for the communicative process, which is designed in a discussion and is be specifi...ed incompletely, of creating the communicative process according to the specification, and of supporting dynamic process specifications utilizing the record of executed communicative process. The system is based on the model that provides integrated specification of a process and communication. The execution of the communicative process may be performed on parallel with the design process, and the design process and the implementation may have interactions for coordination. Moreover, we present a method for verifying consistency between the communicative process and its specification. Managing communicative process is important since it realizes adaptation to unexpected situations, including exception handling and dynamic re-composition of a process in WfMS.続きを見る
|
Mendeley出力
