Integrated Design for Electronic Experimental System over Internet
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.
Yichan Lu Zheying Li
School of Electronics and Engineering, Beijing Jiao Tong University, Beijing, China 100044 College of Information, Beijing Union University, Beijing, China 100101
国际会议
2006 Asia-Pacific Services Computing Conference(IEEE亚太地区服务计算会议)
广州
英文
253-257
2006-12-12（万方平台首次上网日期，不代表论文的发表时间）