WORMS- A framework to support workflows in M&S

Workflows are a promising mean to increase the quality of modeling and simulation (M&S) products such as studies and models. In exploiting workflows for M&S, requirements arise that need to be reflected in the structure and components of a workflow supporting framework, such as WORMS (WORkflows for Modeling and Simulation). In WORMS, we adapt concepts of business process modeling and scientific workflows. Particular attention is given to extensibility and flexibility which is supported by a plug-in based design and by selecting workflow nets as intermediate representation for workflows. The first application of WORMS has been realized for the modeling and simulation framework JAMES II. A small case-study illuminates the role of components and their interplay during evaluating a cell biological model.

[1]  Clarence A. Ellis,et al.  Modeling and Enactment of Workflow Systems , 1993, Application and Theory of Petri Nets.

[2]  Osman Balci,et al.  Guidelines for successful simluation studies (tutorial session) , 1990, WSC' 90.

[3]  Chengying Mao.  Control Flow Complexity Metrics for Petri Net-based Web Service Composition , 2010, J. Softw..

[4]  Kees M. van Hee,et al.  Workflow Management: Models, Methods, and Systems , 2002, Cooperative information systems.

[5]  Averill M. Law,et al.  Simulation Modeling and Analysis , 1982 .

[6]  Lars Michael Kristensen,et al.  Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.

[7]  Adelinde M. Uhrmacher,et al.  A flexible and scalable experimentation layer , 2008, 2008 Winter Simulation Conference.

[8]  Wil M.P. van der Aalst,et al.  Three good reasons for using a Petri-net-based workflow management system , 1996 .

[9]  Edward A. Lee,et al.  Scientific workflow management and the Kepler system , 2006, Concurr. Comput. Pract. Exp..

[10]  Jianmin Wang,et al.  Verifying workflow processes: a transformation-based approach , 2010, Software & Systems Modeling.

[11]  Stefan Leye,et al.  Flexible experimentation in the modeling and simulation framework JAMES II - implications for computational systems biology , 2010, Briefings Bioinform..

[12]  Wil M. P. van der Aalst,et al.  Designing a Workflow System Using Coloured Petri Nets , 2009, Trans. Petri Nets Other Model. Concurr..

[13]  Karsten Wolf,et al.  Transforming BPEL to Petri Nets , 2005, Business Process Management.

[14]  Geert-Jan Houben,et al.  Modeling workflow management systems with high-level Petri nets , 1994 .

[15]  Mandy Weißbach,et al.  Termination analysis of business process workflows , 2010, WEWST '10.

[16]  Paul T. Groth,et al.  Provenance: The Bridge Between Experiments and Data , 2008, Computing in Science & Engineering.

[17]  Mario Piattini,et al.  Secure business process model specification through a UML 2.0 activity diagram profile , 2011, Decis. Support Syst..

[18]  Richard E. Nance,et al.  The Simulation Project Life-Cycle: Models and Realities , 2006, Proceedings of the 2006 Winter Simulation Conference.

[19]  Moe Thandar Wynn,et al.  Business process verification - finally a reality! , 2009, Bus. Process. Manag. J..

[20]  Adelinde M. Uhrmacher,et al.  Plug'n Simulate , 2007, 40th Annual Simulation Symposium (ANSS'07).

[21]  Athena Vakali,et al.  LDAP: Framework, Practices, and Trends , 2004, IEEE Internet Comput..

[22]  Olivier Dalle,et al.  Design considerations for M&S software , 2009, Proceedings of the 2009 Winter Simulation Conference (WSC).

[23]  Simon Miles.  Automatically Adapting Source Code to Document Provenance , 2010, IPAW.

[24]  Krzysztof Pawlikowski,et al.  On credibility of simulation studies of telecommunication networks , 2002, IEEE Commun. Mag..

[25]  Matjaz B. Juric,et al.  Business Process Execution Language for Web Services BPEL and BPEL4WS 2nd Edition , 2006 .

[26]  Andreas Schaad,et al.  Document-Based Dynamic Workflows: Towards Flexible and Stateful Services , 2009, 2009 World Conference on Services - II.

[27]  Osgi Alliance,et al.  Osgi Service Platform, Release 3 , 2003 .

[28]  Dan V. Nicolau,et al.  Identifying Optimal Lipid Raft Characteristics Required To Promote Nanoscale Protein-Protein Interactions on the Plasma Membrane , 2006, Molecular and Cellular Biology.

[29]  Wil vanderAalst,et al.  Workflow Management: Models, Methods, and Systems , 2004 .

[30]  Luc Moreau,et al.  Validation of E-Science Experiments using a Provenance-based Approach , 2005 .

[31]  Adelinde M. Uhrmacher,et al.  Using workflows in M&S software , 2010, Proceedings of the 2010 Winter Simulation Conference.

[32]  Carole A. Goble,et al.  myExperiment: Defining the Social Virtual Research Environment , 2008, 2008 IEEE Fourth International Conference on eScience.

[33]  Geoffrey C. Fox,et al.  Examining the Challenges of Scientific Workflows , 2007, Computer.

[34]  Bertram Ludäscher,et al.  Scientific workflow management and the Kepler system: Research Articles , 2006 .

[35]  Stuart H. Kurkowski,et al.  Credible mobile ad hoc network simulation-based studies , 2006 .

[36]  Wolffried Stucky,et al.  Income/Wf — A Petri Net Based Approach to Workflow Management , 1997 .

[37]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[38]  Daniel Moldt,et al.  Workflow Modelling and Execution with Coloured Petri Nets in COSM , 1995 .

[39]  Wil M. P. van der Aalst,et al.  Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool , 2000, ICATPN.

[40]  Karsten Schmidt.  LoLA: a low level analyser , 2000 .

[41]  Mark Klein,et al.  Introduction to the Special Issue on Adaptive Workflow Systems , 2000, Computer Supported Cooperative Work (CSCW).

[42]  Marlon Dumas,et al.  UML Activity Diagrams as a Workflow Specification Language , 2001, UML.

[43]  Serge Haddad,et al.  Application and Theory of Petri Nets , 2012, Lecture Notes in Computer Science.

[44]  Adelinde M. Uhrmacher,et al.  An Algorithm Selection Approach for Simulation Systems , 2008, 2008 22nd Workshop on Principles of Advanced and Distributed Simulation.

[45]  Twan Basten,et al.  Adaptive workflow , 2000 .

[46]  W.M.P. van der Aalst,et al.  Structural characterizations of sound workflow nets , 1996 .

[47]  Rafael Accorsi,et al.  Auditing Workflow Executions against Dataflow Policies , 2010, BIS.

[48]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[49]  Paolo Missier,et al.  Exploiting Provenance to Make Sense of Automated Decisions in Scientific Workflows , 2008, IPAW.

[50]  Bertram Ludäscher,et al.  Scientific workflow design with data assembly lines , 2009, WORKS '09.

[51]  Osman Balci.  Guidelines for successful simulation studies , 1990, 1990 Winter Simulation Conference Proceedings.

[52]  Kwanghoon Pio Kim,et al.  A Workflow Event Logging Mechanism and its Implications on Quality of Workflows , 2010, J. Inf. Sci. Eng..

[53]  Jerome H. Saltzer,et al.  Kerberos authentication and authorization system , 1987 .