期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
Verifying Functions in Online Stock Trading Systems 被引量:3
1
作者 Yu-YueDu Chang-JunJiang 《Journal of Computer Science & Technology》 SCIE EI CSCD 2004年第2期203-212,共10页
Temporal colored Petri nets, an extension of temporal Petri nets, areintroduced in this paper. It can distinguish the personality of individuals (tokens), describeclearly the causal and temporal relationships between ... Temporal colored Petri nets, an extension of temporal Petri nets, areintroduced in this paper. It can distinguish the personality of individuals (tokens), describeclearly the causal and temporal relationships between events in concurrent systems, and representelegantly certain fundamental properties of concurrent systems, such as eventuality and fairness.The use of this method is illustrated with an example of modeling and formal verification of anonline stock trading system. The functional correctness of the modeled system is formally verifiedbased on the temporal colored Petri net model and temporal assertions. Also, some main properties ofthe system are analyzed. It has been demonstrated sufficiently that temporal colored Petri nets canverify efficiently some time-related properties of concurrent systems, and provide both the powerof dynamic representation graphically and the function of logical inference formally. Finally,future work is described. 展开更多
关键词 formal modeling VERIFICATION online stock trading system function coloredPetri net temporal logic
原文传递
Online Trading in China
2
《China & World Economy》 SCIE 2002年第2期41-48,共8页
This article describes the current status of onlinetrading development it China from legal,governmental, technical and market perspectives.Three company models of China’s securities industryare detailed. Along the ro... This article describes the current status of onlinetrading development it China from legal,governmental, technical and market perspectives.Three company models of China’s securities industryare detailed. Along the road to a bright future, somehurdles handicap further development of online tradingin China. Through discussions of these problems, pos- 展开更多
关键词 In online trading in China MORE CSRC THAN IT over As WILL WWW
原文传递
Textile materials trading center formally launched online
3
作者 Liu Xinxin 《纺织服装周刊》 2012年第13期40-40,共1页
Textile materials trading center was formally launched online in Wuxi City,Jiangsu Province. This is the first third-party electronic trading platform for spot trading in China textile materials professional market.... Textile materials trading center was formally launched online in Wuxi City,Jiangsu Province. This is the first third-party electronic trading platform for spot trading in China textile materials professional market. The project will strive to build the most influential textile materials trading center of East China,the whole country and even the whole world China textile materials trading center will 展开更多
关键词 WILL Textile materials trading center formally launched online
原文传递
The Structure of Legal Relations in Online Transactions
4
作者 Yang Lixin 《Social Sciences in China》 2017年第4期103-119,共17页
As the civil law expression of internet plus transactions, the legal relations in online trading platform transactions constitute a complex aggregate of legal relationships composed of groups of legal relations. Speci... As the civil law expression of internet plus transactions, the legal relations in online trading platform transactions constitute a complex aggregate of legal relationships composed of groups of legal relations. Specifically, they consist of three basic interlinked legal relationships: Contract relations for online trading platform services between the platform provider and the seller or service provider, and between the platform provider and the consumer. This includes the sales or service contract relations between the triad of the seller, the service provider and the consumer. These relations contain five kinds of major content, viz., the provision of transaction space, the publishing of transaction information, price escrow payment, distribution and delivery of the commodity, and transaction credit evaluation. They involve three forms of supplementary legal relations: the supplementary contract relationship between the platform provider and a third party payment institunon; between the seller and third party credit reporting agency; and between the seller and a logistics enterprise. The three forms of supplementary contractual legal relations are set up to act on the major contents of the basic legal relationships in online transactions. On the basis of the online trading platform service contract relationships between the platform provider and the triad of the seller, the service provider and the consumer, the flow of the above- mentioned legal relations centers on the contract of sales or service set up between the seller, the service provider and the consumer to accomplish the aim of the online transaction, meet social needs and boost economic development. 展开更多
关键词 internet transactions online trading platform intemet plus legal relations incontract
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部