本文在对大量现有电子商务系统形式化方法分析的基础上,根据电子商务系统的具体特点,综合应用Petri网、时序逻辑、工作流等分析技术,提出并研究了用于电子商务系统时序性质分析的时序(高级)Petri网方法、批处理功能及传值不确定性分析的逻辑工作流网方法、实时性质分析的逻辑时间工作流网方法和主体责任与证据分析的标注工作流网方法。同时,从理论上研究了这些方法的主要性质,得到一系列重要结果。

提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。