Developing simulation models - From conceptual to executable model and back - An artifact-based workflow approach

SIMUTools 2014 - 7th International Conference on Simulation Tools and Techniques

Volumn , Issue , 2014, Pages 21-30

  Rybacki, Stefan ^a   Haack, Fiete ^a   Wolf, Karsten ^a   Uhrmacher, Adelinde M ^a  

^a UNIVERSITY OF ROSTOCK   (Germany)

Author keywords

Artifact; Conceptual modeling; Modeling; Workflow

Indexed keywords

CIRCUIT SIMULATION; MODELS; SOFTWARE ENGINEERING;

ARTIFACT; CONCEPTUAL MODEL; DATA AND INFORMATION; INTER-DEPENDENCIES; MODELING FOR SIMULATIONS; REPRODUCIBILITIES; SIMULATION SYSTEMS; WORKFLOW;

CYTOLOGY;

EID: 84922797089     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4108/icst.simutools.2014.254650     Document Type: Conference Paper

References (39)

1. O. Balci. Verification, validation, and accreditation. In Proceedings of the 30th conference on Winter simulation, WSC '98, pages 41-4, Los Alamitos, CA, USA, 1998. IEEE Computer Society Press.
2. K. Bhattacharya, N. S. Caswell, S. Kumaran, A. Nigam, and F. Y. Wu. Artifact-centered operational modeling: Lessons from customer engagements. IBM Systems Journal, 46(4):703-721, 2007.
3. L. Chwif, J. Banks, J. P. de Moura Filho, and B. Santini. A framework for specifying a discrete-event simulation conceptual model. J. Simulation, 7(1):50-60, 2013.
4. D. Cohn and R. Hull. Business artifacts: A data-centric approach to modeling business operations and processes. IEEE Data Eng. Bull., 32(3):3-9, 2009.
5. P. Dadam and M. Reichert. The adept project: a decade of research and development for robust and flexible process support. Computer Science - R&D, 23(2):81-97, 2009.
6. R. Ewald, R. Schulz, and A. M. Uhrmacher. Selecting simulation algorithm portfolios by genetic algorithms. In 24th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation, PADS 2010, Atlanta, Georgia, USA, May 17-19, 2010, pages 48-56. IEEE, 2010.
7. R. Ewald and A. M. Uhrmacher. Sessl: A domain-specific language for simulation experiments. ACM Transactions on Modeling and Computer Simulation, 2013 (to appear).
8. N. Gilbert and K. G. Troitzsch. Simulation for the social scientist. Open University Press, 1999.
9. K. Görlach, M. Sonntag, D. Karastoyanova, F. Leymann, and M. Reiter. Conventional Workflow Technology for Scientific Simulation. In X. Yang, L. Wang, and W. Jie, editors, Guide to e-Science, Computer Communications and Networks, pages 323-352. Springer London, London, 2011.
10. O. M. Group. Business Process Model and Notation, 2009.
11. C. Heavey and J. Ryan. Process modelling support for the conceptual modelling phase of a simulation project. In L. F. Perrone, B. Lawson, J. Liu, and F. P. Wieland, editors, Winter Simulation Conference, pages 801-808. ACM, 2006.
12. D. Hull, K. Wolstencroft, R. Stevens, C. Goble, M. Pocock, P. Li, and T. Oinn. Taverna: a tool for building and running workflows of services. Nucleic Acids Research, 34(Web Server issue):729-732, 2006.
13. R. Hull, E. Damaggio, R. De Masellis, F. Fournier, M. Gupta, F. T. Heath, S. Hobson, M. H. Linehan, S. Maradugu, A. Nigam, et al. Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events. In DEBS, pages 51-62, 2011.
14. W. Kreutzer. System simulation programming styles and languages. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1986.
15. A. D. Lattner. Towards automation of simulation studies - artificial intelligence methodologies for the control and analysis of simulation experiments. KI, 27(3):287-290, 2013.
16. N. Le Novere, B. Bornstein, A. Broicher, M. Courtot, M. Donizelli, H. Dharuri, L. Li, H. Sauro, M. Schilstra, B. Shapiro, et al. Biomodels database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems. Nucleic acids research, 34(suppl 1):D689-D691, 2006.
17. O. Mazemondet, M. John, C. Maus, A. M. Uhrmacher, and A. Rolfs. Integrating diverse reaction types into stochastic models: a signaling pathway case study in the imperative p-calculus. In Winter Simulation Conference, pages 932-943. Winter Simulation Conference, 2009.
18. R. Nance. The conical methodology: A framework for simulation model development. Technical Report SRC-87-002, Virginia Institute of Technology, 1986. accessed 25 October 2013.
19. A. Nigam and N. S. Caswell. Business artifacts: An approach to operational specification. IBM Systems Journal, 42(3):428-445, 2003.
20. K. Pawlikowski, H.-D. Jeong, and J.-S. Lee. On credibility of simulation studies of telecommunication networks. Communications Magazine, IEEE, 40(1):132-139, Jan 2002.
21. L. F. Perrone, C. S. Main, and B. C. Ward. Safe: simulation automation framework for experiments. In O. Rose and A. M. Uhrmacher, editors, Winter Simulation Conference, WSC '12, Berlin, Germany, December 9-12, 2012, page 249, 2012.
22. M. Pesic, H. Schonenberg, and W. M. P. van der Aalst. Declare: Full support for loosely-structured processes. In EDOC, pages 287-300. IEEE Computer Society, 2007.
23. M. Rabe, S. Spieckermann, and S. Wenzel. Verification and validation activities within a new procedure model for v&v in production and logistics simulation. In A. Dunkin, R. G. Ingalls, E. Yücesan, M. D. Rossetti, R. Hill, and B. Johansson, editors, Winter Simulation Conference, pages 2509-2519. ACM, 2009.
24. M. Reiter, U. Breitenbucher, O. Kopp, and D. Karastoyanova. Quality of data driven simulation workflows. In E-Science (e-Science), 2012 IEEE 8th International Conference on, pages 1-8, 2012.
25. S. Robinson. Choosing the right model: conceptual modeling for simulation. In S. Jain, R. R. C. Jr., J. Himmelspach, K. P. White, and M. C. Fu, editors, Winter Simulation Conference, pages 1428-1440. ACM, 2011.
26. D. D. Roure, C. Goble, J. Bhagat, D. Cruickshank, A. Goderis, D. Michaelides, and D. Newman. myExperiment: Defining the Social Virtual Research Environment. In 4th IEEE International Conference on e-Science, pages 182-189. IEEE Press, 2008.
27. S. Rybacki, J. Himmelspach, F. Haack, and A. M. Uhrmacher. WorMS- A Framework to Support Workflows in M&S. In S. Jain, R. R. Creasey, J. Himmelspach, K. P. White, and M. Fu, editors, Proceedings of the 2011 Winter Simulation Conference, 2011.
28. S. Rybacki, J. Himmelspach, E. Seib, and A. M. Uhrmacher. Using workflows in M&S software. In Proceedings of the 2010 Winter Simulation Conference, pages 535-545. IEEE, Dec. 2010.
29. S. Rybacki, S. Leye, J. Himmelspach, and A. Uhrmacher. Template and frame based experiment workflows in modeling and simulation software with worms. In Services (SERVICES), 2012 IEEE Eighth World Congress on, pages 25-32. IEEE, 2012.
30. R. G. Sargent. Verification and validation: some approaches and paradigms for verifying and validating simulation models. In Winter Simulation Conference, pages 106-114, 2001.
31. R. G. Sargent. Verification and validation of simulation models. J. Simulation, 7(1):12-24, 2013.
32. R. G. Sargent, R. E. Nance, C. M. Overstreet, S. Robinson, and J. Talbot. The simulation project life-cycle: models and realities. In Simulation Conference, 2006. WSC 06. Proceedings of the Winter, pages 863-871. IEEE, 2006.
33. P. Savory and G. Mackulak. The science of simulation modeling. Technical Report 29, Industrial and Management Systems Engineering Faculty Publications, University of Nebraska, 1994.
34. R. Shannon. Systems Simulation the Art and Science. Prentice-Hall, Englewood Cliffs, N.J., 1975.
35. R. E. Shannon. Introduction to the art and science of simulation. In Winter Simulation Conference, pages 7-14, 1998.
36. M. Sonntag, D. Karastoyanova, and E. Deelman. BPEL4Pegasus: Combining Business and Scientific Workflows. In P. P. Maglio, M. Weske, J. Yang, and M. Fantinato, editors, Service-Oriented Computing, volume 6470 of Lecture Notes in Computer Science, pages 728-729. Springer Berlin Heidelberg, Berlin, Heidelberg, 2010.
37. M. Sonntag, D. Karastoyanova, and E. Deelman. Bridging the Gap between Business and Scientific Workflows: Humans in the Loop of Scientific Workflows. In Proceedings of the 6th IEEE International Conference on e-Science, pages 206-213, 2010.
38. W. M. P. van der Aalst and K. M. van Hee. Workflow Management: Models, Methods, and Systems. Number 0262720469 in MIT Press Books. The MIT Press, 2004.
39. A. Weidemann, S. Richter, M. Stein, S. Sahle, R. Gauges, R. R. Gabdoulline, I. Surovtsova, N. Semmelrock, B. Besson, I. Rojas, R. C. Wade, and U. Kummer. Sycamore - a systems biology computational analysis and modeling research environment. Bioinformatics, 24(12):1463-1464, 2008.