Title :
A comparison of formalisms for electronic commerce systems
Author :
Ehikioya, Sylvanus A. ; Ola, Bamidele
Author_Institution :
Dept. of Comput. Sci., Manitoba Univ., Winnipeg, Man.
Abstract :
This paper presents a fuzzy logic framework for evaluating formalisms applicable to specifying electronic commerce systems. We present an evaluation of the Z notation, Unified Modelling Language (UML), statecharts, Petri nets, and finite state machines (FSM) carried out in conjunction with some domain specialists using the evaluation criteria and the fuzzy logic framework developed in this research
Keywords :
Petri nets; Unified Modeling Language; electronic commerce; finite state machines; formal specification; fuzzy logic; Petri net; UML; Unified Modelling Language; Z notation; electronic commerce; finite state machine; fuzzy logic; statechart; Automata; Business; Computer languages; Computer science; Electronic commerce; Error correction; Fuzzy logic; Petri nets; Unified modeling language; Web and internet services;
Conference_Titel :
Computational Cybernetics, 2004. ICCC 2004. Second IEEE International Conference on
Conference_Location :
Vienna
Print_ISBN :
0-7803-8588-8
DOI :
10.1109/ICCCYB.2004.1437721
