A general model description for discrete processes
暂无分享,去创建一个
[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 .