论文部分内容阅读
介绍从信息技术理论角度看商务过程（“geschaeft－process”）的系统形式化。强调指出了商务过程形式化对于利用自动化优化手段改进其管理的作用。指出迄今已提出了为数众多的商务过程形式化方案。本文提出的形式化出发点是，作为它的基础必须包括生产客体及其转换以及与环境的相互关系。介绍了商务过程语义形式化模型。指出根据DIN662M标准，过程系指物质客体、能源与信息的改变与转化。引入了客体（生产、商务）、用于客体转化的股票状况概念。这样客体就由状况、股票、转化所表征。同时，使用如下假设：客体的准确原始状况