A comparison of formalisms for electronic commerce systems
Sylvanus A. Ehikioya, B. Ola · 2005
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