No full-text available
To read the full-text of this research,
you can request a copy directly from the authors.
An approach for generating fsm program based on Visio modeling
Abstract
Code Generation is regarded widely by IT industry. It can improve the consistency of the software architecture. In the management system of the Directory Service Network, some operations which can be abstracted into FSM model are defined. Take the configuration-switching as an example, generating FSM program using Visio and O'Caml is researched. Configuration-switching is modeled in Visio and the data in the model is extracted using VBA. The code is generated finally by the parsing and printing module written in O'Caml. The experiment shows that the generated code can be integrated with the system effectively. And this method makes it convenient for developing the same kind of program.
ResearchGate has not been able to resolve any citations for this publication.
Since 1984 the author has been developing simulation models that use input data from spreadsheets. These original applications used a standalone Basic program to convert Lotus 123(R) data into Siman Experiment Frames. While this process has evolved overtime, it did not reach a truly viable level until Arena(R) 3.0 introduced Visual Basic(R) for Applications (VBA) by Microsoft(R). This advanced tutorial demonstrates the basic concepts developed by the author to transfer data between Excel(R) and Arena. The same techniques can be used to communicate simulation data with a wide range of VBA supported tools, such as Access(R), AutoCAD(R) and Visio(R). Arena permits the model developer to use VBA as the model file is loaded, executed, or terminated or as entities flow through the Arena model modules. The article focuses on the design of Excel workbooks for simulation applications and the transfer of data to/from Arena using VBA
PrioQueue = (PrioQueue : PRIOQUEUE);; module AbstractPrioQueue : PRIOQUEUE # AbstractPrioQueue.removetop;; Characters 0-28: Unbound value AbstractPrioQueue.removetop # AbstractPrioQueue.insert AbstractPrioQueue.empty 1 "hello";; - : string AbstractPrioQueue.queue = !abstr? The restriction can also be performed during the definition of the structure, as in module PrioQueue = (struct ... end : PRIOQUEUE);; An alternate syntax is provided for the above: module PrioQueue : PRIOQUEUE = struct ... end;; Functors Functors are "functions" from structures to structures. They are used to express parameterized structures: a structure A parameterized by a structure B is simply a functor F with a formal parameter B (along with the expected signature for B) which returns the actual structure A itself. The functor F can then be applied to one or several implementations B 1 : : : B n of B, yielding the corresponding structures A 1 : : : A n . For instance, here is a structure implementing sets a...
PrioQueue = (PrioQueue : PRIOQUEUE);; module AbstractPrioQueue : PRIOQUEUE # AbstractPrioQueue.removetop;; Characters 0-28: Unbound value AbstractPrioQueue.removetop # AbstractPrioQueue.insert AbstractPrioQueue.empty 1 "hello";; - : string AbstractPrioQueue.queue = !abstr? The restriction can also be performed during the definition of the structure, as in module PrioQueue = (struct ... end : PRIOQUEUE);; An alternate syntax is provided for the above: module PrioQueue : PRIOQUEUE = struct ... end;; 3.3 Functors Functors are "functions" from structures to structures. They are used to express parameterized structures: a structure A parameterized by a structure B is simply a functor F with a formal parameter B (along with the expected signature for B) which returns the actual structure A itself. The functor F can then be applied to one or several implementations B 1 . . . B n of B, yielding the corresponding structures A 1 . . . A n . For instance, here is a structure implementing se...
The Completeness of Configuration-switching System for Hierarchical Network
- C Jiuqiang
- Z Xingyuan
Developing Applications With Objective Caml
- F Albacete
- M Andrew
- M Anlauf
Designing Simulation Graphic Modeling Environment Based on Microsoft Visio
- H Jinshan
- S Zhe
- J Xuezhi
Analysis of Logic Graph Based on Visio Automation
- L Qiang
- L Xiangjun
- M Xubo
Using Visio 2000 Enterprise Edition to Model Applications
- K Spencer