We present a Workflow environment allowing distributed simulation based on DEVS/G-DEVS formalisms. A description language for Workflow processes and an automatic transformation of a Workflow into a G-DEVS model have been defined. We then introduce a new distributed Workflow Reference Model with HLA-compliant Workflow components. We detail the HLA objects shared between Workflow federates and present the publishing/subscribing status of each of these federates. Finally, we illustrate the use of this distributed environment with an example of a Microelectronic production Workflow.
C-Log.2006. Workey, C-Log International. 480, Place de la Courtine 93194 Noisy le Grand. http://www.c-log.com/040_Workey.
6.
Van der Aalst, W.M.P. and K.M. van Hee.2002. Workflow Management: Models, Methods, and Systems. MIT press: Cambridge, MA.
7.
Van Hee K., R. Post and L. Somers.2005. Yet Another Smart Process EditoR. In ESM'2005, The 2005 European Simulation and Modelling Conference , Porto, Portugal, 24-26 October 2005 .
8.
Yawl.2005. Yawl. http://www.yawl-system.com/.
9.
Zeigler, B.P., H. Praehofer and T.G. Kim.2000. Theory of Modeling and Simulation. 2nd Edition. Academic Press: New York, USA.
10.
Giambiasi, N. , B. Escude and S. Ghosh.2000. G-DEVS: A Generalized Discrete Event Specification for Accurate Modeling of Dynamic Systems. Transactions of the SCS International17(3), 120-134.
11.
Institute of Electrical and Electronic Engineers.2001. High Level Architecture (HLA) - Federate Interface Specification. IEEE Standard for Modeling and Simulation (M&S). Std 1516.2-2000
12.
Defense Modeling and Simulation Office (DMSO), US Dept of Defense.1998. High Level Architecture Rules Version 1.3. IEEE P1516.2, Standard for M&S.
13.
Fujimoto, R.M.1998. Time Management in the High Level Architecture. Transactions of the SCS, Simulation71(6), 388-400.
14.
Zacharewicz, G., N. Giambiasi, C. Frydman.2006. Lookahead Computation in G-DEVS/HLA Environment. Simulation News Europe Journal (SNE) special issue 1 `Parallel and Distributed Simulation Methods and Environments'16(2), 15-24.
15.
Zacharewicz, G., N. Giambiasi, C. Frydman.2005. Improving the Lookahead Computation in G-DEVS/HLA Environment. In Proceedings of 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications (IEEE DS-RT 2005), Montreal, Canada, 10-12 October 2005: IEEE1 pp. 273- 282.
16.
Zeigler B.P. , G. Ball, H.J. Cho and J.S. Lee .1999. Implementation of the DEVS formalism over the HLA/RTI: Problems and solutions. In Proceedings of Simulation Interoperation Workshop (SIW), Orlando, FL : number 99S-SIW-065.
17.
Lake T., B.P. Zeigler, H.S. Sarjoughian and J. Nutaro.2000. DEVS Simulation and HLA Lookahead. In Proceedings of Simulation Interoperability Workshop (SIW), Orlando, FL: number 00S-SIW-160.
18.
Workflow Management Coalition.2005. Workflow Process Definition Interface: XML Process Definition Language (XPDL). WFMC-TC-1025.
19.
Song, H.S. and T.G. Kim.1994. The DEVS framework for discrete event systems control. In Proceedings of 5th Annual Conference on AI, Simulation and Planning in High Autonomous Systems, Gainesville, FL: pp. 228-234.
20.
Zacharewicz G. , C. Frydman and C. Zanni.2002. Workflow/HLA Distributed Simulation Environment. In Proceedings of Harbour, Maritime & Multimodal Logistics M&S, Bergeggi, Italy, Oct 3-5.
21.
Bréholée, B. and P. Siron.2003. Design and Implementation of a HLA Inter-federation Bridge. In Proceedings of the EUROSIW, Stockholm, Sweden, June 16-19.
22.
Revetria, R.2003. NAVI: Learning HLA from an Interactive Exercise Tutorial . In Proceedings of Summer Computer Simulation Conference 2003, Montreal , Canada.
23.
Giambiasi, N. and S. Ghosh.2001. Min-Max Devs: A New Formalism for the Specification of Discrete Event Models With Min-Max Delays . In Proceedings of European Simulation Symposium, Marseille, France, Oct 18-20: pp. 616-621.
24.
Hamri, M.A. , N. Giambiasi, C. Frydman.2006. Min-Max DEVS Modeling and Simulation. Simulation Modelling Practice and Theory14(7), 909-929.
25.
Baati, L., C. Frydman, N. Giambiasi.2006. Simulation Semantics For Dynamic Hierarchical Structure DEVS Model. In DEVS'06, DEVS Integrative M&S Symposium , Huntsville, Alabama, April 2-7.
26.
Fujimoto, R.M.2000. Parallel and Distributed Simulation System. Wiley Interscience: New York.
