Integrated Design for Electronic Experimental System over Internet
LU Yi-chan, Zheying Li · 2006
A UML model and modeling method of electronic experimental system (EES) operated over Internet were addressed in this paper. EES operated over Internet is a system that can support the operating of electronic instruments and circuits. It is a challenge that the normal running of the electronic instruments and circuits should be guaranteed. The EES is designed for multi-terminal to operate the same experiment circuitry and a set of instruments such as function generator and oscilloscope. After a brief introduction about UML, this article details the modeling procedure with the application of UML, especially use case diagram, class diagram and statechart of the system, and verifies it with SPIN by transforming the model into PROMELA