A formal approach for obligation analysis of E-commerce

Chinese Journal of Electronics

Volumn 17, Issue 2, 2008, Pages 200-204

  Du, Yuyue ^a,c   Jiang, Changjun ^b  

^a SHANDONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

^b TONGJI UNIVERSITY   (China)

^c INSTITUTE OF SOFTWARE   (China)

Author keywords

E commerce system; Formal modeling; Labeled petri net; Obligation analysis; Verification

Indexed keywords

FINANCIAL DATA PROCESSING; GRAPHIC METHODS; PETRI NETS; SYSTEMS ANALYSIS; VERIFICATION;

GRAPHICAL MODELING; LABELED PETRI NETS; OBLIGATION ANALYSIS;

ELECTRONIC COMMERCE;

EID: 42249104237     PISSN: 10224653     EISSN: 20755597     Source Type: Journal    
DOI: None     Document Type: Article

References (8)

1. W.M.P. van der Aalst and T. Basten, "Inheritance of workflows: an approach to tackling problems related to change", Theoretical Computer Science, Vol.270, No.1-2, pp.125-303, 2002.
2. D. Bolignano, "Towards the formal verification of electronic commerce protocols", Proc. of the 10th Computer Security Foundations Workshop, IEEE Computer Society Press, Rockport Massachusetts, USA, pp. 133-146, 1997.
3. Y.Y. Du, C.J. Jiang, "Verifying functions in online stock trading systems", Journal of Computer Science and Technology, Vol.19, No.2, pp.203-212, 2004.
4. J. Li, Y.S. Fan and M.C. Zhou, "Performance modeling and analysis of workflow", IEEE Trans. on Systems, Man, and Cybernetics: Part A, Vol.34, No.2, pp.229-242, 2004.
5. Y.Y. Du, C.J. Jiang, "Formal representation and analysis of batch stock trading systems by logical Petri net workflows", Lecture Notes on Computer Science, Vol.2495, pp.221-225, 2002.
6. R. Grimm, P. Ochsenschlager, "Binding telecooperation - a formal model for electronic commerce", Computer Networks, Vol.37, No.2, pp.171-193, 2001.
7. T. Murata, "Petri nets: properties, analysis and applications", Proceedings of the IEEE, Vol.77, No.4, pp.541-580, 1989.
8. D. Burdett, D. Eastlake, M. Goncalves, Internet Open Trading Protocol, McGraw-Hill, New York, USA, 2000.