凯瑟琳·霍夫曼 使用折叠和展开构造对代数高级网和代数高级网进行运行时修改。 (英语) Zbl 0959.68094号 霍梅尔,Günter(编辑),《基于通信的系统》。2000年3月31日至4月1日,德国柏林工业大学第三届国际研讨会会议记录。多德雷赫特:Kluwer学术出版社。55-72 (2000). 摘要:我们用高阶函数扩展了代数高阶网的定义明确的形式。由此产生的代数高阶网形式化导致了更灵活的建模技术,这是业务流程领域的新技术。本文的主要结果一方面是代数高级网与通过折叠和展开给出的一类受限代数高级网之间的关系,另一方面是运行时修改的概念,它允许以形式化的方式修改现有的灵活业务流程模型。有关整个系列,请参见[Zbl 0934.00022号]. 引用于2文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 2010年第68季度 计算模式(非确定性、并行、交互式、概率性等) 关键词:代数高级网;代数高阶网 软件:TimeNET(时间网) PDF格式BibTeX公司 XML格式引用 \textit{K.霍夫曼},in:基于通信的系统。2000年3月31日至4月1日,德国柏林工业大学,第三届国际研讨会会议记录。多德雷赫特:Kluwer学术出版社。55-72(2000年;兹bl 0959.68094)