论文部分内容阅读
针对还没有工作流模型的执行过程的形式化描述的问题,给出工作流机处理步骤的操作语义描述.由于对过程实例和活动实例进行形式化描述,使得工作流机具有清晰的结构,易于不同的工作流机之间的协同工作,并且对工作流机的程序实现具有指导意义.
工作流机的操作语义
【摘 要】
：
针对还没有工作流模型的执行过程的形式化描述的问题,给出工作流机处理步骤的操作语义描述.由于对过程实例和活动实例进行形式化描述,使得工作流机具有清晰的结构,易于不同的
【机 构】
：
吉林大学
【出 处】
：
吉林大学学报：信息科学版
【发表日期】
：
2005年3期
其他文献
针对重磁方法获取的数据量大,传统纸质文件存储方式不利于数据共享和管理,且常规数据处理程序多是基于DOS(Disk Operating System)下,既独占系统资源又不便使用等问题,结合位
为了适应信息时代的迅速发展,提高从汉语文献中自动提取主题词的准确率,给出一种基于语义理解的汉语文献主题词自动提取算法模型.该模型以中文文本为处理对象,结合领域背景,
在分析本体概念和性质的基础上,提出一种基于简单属性文法的本体形式化描述方法,其中文法产生式描述本体内的各种逻辑关系,为逻辑层推理奠定了基础,通过属性求值规则实现本体