标题:A Formal Representation of Collaborative Electronic Commerce Systems by Workflow Nets
作者:Liu, Wei; Du, Yuyue; Fu, You; Yan, Chun
通讯作者:Liu, W
作者机构:[Liu, Wei; Du, Yuyue; Fu, You; Yan, Chun] Shandong Univ Sci & Technol, Coll Informat Sci & Engn, Qingdao 266590, Peoples R China.
会议名称:2nd International Conference on Civil Engineering, Architecture and Building Materials (CEABM 2012)
会议日期:MAY 25-27, 2012
来源:PROGRESS IN CIVIL ENGINEERING, PTS 1-4
出版年:2012
卷:170-173
页码:3570-3574
DOI:10.4028/www.scientific.net/AMM.170-173.3570
关键词:Logical expression; Batch processing function; Passing value; indeterminacy; Color sets
摘要:Combining the advantages of logical workflow nets and colored Petri nets, logical and colored workflow nets and collaborative logical and colored workflow nets are presented to facilitate the modeling of cooperative electronic commerce systems. The formal representation presented in this paper can not only describe the data objects, but also represent passing value indeterminacy and batch processing function of cooperative electronic commerce systems.
收录类别:CPCI-S;EI
资源类型:会议论文
TOP