A general model description for discrete processes

In this paper, we present an approach for developing a simulation-tool-independent description for discrete processes and for converting such a general model into simulation-tool-specific models. Our aim is to develop models by means of SysML and to build converters from SysML models to models of a large variety of simulation tools. We developed Translator-Plugins for Anylogic, Simcron, Factory Explorer and Flexsim. Based on this architecture, we develop a general model description for discrete processes which permits to create comprehensive scenarios. Modeling can be divided into a structural, a behavioral and a control part. Our main domain is production systems but we show which elements are not domain specific and can be generalized to an approach for a standard to model discrete production planning and control problems. We also test domains like hospitals, logistics and civil engineering.

[1]  Reiko Heckel,et al.  Confluence of Typed Attributed Graph Transformation Systems , 2002, ICGT.

[2]  Tim Weilkiens,et al.  UML2-Zertifizierung - Fundamental, Intermediate und Advanced: Test-Vorbereitung zum OMG Certified UML Professional , 2006 .

[3]  Stefan Biffl,et al.  Best Practice Software-Engineering , 2010 .

[4]  Oliver Rose,et al.  IMPORTANT COMPONENTS FOR MODELING PRODUCTION SYTEMS WITH SYSML , 2009 .

[5]  Leon F. McGinnis,et al.  System and simulation modeling using SYSML , 2007, 2007 Winter Simulation Conference.

[6]  Harald Störrle,et al.  UML 2 für Studenten , 2005 .

[7]  Peter Nyhuis,et al.  Beiträge zu einer Theorie der Logistik , 2008 .

[8]  Gabor Karsai,et al.  Verifying Model Transformations by Structural Correspondence , 2008, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[9]  Reiko Heckel,et al.  Defining and validating transformations of UML models , 2003, IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 2003.

[10]  Thorsten Schmidt,et al.  Ein Metamodell von Produktionssystemen als Grundlage für die automatische Simulationsmodellgenerierung , 2010 .

[11]  Oliver Rose,et al.  First steps towards a general SysML model for discrete processes in production systems , 2009, Proceedings of the 2009 Winter Simulation Conference (WSC).

[12]  Günther Zäpfel,et al.  Grundzüge des Produktions- und Logistikmanagement , 2001 .

[13]  Márk Asztalos,et al.  Towards Automated, Formal Verification of Model Transformations , 2010, 2010 Third International Conference on Software Testing, Verification and Validation.

[14]  Hartmut Ehrig,et al.  Information Preserving Bidirectional Model Transformations , 2007, FASE.

[15]  Volker Gruhn,et al.  MDA : effektives Software-engineering mit UML2 und Eclipse[TM] , 2006 .