Supporting dynamic process specifications using communication based processes

S. Inoue, M. Iwaihara

研究成果: Conference contribution

抄録

In this paper, we introduce the M-Trans system, which is able to record the specification of the design process for the communicative process, which is designed in a discussion and is specified incompletely, to create the communicative process according to the specification, and to support 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 in 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 the communicative process is important since it realizes adaptation to unexpected situations, including exception handling and dynamic re-composition of a process in WFMS.

本文言語English
ホスト出版物のタイトルProceedings of the 35th Annual Hawaii International Conference on System Sciences, HICSS 2002
編集者Ralph H. Sprague
出版社IEEE Computer Society
ページ10
ページ数1
ISBN(電子版)0769514359
DOI
出版ステータスPublished - 2002
外部発表はい
イベント35th Annual Hawaii International Conference on System Sciences, HICSS 2002 - Big Island, United States
継続期間: 2002 1 72002 1 10

出版物シリーズ

名前Proceedings of the Annual Hawaii International Conference on System Sciences
2002-January
ISSN(印刷版)1530-1605

Other

Other35th Annual Hawaii International Conference on System Sciences, HICSS 2002
国/地域United States
CityBig Island
Period02/1/702/1/10

ASJC Scopus subject areas

  • 工学(全般)

フィンガープリント

「Supporting dynamic process specifications using communication based processes」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル