設計生産コミュニケーションモデルの記述表現及び応用に関する研究 (第3報)

計算機応用システムの定式化

抄録

In previous report, an integrated model about concurrent process that is examined within design and manufacturing activity are proposed. Subject of this report is a development of a computer aided application system that controls cooperative activities. A methodology about formal represented activity is inspected. Based on a process algebra CCS, a fundamental function of process management system is proposed. As an example, a concurrent process simulator is developed utilizing an object oriented language.